Logic: Logical Equivalence Flashcards
Partial conversion of A
I
Partial conversion of I
invalid
Partial conversion of E
O
conversion of O
invalid
simple conversion of A
A
simple conversion of I
I
simple conversion of E
E
Obversion of A
E
Obversion of E
A
Obversion of I
O
Obversion of O
I
simple contra of every S is P
E (no non-P is S)
obversion of “Every S is P”
No S is non-P
obversion of “Some S is not P”
“Some S is non-P”
simple contra of some S is P
invalid
simple contra of No S is P
Some non-P is S
complete contra of every S is P
Every non-p is non-s
complete contra of some S is not P
Some non-P is not non-S
complete contra of No S is P
Some non-P is not non-S
complete contra of some S is P
Invalid
simple inversion of every S is P
Some non-S is not P
simple inversion of some S is not P
?
simple inversion of some S is P
?
simple inversion of No S is P
Some non-S is P