Connectives
The connective that is true only when both are true
The first connective we will apply for this sentence?
A ∧ ¬B
What is the negation before B?
What is a tautology?
The connective that flips the truth value
What is negation
The main connective of this sentence:
¬(A ∧ ¬C)
What is the first negation?
No valuation makes both/all sentences true
What is joint logical inconsistency?
The connective that is not symetrical
what is the conditional
The main connective of this sentence:
[B ∧ ¬(A ↔ A)] → ¬C
What is the conditional?
Sentences that have at least one true valuation and one false valuation
What is contingent?
This connective is false in the most valuations
What is conjunction?
The second-to-last connective applied in this sentence.
¬(A → B) ∨ (¬C ∧ ¬B)
What is the first negation?
This type of sentence is inconsistent with every other sentence.
What is a contradiction?
The connective that will always be true when it connects two logically equivalent sentences.
Biconditional
The 3rd connective applied in this sentence:
[¬B ∧ (¬A ↔ ¬A)] → C
What is the biconditional?
Three tautologies will have these semantic properties.
What is logical equivalence? or what is logical joint consistency? or what is entailment?