#CH15 MORE CONNECTIVES Flashcards
WHAT ~ MEANS?
CONNECTIVE ~ NOT
CHARACTERISTICS OF ~?
+~ NOT CONNECT PROPO, AS & + V. ~ +PREFIXED FORMULA SINGLE PROPO,
->NEGATION.
+~ ‘NEGATION OPERATOR’,> ‘NEGATION
CONNECTIVE’.
+GROUP NEGA OPER with OTHER
CONNECTIVES,
EX of ~?
B SLEEP = BILL SLEPT,
->~ B SLEEP = BILL DIDN’T SLEEP
CONJUNC 2 NEGA ?
CONJUNC 2 NEGA
NEITHER … NOR = NEGATION EITHER … OR
(~ A COME) & (~ B COME)=?
(~ A COME) & (~ B COME) = ~ (A COME V B COME)
(~ A COME) V (~ B COME)=?
(~ A COME) V (~ B COME) = ~ (A COME & B COME)
~ (P V Q)=?
~ (P V Q) = (~ P) & (~ Q)
~ (P & Q)=?
~ (P & Q) = (~ P) V (~ Q)
P/ ~~P?
P/ ~~P
(PREMISS) /(CONCLUSION)
EX:HENRY DIED=IT IS NOT THE CASE THAT HENRY DIDN’T DIE?
IF ALAN is HERE, CLIVE is a LIAR FORMULA ?
IF ALAN is HERE, CLIVE is a LIAR FORMULA
=A HERE ->C LIAR.
SYMBOL CONDITION?
A->B
D BROTHER A -> (F AUNT D V B UNCLE D)=?
D BROTHER A -> (F AUNT D V B UNCLE D)?
=IF DAVID IS ALICE’S BROTHER, THEN EITHER FANNY’S HIS AUNT OR BOB’S HIS
UNCLE
=(D BROTHER A → F AUNT D) V B UNCLE D?
=EITHER BOB IS DAVID’S UNCLE OR, IF DAVID IS ALICE’S BROTHER, FANNY IS
HIS AUNT
TRÙNG?
trùng. = IF AND ONLY IF = ‘BICONDITIONAL’.
EX ADA is married to BEN IF AND ONLY IF BEN is married to ADA
(A marry B) TRÙNG?
(A marry B) TRÙNG (B marry A)
P TRÙNG Q=?
P TRÙNG Q = (P -> Q) & (Q -> P)