UNIT 1 PART 2 Flashcards
1
Q
Laws of logic
A
.
2
Q
Duality
A
compound statement -> replace ^ with upside^ and vice versa T with F, F with T u^*, u^d neg not change u equi v, u^d equi v^d ->principle of duality (u^d)^d equi u
3
Q
thereom 1 proof equi of formula -> dual
A
.
4
Q
theorem 2 proof princi of duality
A
.
5
Q
tauto impli
A
P->Q
Q->P CONVERSE
NEGP -> NEGQ INVERSE/OPP
NEGQ -> NEGP CONTRAPOS
FIRST TWO SAME, EQUI AND LAST SAME
DEF: A->B TAUTO
6
Q
TATO IMPLI TABLE
A
.
7
Q
THEOREM PROOF H1,H2…& P IMPLY Q, THEN H1,H2… IMPLY P -> Q
A
.
8
Q
NECES AND SUF CONDITIONS
A
P->Q
Q MAY BE TRUE, (SUFF)P TRUE
P TRUE, (NEC)Q TRUE