|
1.-Sean P, Q y R fórmulas cualesquiera de la
lógica sentencial. Decid si es verdadero o falso:
1.- Si {Q,R} fuera un conjunto insatisfacible,
entonces
{R} Q.
2.- Si P fuera una fórmula contingente
y {Q, R} fuera un conjunto satisfacible, entonces
{Q, R} P.
3.-{Q, R} es satisfacible si y sólo si
{ Q,R}
es insatisfacible.
4.- Si P y T fueran fórmulas equivalentes,
entonces P T no podría
ser otra cosas que una fórmula contingente.
SUBIR
2.-Sean P, Q y R fórmulas cualesquiera de la
lógica sentencial. Decid si es verdadero o falso:
1.- Si QR
fuera una antilogía (contradicción), entonces Q sería
una tautología.
2.- Si {Q, R} fuera un conjunto satisfacible,
entonces
{R}Q.
3.-{Q, R} es insatisfacible si y sólo
si {Q,R}
es satisfacible.
4. Si P y T fueran fórmulas equivalentes,
entonces P T no podría ser
otra cosa que una fórmula contingente.
SUBIR
3.-Sean P, Q y R fórmulas cualesquiera de la
lógica sentencial. Decid si es verdadero o falso: SUBIR
EXÁMENES
|
