Intermediate Logic

123456789
Across
  1. 5. a statement (a sentence with a truth value)
  2. 6. the proposition that follows the "then" in a conditional proposition
  3. 8. "if and only if" logical operator that is equivalent to the conjunction of a conditional and itsconverse: .It is true when both parts have the same truth value, and false when theirtruth values are different.
  4. 9. the proposition that follows the "If" in a conditional proposition
Down
  1. 1. v "or"logical operator that joins 2 propositions (disjuncts) and is false if and only if both propositions are false
  2. 2. "If… then..." logical operator that asserts that one component part (the antecedent)implies the other (the consequent).It is false if and only if the antecedent is true and the consequent is false
  3. 3. a proposition that is always true due to its logical structure
  4. 4. "and" logical operator that joins 2 propositions (conjuncts) and is true if and only if both propositions are true
  5. 7. ~ "not"logical operator that denies or contradicts a proposition