Inference and Equivalence Rules
0.0(0)
Studied by 0 people
Call Kai
Learn
Practice Test
Spaced Repetition
Match
Flashcards
Knowt PlayCard Sorting
1/9
There's no tags or description
Looks like no tags are added yet.
Last updated 10:35 PM on 9/4/26
Name | Mastery | Learn | Test | Matching | Spaced | Call with Kai | Chat |
|---|
No analytics yet
Send a link to your students to track their progress
10 Terms
1
New cards
Commutative
P V Q is equivalent to Q V P.
2
New cards
Associative
(P ^ Q) ^ R is equivalent to P ^ (Q ^ R).
3
New cards
De Morgan's Laws
P' ^ Q' is equivalent to (P V Q)'.
4
New cards
Implication
(P->Q) is equivalent to P' V Q.
5
New cards
Double Negation
P is equivalent to P''
6
New cards
Modus Ponens
From P and P→Q, can derive Q.
7
New cards
Modus Tollens
From P and P→Q', can derive P'.
8
New cards
Conjunction
From P Q, can derive P ^ Q.
9
New cards
Simplification
From P ^ Q, can derive P, Q.
10
New cards
Addition
From P, can derive P V Q.