Exam 3 Critical Thinking Argument PHIL Flashcards
Negation Rule -
“not”
is true when whatever it negates is false
and false when whatever it negates is true.
Conjugation Rule ^
“and”
is only true when both conjuncts are true
Disjunction Rule v
“or”
is only false when both disjuncts are false
(true when one or the other is true)
Conditional Rule >
“if… then”
is only false when antecedent is true and consequent is false
Formalize: Both P and Q
P^Q
Formalize: Neither P nor Q
-P ^ -Q OR -(PvQ)
Formalize: P implies that Q
P>Q
Formalize: P provided that Q
Q>P
Formalize: P only if Q
P>Q OR -Q > -P
“only if” removes logical order
Formalize: P is a sufficient condition of Q
P>Q
“sufficient condition” = enough
Formalize: P is a necessary condition of Q
Q>P OR -P > -Q
Formalize: P, if Q
Q>P
Formalize: P unless Q
-Q > P
“unless” shows negation on one side of the conditional
Formalize: P if and only if Q
(P>Q) ^ (Q>P)
Bi-conditional
Formalize: P is a necessary and sufficient condition of Q
(P>Q) ^ (Q>P)
Bi-conditional
“sufficient”= antecedent
“necessary”= consequent