Scribd
Upload
61 views1 page

Logic ACt

The document identifies logical laws and proves an equivalence. It identifies the logical law applied in several propositional logic equivalences. It matches logical laws like commutative, De Morgan's, and implication laws to their definitions. It then proves the equivalence of ~[P V (~P Ʌ Q)] and ~P Ʌ ~Q through several logical steps applying identities like De Morgan's law and the commutative law.

Uploaded by

Teresa Navarrete
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
61 views1 page

Logic ACt

The document identifies logical laws and proves an equivalence. It identifies the logical law applied in several propositional logic equivalences. It matches logical laws like commutative, De Morgan's, and implication laws to their definitions. It then proves the equivalence of ~[P V (~P Ʌ Q)] and ~P Ʌ ~Q through several logical steps applying identities like De Morgan's law and the commutative law.

Uploaded by

Teresa Navarrete
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
You are on page 1/ 1

I. Identify the law Applied in each of the following I.

Identify the law Applied in each of the following


equivalences. equivalences.
a. P Ʌ Q ≡ Q Ʌ P a. P Ʌ Q ≡ Q Ʌ P
b. P Ʌ (Q Ʌ R) ≡ ( P Ʌ Q) Ʌ R b. P Ʌ (Q Ʌ R) ≡ ( P Ʌ Q) Ʌ R
c. ~(P V Q) ≡ ~P Ʌ ~Q c. ~(P V Q) ≡ ~P Ʌ ~Q
d. (P Ʌ Q) V (P Ʌ Q) ≡ P Ʌ Q d. (P Ʌ Q) V (P Ʌ Q) ≡ P Ʌ Q
e. [~(~P) V Q] ≡ P V Q e. [~(~P) V Q] ≡ P V Q
f. (P Ʌ Q) Ʌ T ≡ P Ʌ Q f. (P Ʌ Q) Ʌ T ≡ P Ʌ Q

II. Match column A to column B. II. Match column A to column B.


1. P V T ≡ T a. Commutative Law 1. P V T ≡ T a. Commutative Law
2. P V P ≡ P b. De Morgan’s Law 2. P V P ≡ P b. De Morgan’s Law
3. P V Q ≡ Q V P c. Implication Law 3. P V Q ≡ Q V P c. Implication Law
4. ~P V ~Q ≡ ~(P Ʌ Q) d. Negation Law 4. ~P V ~Q ≡ ~(P Ʌ Q) d. Negation Law
5. (P → Q) ≡ ~P V Q e. Domination Law 5. (P → Q) ≡ ~P V Q e. Domination Law
6. ~P Ʌ P ≡ F f. Identity Law 6. ~P Ʌ P ≡ F f. Identity Law
7. (P Ʌ Q) V F ≡ P Ʌ Q g. Idempotent Law 7. (P Ʌ Q) V F ≡ P Ʌ Q g. Idempotent Law

III. Prove that ~[P V (~P Ʌ Q)] ≡ ~P Ʌ ~Q III. Prove that ~[P V (~P Ʌ Q)] ≡ ~P Ʌ ~Q
Proof: Proof:
~[P V (~P Ʌ Q)] ~[P V (~P Ʌ Q)]
≡ ~P Ʌ ~(~P Ʌ Q) _______(a)_______ ≡ ~P Ʌ ~(~P Ʌ Q) _______(a)_______
≡ ~ P [ ~(~P) V ~Q] _______(b)_______ ≡ ~ P [ ~(~P) V ~Q] _______(b)_______
≡ ~P Ʌ (P V ~Q) _______(c)_______ ≡ ~P Ʌ (P V ~Q) _______(c)_______
≡ (~P Ʌ P) V (~P Ʌ ~Q) _______(d)_______ ≡ (~P Ʌ P) V (~P Ʌ ~Q) _______(d)_______
≡ (P Ʌ ~P) V (~P Ʌ ~Q) _______(e)_______ ≡ (P Ʌ ~P) V (~P Ʌ ~Q) _______(e)_______
≡ F V (~P Ʌ ~Q) _______(f)_______ ≡ F V (~P Ʌ ~Q) _______(f)_______
≡ (~P Ʌ ~Q) V F _______(g)_______ ≡ (~P Ʌ ~Q) V F _______(g)_______
≡ ~P Ʌ ~Q _______(h)_______ ≡ ~P Ʌ ~Q _______(h)_______

I. Identify the law Applied in each of the following I. Identify the law Applied in each of the following
equivalences. equivalences.
a. P Ʌ Q ≡ Q Ʌ P a. P Ʌ Q ≡ Q Ʌ P
b. P Ʌ (Q Ʌ R) ≡ ( P Ʌ Q) Ʌ R b. P Ʌ (Q Ʌ R) ≡ ( P Ʌ Q) Ʌ R
c. ~(P V Q) ≡ ~P Ʌ ~Q c. ~(P V Q) ≡ ~P Ʌ ~Q
d. (P Ʌ Q) V (P Ʌ Q) ≡ P Ʌ Q d. (P Ʌ Q) V (P Ʌ Q) ≡ P Ʌ Q
e. [~(~P) V Q] ≡ P V Q e. [~(~P) V Q] ≡ P V Q
f. (P Ʌ Q) Ʌ T ≡ P Ʌ Q f. (P Ʌ Q) Ʌ T ≡ P Ʌ Q

II. Match column A to column B. II. Match column A to column B.


1. P V T ≡ T a. Commutative Law 1. P V T ≡ T a. Commutative Law
2. P V P ≡ P b. De Morgan’s Law 2. P V P ≡ P b. De Morgan’s Law
3. P V Q ≡ Q V P c. Implication Law 3. P V Q ≡ Q V P c. Implication Law
4. ~P V ~Q ≡ ~(P Ʌ Q) d. Negation Law 4. ~P V ~Q ≡ ~(P Ʌ Q) d. Negation Law
5. (P → Q) ≡ ~P V Q e. Domination Law 5. (P → Q) ≡ ~P V Q e. Domination Law
6. ~P Ʌ P ≡ F f. Identity Law 6. ~P Ʌ P ≡ F f. Identity Law
7. (P Ʌ Q) V F ≡ P Ʌ Q g. Idempotent Law 7. (P Ʌ Q) V F ≡ P Ʌ Q g. Idempotent Law

III. Prove that ~[P V (~P Ʌ Q)] ≡ ~P Ʌ ~Q III. Prove that ~[P V (~P Ʌ Q)] ≡ ~P Ʌ ~Q
Proof: Proof:
~[P V (~P Ʌ Q)] ~[P V (~P Ʌ Q)]
≡ ~P Ʌ ~(~P Ʌ Q) _______(a)_______ ≡ ~P Ʌ ~(~P Ʌ Q) _______(a)_______
≡ ~ P [ ~(~P) V ~Q] _______(b)_______ ≡ ~ P [ ~(~P) V ~Q] _______(b)_______
≡ ~P Ʌ (P V ~Q) _______(c)_______ ≡ ~P Ʌ (P V ~Q) _______(c)_______
≡ (~P Ʌ P) V (~P Ʌ ~Q) _______(d)_______ ≡ (~P Ʌ P) V (~P Ʌ ~Q) _______(d)_______
≡ (P Ʌ ~P) V (~P Ʌ ~Q) _______(e)_______ ≡ (P Ʌ ~P) V (~P Ʌ ~Q) _______(e)_______
≡ F V (~P Ʌ ~Q) _______(f)_______ ≡ F V (~P Ʌ ~Q) _______(f)_______
≡ (~P Ʌ ~Q) V F _______(g)_______ ≡ (~P Ʌ ~Q) V F _______(g)_______
≡ ~P Ʌ ~Q _______(h)_______ ≡ ~P Ʌ ~Q _______(h)_______

You might also like