Modelo Parcial Lógica

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

“ Todo razonamiento que tenga conclusión verdadera es válido”

2) a) Defina fórmula abierta ycerrada
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 el déficit fiscal, escondició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 o ascendido”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ímbolo principal, si tienealguna subformula molecular.

2) Simbolizar en el LPO los siguientes enunciados

i) El ingles y el frances son lenguas anglosajonas
ii) El ingles es mas facil que elfrances.
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 si todo elconjunto 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.