Esercizi vero o falso

[matematicamenteparlando]

Salve a tutti ho i seguenti esercizi :

1)Se $A |= ¬A$ allora A è insoddisfacibile (Vero)
2)Se $A$ `e una tautologia allora $B |= A$ per ogni $ B$(vero)
3)Se $(A∧B)$ è soddisfacibile allora il tableau di $A$ oppure il tableau di $B$ hanno qualche ramo aperto(falso)
4)$(A↔B)≡((A∨B)→(A∧B))$(Vero)

Tra parentesi c'è la risposta che ho dato io.
Sono giuste o c'è qualche errore?

Vi ringrazio per l'attenzione

[vict85]

Con \(|=\) intendi \(\models\)?

Si scrive

\models

se usi latex/mathjax.

(1), (2) e (4) sono corretti. Per il 3 devo ammettere che sono un po' arrugginito e non mi ricordo il significato esatto di tableau e ramo aperto.

[matematicamenteparlando]

Si mi riferisco alla conseguenza logica