Which of the following are correct?
-
${False} \models {True}$ . -
${True} \models {False}$ . -
$(A\land B) \models (A{;;{\Leftrightarrow};;}B)$ . -
$A{;;{\Leftrightarrow};;}B \models A \lor B$ . -
$A{;;{\Leftrightarrow};;}B \models \lnot A \lor B$ . -
$(A\land B){:;{\Rightarrow}:;}C \models (A{:;{\Rightarrow}:;}C)\lor(B{:;{\Rightarrow}:;}C)$ . -
$(C\lor (\lnot A \land \lnot B)) \equiv ((A{:;{\Rightarrow}:;}C) \land (B {:;{\Rightarrow}:;}C))$ . -
$(A\lor B) \land (\lnot C\lor\lnot D\lor E) \models (A\lor B)$ . -
$(A\lor B) \land (\lnot C\lor\lnot D\lor E) \models (A\lor B) \land (\lnot D\lor E)$ . -
$(A\lor B) \land \lnot(A {:;{\Rightarrow}:;}B)$ is satisfiable. -
$(A{;;{\Leftrightarrow};;}B) \land (\lnot A \lor B)$ is satisfiable. -
$(A{;;{\Leftrightarrow};;}B) {;;{\Leftrightarrow};;}C$ has the same number of models as$(A{;;{\Leftrightarrow};;}B)$ for any fixed set of proposition symbols that includes$A$ ,$B$ ,$C$ .