View
30
Download
0
Embed Size (px)
Citation preview
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