#CH14 CONNECTIVES: AND + OR Flashcards
WHAT NUMBER INDI WELLFORMED FORMULA &?
NUMBER INDI WELLFORMED FORMULA +PLACED SEQUENCE
+ SYMBOL & BETWEEN ADJACENT PAIR SEQUENCE:
->RESULT COMPLEX WELLFORMED FORMULA.
EX 3 SIMPLE FORMULA:
C COME G
(CAESAR CAME TO GAUL)
C SEE G
(CAESAR SAW GAUL)
C CONQUER G
(CAESAR CONQUERED GAUL)
, SINGLE COMPLEX FORMULA
->(C COME G) & (C SEE G) & (C CONQUER G)
RULE COMMUTATIVITY CONJUNCTION?
RULE COMMUTATIVITY CONJUNCTION:
(P & Q) /(Q & P)
(PREMISS) /(CONCLUSION)
WHAT NUMBER WELLFORMED FORMULA SYMBOL V?
NUMBER WELLFORMED FORMULA
+ PLACED SEQUENCE
+SYMBOL V
BETWEEN ADJACENT PAIR SEQUENCE =>RESULT COMPLEX
WELLFORMED FORMULA.
EXAMPLE H HERE
(HARRY IS HERE)
C DUTCHMAN
(CHARLIE IS A DUTCHMAN)
SINGLE COMPLEX FORMULA
->(H HERE) V (C DUTCHMAN) (HARRY IS HERE OR CHARLIE IS A DUTCHMAN)
(PREMISS)/(CONCLUSION)?
(P V Q) /(Q V P)
(PREMISS)/(CONCLUSION)