Conditional and Set Logic Theory Flashcards
Only if translation rule
Make the clause following the “only if” the necessary condition.
Group 3 translation rule
Negate either idea, then make that idea the sufficient condition
Group 3 translation indicators
or, unless, until, without
Group 4 translation rule
Pick either idea, then negate that idea, then make it the necessary condition
Group 4 translation indicators
no, none, not both, cannot
Group 2 translation rule
The idea immediately following the conditional indicator is the necessary condition
Group 2 translation indicators
only, only if, only when, only where, always, must
Group 1 translation rule
The idea immediately following the conditional indicator is the sufficient condition
Group 1 translation indicators
if, when, where, all, every, any
De Morgan’s Law 1: What is the contrapositive of M => N and O ?
/N or /O => /M
De Morgan’s Law 2: What is the contrapositive of /N or /O => /M
M => N and O
