retagged by
852 views
4 votes
4 votes
Let’s consider the interpretation $v$ where $v(p) = F, v(q) = T, v(r) = T.$ Which of the following propositional formulas are satisfied by $v$?
  1. $(p \rightarrow \neg q) \vee \neg(r \wedge q)$
  2. $(\neg p \vee \neg q) \rightarrow (p \vee \neg r)$
  3. $\neg(\neg p \rightarrow \neg q) \wedge r$
  4. $\neg (\neg p \rightarrow q \wedge \neg r)$
retagged by

1 Answer

6 votes
6 votes
An interpretation of formula $Z$, in propositional logic, is truth assignment to all the propositional variables of $Z$. An interpretation $I$ satisfies $Z$ if and only if $Z$ is true in $I$. $v$ satisfies $A, C$ and $D$. $v$ does not satisfy $B$.
edited by
Answer:

Related questions