Determinar si los siguientes conjuntos {1, ..., n} de fórmulas son o no satisfacibles

1 1 p¬p 2 p

2 1 pq 2 q¬p

3 1 p¬q 2 q¬p 3 pq

4 1 p¬q 2 q(r¬p) 3 r(q¬p)

5 1 p¬q 2 qr 3 ps 4 ¬(sr)

Determinar si {1, ..., n} |= o no {1, ..., n} |= en los siguientes casos

Recuerdo que {1, ..., n} |= (significa que es consecuencia lógica de {1, ..., n})

6 1 pq β q

7 1 pq β q

8 1 (pq)r β p(qr)

9 1 ¬(pq) β ¬p

10 1 pq β ¬q¬p