- all, no, some
- x is A. x is y
- Give categories like dogs capitals: D
- particular things are given lower-case letters

The premise containing the predicate of the conclusion is called the major premise The premise containing the subject of the conclusion is called the minor premise ALWAYS PUT THE MAJOR PREMISE ON TOP.

The terms after ALL and Not are distributed. Everything after No is distributed.

- Major Premise (Premise with Predicate of Conclusion)
- Minor Premise (Premise with Subject of Conclusion)
- Conclusion

- Put a star next to distrbuted terms in the premises
- Put a star next to undistibuted terms in the conclusion

Star premise letters that are distributed and conclusion letters that aren’t distributed. Then the syllogism is VALID if and only if every capital letter is starred exactly once and there is exactly one star on the right-hand side.

- Every (each, any) A is B.
- Whoever is A is B.
- A’s are B’s.
- Those who are A are B.
- If a person is A, then he or she is B.
- If you’re A, then you’re B.
- Only B’s are A’s. None but B’s are A’s.
- No one is A unless he or she is B.
- No one is A without being B.
- A thing isn’t A unless it’s B.
- It’s false that some A is not B.

- A’s aren’t B’s.
- Every (each, any)
- A is non-B.
- Whoever is A isn’t B.
- If a person is A, then he or she isn’t B.
- If you’re A, then you aren’t B.
- No one that’s A is B.
- There isn’t a single A that’s B.
- Not any A is B.
- It’s false that there’s an A that’s B.
- It’s false that some A is B.

- It's false that no A is B

*Some are not*

- It's false that all A is B.

- Draw three overlapping circles.
- First draw “all” and “no” premises by shading.
- Then draw “some” premises by putting an “×” in some unshaded area.

- When you draw “some,” you sometimes can put the “×” in either of two unshaded areas. Then the argument is invalid; to show this, put the “×” in an area that doesn’t draw the conclusion.
- If you must draw the conclusion, then the argument is valid; other- wise, it’s invalid.

P

~P

P • Q (True only when both 1)

P ∨ Q (False when 0 ∨ 0 )

P ⊃ Q (False when 1 ⊃ 0)

p ≡ Q (True when both 0 or Both 1)

(P • Q) = (Q • P)

- Works the Same with ∨
- Only works with AND and OR

((A • B ) • C)

(A • (B • C)

(A ⊃ B) = (~B ⊃ ~A)

~(A • B ) = ~A ∨ ~B

~(A ∨ B ) = ~A • ~B

P | • | Q |
---|---|---|

0 | 0 | 0 |

0 | 0 | 1 |

1 | 0 | 0 |

1 | 1 | 1 |

P | ∨ | Q |
---|---|---|

0 | 0 | 0 |

0 | 1 | 1 |

1 | 1 | 0 |

1 | 1 | 1 |

P | ⊃ | Q |
---|---|---|

0 | 1 | 0 |

0 | 1 | 1 |

1 | 0 | 0 |

1 | 1 | 1 |

P | ≡ | Q |
---|---|---|

0 | 1 | 0 |

0 | 0 | 1 |

1 | 0 | 0 |

1 | 1 | 1 |