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

Discussion

What is a valid sentence?

  • A.One that follows from a given set of premises
  • B.One containing no logical connectives at all
  • C.One true in every model
  • D.One true in at least one model

Answer: C

A valid sentence, or tautology, is true whatever the symbols are assigned, so it carries no information about the world. Truth in some model is satisfiability, entailment is relative to premises, and connective count is a syntactic property. Validity, satisfiability and entailment are three notions defined by quantifying over models in three different ways, and confusing them is the commonest error in a first encounter with the semantics. Framing the question as which quantity the change acts upon makes the answer follow without calculation.

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

Post your comment

Please log in or register to post a comment.