I Want the Truth!
Classical logic is "bivalent," meaning it has exactly this many truth values.
What is two?
This is the truth value of conditional whose antecedent is false.
What is true?
"Either P or Q" can be represented in this way.
What is "P v Q"?
Quantifier words like "no, none, never, not one" signal this type of categorical sentence.
What is an E sentence?
Assuming there is at least one dog, then what is the relationship between "Each dog is happy" and "Some dog is happy."
What is implication?
These three kinds of sentences lack truth values.
What are interrogatives, exclamations, and imperatives?
A necessary condition goes in this part of a conditional.
What is the consequent?
"Neither P nor Q" can be represented in these two ways.
What are:
~ P & ~ Q
~ (P v Q)
These types of categorical sentences are equivalent to their contrapositives.
Assuming there is at least one dog, then what is the relationship between "Each dog is happy" and "No dog is happy."
What is contrary?
The sentence "If Alice is happy, then Bob is shy" is false if and only if this scenario obtains.
Alice is happy and Bob is not shy.
P is sufficient for Q can be represented in symbolic logic in this way.
What is P \horseshoe Q?
"Only Auburn fans are in the stadium" can be represented this way.
What is "In Stadium \horseshoe Auburn fans"?
"Some dog is non-happy" is the obverse of this sentence.
What is "Some dog is not happy"?
Assuming there is at least one dog, then what is the relationship between "No dog is happy" and "Some dog is happy."
What is contradictory?
The sentence "Alice isn't happy only if Bob isn't shy" is false if and only if this scenario obtains.
Alice is not happy and Bob is shy.
Either P or Q is necessary for R can be represented using symbolic logic like this.
What is R \horseshoe (P v Q)?
"The only Auburn fans are in the stadium" can be translated like this.
What is: Auburn Fans \horseshoe In Stadium.
These types of categorical sentences are equivalent to their obverses.
What are A, E, I, and O sentences?
This is the logical relationship between "Alice is rich" and "Alice is poor" (assuming Alice exists).
What is contrary?
The sentence "Alice isn't happy if but only if Bob is shy" is true in these two scenarios.
What are "Alice is happy and Bob is not shy" and "Alice is not happy and Bob is shy".
"If Alice goes to the store, then Bob going to the store is necessary for Carlos to go" can be symbolized like this.
What is "A \horseshoe (C \horseshoe B)"?
A conditional representation of "No dogs are reptiles" would look like this.
What is "Dog \horseshoe ~ Reptile"?
These types of categorical sentences are equivalent to their converses.
What are E and I sentences?
Assuming there is at least one dog, then what is the relationship between "Some dog is happy" and "Some dog is not happy."
What is subcontrary?