Advanced Logic Flashcards
Or vs. Not both
do not mean the same
And/Or in a Sufficient condition
And (Sufficient) = not split
Or (Sufficient) = split
And/Or Necessary condition
And (Necessary) = Split
Or (Necessary) = not Split
DeMorgan’s Law
contrapositives: the negative sign applied to all elements including: and/or
And become Or
Or becomes And
= negate both elements
this only happens when negating
Bi-Conditional
if and/but only if =
either or but not both = /A –> C //// C –> /A
but not otherwise
except
2 types of biconditional
- Always together, never apart =
A –>B /A–>/B - Always apart, never together
/A –> B /B–>A
Embedded Logic
changing the first arrow to “and”
A–>(B–>C)
A and B –>C
MOVE THE SUFFICIENT OUT OF THE PARENTHESIS
Or / Both
review truth tables
OR
T T = T T F= F T= FF= one or the other or both negate sufficient
Not Both
TT =
T F =
F T =
F F =
one or the other, not both
negate necessary
at least
1 or more
2 or more
and so on
if there are two negative conditionals, translate it
contrapositives of conditionals
not all
some