edited by
268 views
4 votes
4 votes

Let $\alpha, \beta$ be two propositional formulas.

Which of the following assertions is true?

  1. $\alpha$ is valid if and only if True $\models \alpha $.
  2. For any $\alpha$, False $\models \alpha$.
  3. $\alpha \models \beta $ if and only if the sentence $(\alpha \Rightarrow \beta$ is valid.
  4. $\alpha \equiv \beta$ if and only if the sentence $(\alpha \Leftrightarrow \beta)$is valid.
edited by

Please log in or register to answer this question.

Answer:

Related questions