Parcial Logica legris

1) Indique si es V o F la siguiente afirmación. Justifique y ejemplifique.

“ Todo razonamiento que tenga conclusión verdadera es válido” FALSO- Forma valida

2) a) Definafórmula abierta y cerrada
b) Ejemplo de fórmula abierta que tenga al menos una aparición ligada de una variable

3) Simbolizar:

a) (en enunciados) “Para que se incremente eldéficit fiscal, es condición suficiente que no disminuyan el gasto publico ni la evasión impositiva”

b) (en predicados) “Ningún funcionario publico que este procesado será transferido oascendido”

c) (en predicados) “Si los ornitorrincos son mamíferos, entonces hay mamíferos que no son vivíparos”

4) Probar si el siguiente razonamiento es válido:

x (Px (¬¬¬¬¬¬¬¬¬ Qx  Rx))
z (Pz ^ ¬ Sx)
x (¬¬¬¬¬ Qx  Txa)
y (Tya  Ry)

5) a) Definir teorema en N

b) Probar si la siguiente fórmula es teorema en N

├ ((q ^ t) → (p ^ ¬s)) → ((t ^ s) → (q → ¬ p))


1) probar si es una fórmula

yz(¬Qxa ¬(Ryx)) ® $z(¬((Px^Qxa) ® "y(Ryz v ¬(Pay)))

Es una formula abierta o cerrada? , cual es su símboloprincipal, si tiene alguna subformula molecular.

2) Simbolizar en el LPO los siguientes enunciados

i) El ingles y el frances son lenguas anglosajonas
ii) El ingles es mas facilque el frances.
iii) el frances es mas facil que alguna lengua anglosajona
iv) no se da el caso q toda lengua anglosajona es mas fácil que el frances
Definir consistencia, ver sitodo el conjunto de enunciados en consistente.

3) a) Definir derivabilidad en el Sistema T, y su relacion con razonamiento valido.
b) con que forma preformal se relaciona laderivabilidad
c) el enunciado "x("y Py ® Qx) se deriva a apartir de $z(Rz^Pz), "x(Rx^Qx) y "x(Px^Rx)

d) Definir FNP
e) si existe un enunciado q no este en FNP, pasarlo.