Determinar si los siguientes conjuntos {

1
, ...,
n
} de frmulas son o no satisfacibles
1
1
pp
2
p
2
1
pq
2
qp
3
1
pq
2
qp
3
pq
4
1
pq
2
q(rp)
3
r(qp)
5
1
pq
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 lgica de {
1
, ...,
n
})
!
1
pq " q
#
1
pq " q
$
1
(pq)r " p(qr)
%
1
(pq) " p
1&
1
pq " qp