L12: Logic Flashcards
1
Q
Predicate definition
A
2
Q
Commutative property
A
3
Q
Distributive property
A
4
Q
Associative property
A
5
Q
de morgan’s law
A
6
Q
Implication elimination
A
7
Q
Rules of inference
A
