Shared Flashcard Set

Details

Logic Laws
Laws needed for logic proofs
8
Mathematics
9th Grade
11/09/2010
Click here to study/print these flashcards.

Create your own flash cards! Sign up here.

Additional Mathematics Flashcards

 

 

Cards

Term
Law of Disjunctive Inference
 Definition

pVq

~p

*q
Term
Definition of Conjunction
 Definition

pΛq

*p     *q
Term
Law of Detachment
 Definition

p→q

p

*q
Term
Definition of Disjunction
 Definition

p             q

*pVq       *pVq
Term
Law of Contrapositive
 Definition

p→q

*~q→~p
Term
Law of Syllogism (Chain Rule)
 Definition

p→q

q→r

*p→r
Term
Law of Modus Tollens
 Definition

p→q          ~q→~p

~q                 p

*~p                 *q
Term
DeMorgan's Law
 Definition
(pΛq)↔ ~(~pV~q) (pVq)↔ ~(~pΛ~q)
~(pΛq)↔ (~pV~q) ~(pVq)↔ (~pΛ~q)
Supporting users have an ad free experience!