Machine-translated by Google. Questions are authored in English.
Top

Discussion

What are the standard propositional connectives?

  • A.Assignment, comparison, iteration and selection of statements
  • B.Negation, conjunction, disjunction, implication and equivalence
  • C.Universal and existential quantification over objects
  • D.Addition, subtraction, multiplication and division of values

Answer: B

The five connectives build compound sentences from simpler ones, and each has a truth table fixing exactly when the compound is true. Quantifiers belong to first order logic, and the other lists are arithmetic and programming constructs. That every connective is truth functional, so the truth of a compound depends only on the truth of its parts, is what makes truth tables a complete account of the semantics.

No comment is present. Be the first to comment.
Loading…

Post your comment

Please log in or register to post a comment.