Logicy Stuff Flashcards
No A’s are B’s, therefore
No A’s are B’s, therefore
No B’s are A’s
A → ~ B
B → ~ A
All A’s are B’s
All B’s are C’s
therefore
All A’s are B’s
All B’s are C’s
= All A are C’s
B - is the middle term, and thus it must be Distributed for the statement to be valid. (M in logic)
A - is the minor term (S in logic)
C - is the major term (P in logic)
All S are M
All M are P
=All S are P
M - in logic this is the middle term, and thus it must be Distributed for the statement to be valid.
P - in logic this is the is the major term
S - in logic this is the is the minor term
M
M - in logic this is the middle term, and thus it must be Distributed for the statement to be valid.
P - in logic this is the is the major term
S - in logic this is the is the minor term
All S are M
All M are P
=All S are P
P
M - in logic this is the middle term, and thus it must be Distributed for the statement to be valid.
P - in logic this is the is the major term
S - in logic this is the is the minor term
All S are M
All M are P
=All S are P
S
M - in logic this is the middle term, and thus it must be Distributed for the statement to be valid.
P - in logic this is the is the major term
S - in logic this is the is the minor term
All S are M
All M are P
=All S are P
Major Premise
All M are P
All S are M
All M are P
=All S are P
M - in logic this is the middle term, and thus it must be Distributed for the statement to be valid.
P - in logic this is the is the major term
S - in logic this is the is the minor term
Minor Premise
All S are M
All S are M
All M are P
=All S are P
M - in logic this is the middle term, and thus it must be Distributed for the statement to be valid.
P - in logic this is the is the major term
S - in logic this is the is the minor term
Conclusion of simple categorical syllogism
All S are P
All S are M
All M are P
=All S are P
M - in logic this is the middle term, and thus it must be Distributed for the statement to be valid.
P - in logic this is the is the major term
S - in logic this is the is the minor term
Simple category Syllogism
All S are M
All M are P
=All S are P
All A’s are B’s
x is an A
therefore
All A’s are B’s
x is an A
x is a B
All A’s are B’s
x is not a B
therefore,
All A’s are B’s
x is not a B
x is not an a
A → B
x → ~ B
x → ~ B → ~ A
All A’s are B’s
No B’s are C’s
therefore,
All A’s are B’s
No B’s are C’s
No A’s are C’s
A → B
B → ~ C
A → ~ C
No A’s are B’s
x is an A
therefore
No A’s are B’s
x is an A
x is not a B
A → ~ B
x → A
x → ~ B
All A’s are B’s
All B’s are C’s
therefore
All A’s are B’s
All B’s are C’s
All A’s are C’s
A → B
B → C
B → C
All A’s are B’s
No C’s are B’s
therefore
All A’s are B’s
No C’s are B’s
No A’s are C’s
A → B
C → ~ B
A → B → ~C
A → ~C
Contrapositive is also valid
