Exam 1 Flashcards
Disjunction
Contains ‘or’
implication/conditional
Contains ‘if… then’
Double implication/biconditional
Contains ‘if and only if’
Negation
Contains “not”
Which operators are commutative?
Conjunction, disjunction, biconditional
Conjunction
contains ‘and’
Converse of p→q
q→p
Inverse of p→q
~p→ ~q
Contrapositive of p→q
~q→~p (logically equivalent to original)
~(p ^q)=?
~pv~q
Same order,distribute negation, swap operator
De Morgan’s Laws
The negation of a conjunction can be expressed as a disjunction,just as the negation of a disjunction can be expressed as a conjunction
Negation of a conditional
Conjunction, not another conditional
“If you don’t marry me than I will become a monk” (give logical equivalent) p→q
“Either you marry me or I will become a monk”
~pvq
Conjunction of two conditionals
Biconditional
pq=(p→q)^(q→p)
Universal statement
All, none, every