Scribd
Upload
121 views7 pages

CS381 Review 2: Gongjun Yan

This document provides a review of propositional logic concepts including: 1) Methods for proving statements like truth tables, rules, and Venn diagrams are discussed. Examples of proofs using these methods are shown. 2) Conditional statements and their truth tables are reviewed. The equivalence between implication and the formula "p -> q iff ~p v q" is shown. 3) Key concepts like Venn diagrams, implication, and two equivalences of implication are listed. 4) An update to the grading breakdown is noted, changing the weighting of homework, the first exam, and the final exam.

Uploaded by

gbland
Copyright
© Attribution Non-Commercial (BY-NC)
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
121 views7 pages

CS381 Review 2: Gongjun Yan

This document provides a review of propositional logic concepts including: 1) Methods for proving statements like truth tables, rules, and Venn diagrams are discussed. Examples of proofs using these methods are shown. 2) Conditional statements and their truth tables are reviewed. The equivalence between implication and the formula "p -> q iff ~p v q" is shown. 3) Key concepts like Venn diagrams, implication, and two equivalences of implication are listed. 4) An update to the grading breakdown is noted, changing the weighting of homework, the first exam, and the final exam.

Uploaded by

gbland
Copyright
© Attribution Non-Commercial (BY-NC)
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 7

CS381 Review 2

Gongjun Yan
How to prove
• by Truth Tables
– short
– Few variables
• by Rules
– All
– Complex
– Many variables
• venn diagram
– equivalence
Prove
• ~(p  ~q)  (~q v ~p)  ~p
– =~p^~~q v (~q v ~p) =~p^qv (~q v ~p)
– = ~p^(qv ~q )v ~p= ~p^tv ~p= ~pv ~p= ~p
• pv~q^(pvq) = p
– =pv(~q^(pvq))
– =pv((~q^p)v(~q^q)) = pv(~q^p)vc
– =p
• ~((~p ^ q)  (~p ^ ~q))  (p ^ q)  p
– = ~(~p ^ q) ^ ~(~p ^ ~q)  (p ^ q)
– = ~~p  ~q ^ (~~p ~~q)  (p ^ q)
– =p ~q ^ (p q)  (p ^ q)=p  (p ^ q)= p
Conditional Statements
p q pq
1 1 1
1 0 0
0 1 1
0 0 1

4 September 2008 Introduction & Propositional Logic 4


p  q  ~p  q
~(p  q )  p ^ ~q
Concepts
• Venn Diagrams
• implication
• Two equivalences of implication
Notice
• Grading is updated
– Homework: 40%
– First Exam: 30%
– Final Exam: 30%

You might also like