Shared Flashcard Set

Details

Title

Laws of Logic

Description

Laws for logic proofs

Total Cards

Subject

Mathematics

Level

10th Grade

Created

01/10/2009

Click here to study/print these flashcards.

Create your own flash cards! Sign up here.

Additional Mathematics Flashcards

Term

Law of Detachment

Definition

p-->q
p
q

Term

DeMorgan's Law

Definition

~(p^q) or ~(p v q)
~p v ~q or ~p ^ ~q

Term

Law of Contrapositive

Definition

p --> q
~q --> p

Term

Law of Contrapositive Inference

Definition

p --> q
~q
~p

Term

Law of Disjunctive Inference
"the maid or butler did it"

Definition

p v b           or           p v b
~p            or             ~b
b               or             p