Final 1

1) Formalizar las siguientes oraciones de la lgica de predicados confeccionando dominio y diccionario:

a. Hay hombres que no son honestos ni trabajadores.
b. No todos los hombres se quejan de las acciones ajenas.
2) Mencionar las propiedades de la relacin ser hermano de en el conjunto de todas las personas
3) Dado: x(AxBx) (x Axx Bx)
a. Demuestre la validez del teorema mediante deduccin natural.
b. Pruebe que la frmula no puede tener contramodelo.
4) Construya un contramodelo con las respectivas funciones de interpretacin:
x(AxBx)x Axx Bx
5) Decidir si las siguientes oraciones son verdaderas o falsas y justificar:
a. Para que una frmula sea funcin proposicional debe tener todas las variables libres.
b. En una derivacin a la constante que est abriendo un supuesto slo se le puede introducir un
universal si es un supuesto absurdo.
c. La frmula x Axx x Axx es satisfactible.

Final 2
1) Simbolizar las siguientes oraciones especificando dominio y diccionario:
a. Tanto Fernando como Mara son hermanos de Carlos, si Carlos es hijo de algn presidente argentino.
b. Slo justificaron el partido que Boca jug con River aquellos que son fanticos de Boca.
2) Realizar contramodelo: xy(Fxy Fxx) xy(Cx Fxy)
3) Demostrar por deduccin natural que el siguiente razonamiento es vlido:
x(Px Ax) x Px x Ax
4)
a.
b.
c.

Decidir si las siguientes afirmaciones son verdaderas o falsas y justificar:

Si VM(Aa)= 1 para al menos una constante a de L, entonces xAx= 1
Si una frmula no es universalmente vlida, no puede darse el caso que tenga un contramodelo.
La lgica intuicionista no tiene la regla EFSQ.

5) Expresar las propiedades de la relacin ser ms alto que.

Final 3
1) Traducir las siguientes oraciones al lenguaje de la lgica de predicados.
a. Ningn peluquero afeita a Juan si ste no goza de alguna beca universitaria.

b. Ana no quiere a nadie.

2) Probar que x Fxxxy(Fxy Fyx)
3) De acuerdo con las propiedades de las relaciones, enunciar las propiedades de estar al norte de.
Dominio: puntos geogrficos
4)
a.
b.
c.
d.

Indicar verdadero o falso segn corresponda. Responda el punto b y justifique todos los puntos:
La frmula x Ax Ba es funcin proposicional
Cul es la diferencia entre una frmula que no es universalmente vlida y una que s lo es?
Si VM(x)= 1 entonces VM([c/x] )=1 necesariamente
Si VM([c/x] )=1 entonces VM(x)= 1 necesariamente

5) Probar realizando deduccin natural que las frmulas y son lgicamente equivalentes: =
x(Ax Bx), = x(BxAx)

Final 4
1) Formalizar las siguientes oraciones de la lgica de predicados:
a. Tanto los asteroides como el planeta Marte carecen de luz propia
b. Ningn abogado argentino defiende los intereses de la papelera Botnia
2) Contramodelo: xy(FxyFyy) xy(Fyx Fyy)
3) Demostrar la validez del siguiente razonamiento mediante el mtodo de deduccin natural: x
(QxRx), x(Px Rx) x (QxPx)
4)
a.
b.
c.

Decidir y justificar si las siguientes afirmaciones son verdaderas o falsas:

es una frmula bien formada
En la lgica de predicados toda frmula universalmente vlida es derivable.
Si 1nentonces1n

Final 5
1) Simbolizar:
a) Todo nmero natural es menor que algn otro
b) Ral le compr una anillo a Carla y ella se puso contenta, sin embargo no era de oro
2) Demostrar por deduccin natural que: x Pxx Qxx(PxQx)
3) Construir un modelo cualquiera con tres elementos en su dominio, donde la relacin entre los
mismos sea irreflexiva y asimtrica. Se cumple la transitividad?
4) Dar las propiedades de la relacin estar enojado con
5) Decidir si las siguientes afirmaciones son verdaderas o falsas y justificar.
a. La frmula xy(FxyFyz) es funcin proposicional

b. Una frmula universalmente vlida es verdadera en al menos un modelo

c. Siendo P1 y P2 dos puntos. Si P1 flecha a P2 y ste a la vez flecha a P1, se dan las siguientes
propiedades: no reflexiva, simtrica y conexa

Final 6
1) Simbolizar las siguientes oraciones de la lgica de predicados:
a. Al que madruga Dios lo ayuda
b. No todos los nios de sexto grado leyeron el Quijote en el 2009
2) Realizar un contramodelo con tres elementos en el dominio donde:
xy Fyx, xy Fxyxy(Fxy Fxx)
3) Realizar la siguiente derivacin: x(AxAx)
4) Probar que la frmula x Axx Ax es universalmente vlida
5) Establecer si las oraciones son verdaderas o falsas y justificar:
a. Si una frmula de la forma [c/x] es verdadera para toda constante c del lenguaje, entonces x es
tambin verdadera
b. Si una frmula de la lgica de predicados no es universalmente vlida, entonces es necesariamente
una contradiccin
c. Si una frmula de la lgica de predicados no tiene contraejemplo, entonces es universalmente
vlida

Final 7
1) Simbolizar las siguientes oraciones de la lgica de predicados especificando dominio y diccionario:
a. La lgica de predicados en una extensin de la lgica proposicional, pero no todos los enunciados de
la lgica de predicados pertenecen a la lgica proposicional
b. Hay hombres de tez blanca y hombres de tez morena, aunque los segundos corren ms rpido que los
primeros
2) Identificar las propiedades de la relacin del punto b del ejercicio anterior
3) Construya un modelo donde:
VM(xyFxy)= 1
VM(xy(CxFxy))=1
VM((xy Fyx) = 0
4) xAxx no es consecuencia de xyAxy. Intentar derivar, y explicar cul es la restriccin. Luego
derivarxyAxy a partir de xAxx
5)
a.
b.
c.

Verdadero o falso. Justificar.

Si x Ax es verdadera, entonces es universalmente vlida
La es simtrica
Una frmula es derivable sii no tiene contramodelo.

6) Probar que x(Ax Bx) x(Ax Bx)

Final 8
1) Traducir las siguientes expresiones al lenguaje de la lgica de predicados:
a. No es condicin suficiente que un poltico sea honesto para que los ciudadanos lo voten
b. Ningn productor est de acuerdo con las retenciones mviles
2) Demostrar mediante deduccin natural que el siguiente par de frmulas es inconsistente: x(Ax
Bx), x(AxBx)
3) Construir un contramodelo: xy(FxyFyx) x Fxx
4) Expresar un frmula equivalente a x (AxBx) sin el cuantificador universal
5) Decidir si las siguientes afirmaciones son verdaderas o falsas y justificar:
a. Si hay un modelo en el que la VM(xAxx) = 1, entonces esa misma frmula es verdadera en todo
modelo.
b. Si hay un modelo en el que la VM(xAxx) = 1, entonces esa misma frmula no es satisfactible
c. xAxx Bx es lgicamente equivalente a xAxx Bx

Final 9
1) Simbolizar las siguientes oraciones:
a. Buenos Aires est al norte de Ro Negro pero al sur de Crdoba, si es cierto que alguna provincia
tiene ms territorio que Buenos Aires
b. Tanto Alberto como Mara estn exentos de pagar el impuesto a las ganancias durante este ao
2) Demostrar que lo siguiente es un teorema: x(PxQx) x Px
3) Construir un contramodelo para mostrar que el siguiente argumento es invlido:
xy(Fxy Fyy), xyFyxx Fxx
4) Reconocer las propiedades de la relacin ser igual a. Dominio: nmeros naturales
5) Decidir si las afirmaciones son verdaderas o falsas y justificar:
a. Paes una frmula atmica bien formada
b. Si una frmula 1n es vlida, entonces no puede existir un modelo tal que VM(1) =0,
VM(n) = 0 y VM() = 1
c. Si una frmula 1n es invlida, entonces no puede existir un modelo tal que VM(1) =1,
VM(n) = 0 y VM() = 0
Final 10
1) Formalizar las siguientes oraciones al lenguaje de la lgica de predicados.
a. No todos los abogados estudiaron el Cdigo Civil

b. Dado que los ndices oficiales no son confiables, los inquilinos recurren a otros ndices
2) Demostrar la validez del siguiente argumento:
x Bx, x(Ax Bx) x Ax
3) Construir contramodelo: xyAxy, xy(CxAxy)xy Ayx
4)
a.
b.
c.

Indicar si las siguientes afirmaciones son verdaderas o falsas y justificar:

Todos los teoremas de la lgica intuicionista pertenecen a la lgica clsica
x Ax y(By Rxy) es funcin proposicional
es vlido sii VM() = 1 y VM() = 1

Final 11
1) Traducir la siguiente expresin al lenguaje de la lgica de predicados:
a. Cualquier estudiante de psicologa aprueba el examen final de lgica si estudia y ejercita
b. Hacer una oracin que pertenezca a la lgica de predicados en cuya formalizacin aparezca un
cuantificador universal, una constante de individuo, una letra de predicados mondica y una
polidica. Confeccionar dominio y diccionario
2) Derivar x RxxxyRyx a partir de xyRxy
3) Construya un contramodelo:x(CxBx), x(Cx Bx) x(Bx Cx)
4) La siguiente frmula es universalmente vlida. Comprobar.
x(PxQx) x Px
5)
a.
b.
c.

Determinar si las siguientes afirmaciones son verdaderas o falsas y justificar

Si VM(x ) = 1 entonces VM([c/x] ) = 1 para al menos una constante c del lenguaje
xyz(RayRyzRzx) es funcin proposicional
La derivacin del punto 2 no pertenece a la lgica intuicionista
Final 12

1) Formalizar las siguientes oraciones:

a. Un ciudadano puede votar a un poltico si es mayor de edad
b. Algunos autores franceses tradujeron algunos libros viejos del espaol al francs
2) Especificar las propiedades de la relacin x es tan alto como y. Dominio: personas
3) Realizar contramodelo donde:
xy(Cx Fxy), xyFxyxy(Fxy Cy)
4) Derivar el teorema:x Ax x (AxAx)
5) Decidir si las siguientes oraciones son verdaderas o falsas y justificar:
a. La lgica intuicionista se diferencia de la lgica clsica porque la primera contiene la regla
EFSQ y la segunda no.

b. xyFxyx Fax es funcin proposicional

c. Si VM(x ) = 1 entonces VM([c/x] ) = 1 para toda constante c del lenguaje
d. En lgica de predicados toda frmula es proposicin

Final 13
1) Simbolizar especificando el diccionario y dominio.
a) Las propuestas de la actual presidente de Argentina no son bien recibidas por Elisa Carri.
b) Los electrones tienen menos tamao que los protones pero no menos energa.
2) Realizar un contramodelo con sus correspondientes dominio y funciones de interpretacin:
xyRyx, xy RxyxRxx
3) Derivar el siguiente teorema:x (Px Qx) x (PxQx)
4) Mencionar las propiedades de "ser pariente de". Dominio: personas. Justificar todas.
5)Dar una equivalencia de x (Ax Bx) en trminos de y
6) Decidir si las siguientes afirmaciones son verdaderas o falsas y justificar.
a.Tanto la lgica intuicionista como la lgica clsica contienen la doble negacin
b. Una funcin proposicional no tiene cuantificadores
c.Si V(M1)= 1 y V(M2)= 0 no es ni contradiccin ni universalmente vlida
d.Si una frmula es universalmente vlida, entonces es una contradiccin
Final 14
1) Traducir al lenguaje natural las siguientes expresiones de la lgica de predicados:
a. xy(FxyFxx) donde: Fxy: x flecha a y
b. xy((GxPy) Txy) donde: Gx: x es gato, Px: x es perro, Txy: x le teme a y
2) a. Realizar un contramodelo con cuatro elementos en su dominio (slo numrico) donde: xy
FxyxyFxy
b. Enunciar las propiedades de F en el contramodelo anterior
3) Demuestre por deduccin natural que : xAxy Ay
4) Mostrar que la siguiente frmula es universalmente vlida:
xyFyx xyFxy
6)
a.
b.
c.

Tachar lo que no corresponda:

Si dos frmulas son ambas contradiccin (son / no son) equivalentes
x(Axy By Rxy) (es / no es) funcin proposicional
La relacin x quiere a y es (reflexiva / no reflexiva / irreflexiva / simtrica / no simtrica /
asimtrica / antisimtrica / transitiva / no transitiva / intransitiva / conexa / no conexa)

Final 15

1) Simbolizar especificando dominio y diccionario:

a. La Corte de La Haya no fall ni a favor de Argentina ni a favor de Uruguay.
b. Si la papelera Botnia sigue funcionando entonces algunos vecinos de Gualeguaych cortarn el
puente internacional San Martn.
2) Pruebe por deduccin natural que:
xy(Cx Fxy) x Cxx Fxx
3) Realizar la equivalencia lgica de x(AxBx) en trminos de y si es necesario.
4) a. Realizar un contramodelo con su dominio e interpretaciones, donde:
xy(FxyFyx), xyFxyxyFxy
b. Determinar las propiedades de F en el modelo anterior.
5) Determinar si es verdadero o falso y justificar.
a. Si en un modelo M e interpretacin I se cumple que VM([c/x] )=1 para al menos una c del
lenguaje entonces VM(x)= 0
b. En lgica de predicados, toda frmula es proposicin.
c. Tanto las frmulas contradictorias como las que no son universalmente vlidas tienen
contramodelo.
d. Todos los teoremas de la lgica clsica, son tambin teoremas de la lgica intuicionista.
e. Si es derivable, entonces tiene contramodelo

Final 16
1) Simbolizar al lenguaje de la lgica de predicados:
a. Alguien aprende de todos sus maestros.
b. No todo discpulo es tan brillante como su maestro.
2) Dado el siguiente modelo, decidir si cumple con la propiedad: reflexiva, simtrica, transitiva y
conexa. En el caso de que no cumpla, dar un contraejemplo para cada propiedad que no se cumpla.
A: (P1, P2, P3)
I(a1): P1
I(a2): P2
I (a3): P3
I(R): (P1, P1) (P1,P2) (P2,P1) (P3, P3)
3) Deduccin natural:
xyAxy, xy(Axy By) / x Bx
4) Con cul corresponde:
xyRxyxyRxy
a) I(R): (P1,P1), (P1,P2), (P1,P3), (P2,P1),(P3,P1)
b) I(R): (P1,P1), (P1,P2), (P2,P3), (P2,P1),(P3,P1)

c) I(R): (P2,P2), (P1,P2), (P2,P3), (P2,P1),(P3,P1)

5) Tachar lo que no corresponda
a. La derivacin del punto 3 es (minimalista / intuicionista / clsica).
b.xAxyAyes (contradiccin / universalmente vlida)
c. xFax yFxyes una (proposicin / funcin proposicional)
d. x sii: en(por lo menos un modelo / todo modelo)VM(x): 0
e. Obtener 4 puntos en el examen es (condicin necesaria / condicin suficiente / condicin necesaria
y suficiente) para aprobar.

Final 17
1) Identificar la/s respuesta/s correcta/s. Puede haber ninguna, una, o ms correctas.
a. Algn candidato ser votado si se presenta a las elecciones. Dominio: personas, Cx: x es
candidato, Ex: x es elecciones, Vx: x ser votado, Pxy: x se presenta a y
Opcin 1: x((Cx y(Ey Pxy)) Vx)
Opcin 2: x((CxVx) y(Ey Pxy))
Opcin 3: x((Cxy(Ey Pxy)) Vx)
b. Hay candidatos que ningn ciudadano votara. Dominio: personas. Cx: x es candidato, Ax: x
es ciudadano, Vxy: x vota a y
Opcin 1: x(Cxy(Ay Vxy))
Opcin 2: x(Cxy(Ay Vyx))
Opcin 3: xy((CxAy) Vyx)
2) Con cul corresponde:
xyFxy,x(Fxx Cx), x(Cx y Fxy) x Fxx
M1: I(C): (P2), I(F): (P1,P3), (P2,P1), (P1,P1), (P3,P2)
M2: I(C): (P2), I(F): (P1,P3), (P2,P1), (P2,P3)
M3: I(C): (P2), I(F): (P1,P3), (P2,P1), (P3,P2)
3) Demostrar por deduccin natural: xy(FxyFyx) xy(Fxy Fyx)
4) Dar una frmula equivalente a x Axx Bx en trminos de
5) Tachar la incorrecta entre parntesis:
a. (Todo / Algn) argumento con premisas verdaderas y conclusin falsa es invlido.
c. La relacin entre proposiciones es(transitiva / intransitiva / no transitiva)
d. Si una frmula es una contingencia, entonces (no es / es) universalmente vlida.
e. x(AxBx) y(Py Rxy) (no es / es) funcin proposicional.

Final 18
1) Identifique la respuesta correcta:
a. Ningn avin puede aterrizar sobre un volcn en erupcin.

Ax: x es avin, Vx: x es volcn en erupcin, Txy: x puede aterrizar sobre y. Dominio: cosas.
Opcin 1: xy((AxVy) Txy)
Opcin 2: xy((AxVy) Txy)
Opcin 3: xy((AxVy) Txy)
b. La nube de cenizas del avin islands es peligrosa para las turbinas de los aviones.
Ax: x es avin, Txy: x es turbina de y, a: la nube de cenizas del avin islands, Pxy: x es peligroso
para y. Dominio: cosas.
Opcin 1:xy((AxTxy) Pay)
Opcin 2: xy((AxTyx) Pay)
Opcin 3: xy((AxTxy) Pax)
2) Decidir si las siguientes frmulas son proposiciones o funciones proposicionales. En el caso de ser
funcin proposicional, transformarlas a proposiciones.
a.
b.
c.
d.

xyAx By
xAxxBxa
x(Ax y Bxy)
Aab xFax

3)
a.
b.
c.

Tachar lo que no corresponda:

La lgica intuicionista (tiene / no tiene) la doble negacin.
Si es verdadera en al menos un modelo M, entonces es (satisfactible / universalmente vlida).
La relacin ser hermana de en el conjunto de todas las personas es (reflexiva / irreflexiva /
simtrica / no simtrica / transitiva / no transitiva / intransitiva / conexa / no conexa)
d. Si dos frmulas son ambas universalmente vlidas (no pueden / pueden no) ser equivalentes
e. Si no es universalmente vlida, entonces (tiene / no tiene) contramodelo.

4) De acuerdo a lo de abajo, a qu modelo corresponde:

x(Cx y Fxy), x(Cx y Fyx), x Cx xy Fxy
M1: I(C): (P1, P2), I(F): ( P1, P1 ), (P1, P2), (P2, P1), (P2, P2).
M2: I(C): (P1, P2), I(F): (P1, P1), (P1, P2), (P2, P2).
M3: I(C): (P1, P2), I(F): (P1,P1), (P1, P2).
5) Demuestre por deduccin natural: xy(Fxy Cy), x Cx x Fxx
6) Cul/es de las siguientes frmulas es/son universalmente vlida/s. Si alguna lo es, demostrar:
a. x x
b. x x
c. x x

Final 19
1) Identifique la respuesta correcta:
a. Hay conversores que transforman la televisin digital en analgica.
Opcin 1: xyz((Cx (Dy Az)) Txyz)
Opcin 2: x(CxTxab)
Opcin 3: x(CxTxab)
b. Algunas empresas debieron suspender sus vuelos.
Opcin 1:xy((EyVxy) Sxy)
Opcin 2: x(Ex y (VyxSxy))
Opcin 3: x(Ex y (VySxy))
2) Deduccin natural:
x Px, x Qxx(PxQx)
3) Cules de las siguientes frmulas son proposiciones y cules son funciones proposicionales:
a. x(Qx y Axay)
b. x Axx Aaa
c. x Axy (By z (Pz Rxyz))
4) Tachar la incorrecta que est entre parntesis:
a. Si dos frmulas son ambas contingencias (pueden / no pueden) ser equivalentes
b. La regla EFSQ (corresponde / no corresponde) a la lgica clsica
c. x(QxyPy) es una frmula (universal / universalmente vlida)
d. Si es derivable, entonces (tiene / no tiene) contramodelo.
e. Que un auto tenga nafta es (condicin suficiente / condicin necesaria / condicin necesaria y
suficiente) para que ande.
5) Con cul corresponde:
xy Fxy, xy(FyxCx) xCx
M1: I(C): (P1, P2, P3), I(F): (P1,P1), (P1,P2), (P1,P3), (P2,P2), (P3,P2)
M2: I(C): (P2, P3), I(F): (P1,P2), (P1,P3), (P1,P1), (P2,P3), (P3,P3)
M3: I(C): (P3), I(F): (P2,P1), (P2,P2), (P2,P3)

Final 20
1) Indicar cul formalizacin es la correcta:
a. Ningn piloto puede poner en riesgo a sus pasajeros. Dominio: personas, Px: x es piloto, Axy:
x es pasajero de y, Rxy: x puede poner en riesgo a y.

Opcin 1: xy((PxAyx) Rxy)

Opcin 2: xy((PxAyx) Rxy)
Opcin 3: xy((PxAxy) Rxy)
b. Si t ves a cualquiera, no debes entregarle ninguna carta. Dominio: personas y medios de
comunicacin, Px: x es persona, Cx: x es carta, Vxy: x ve a y, Dxyz: x debe entregar y a z, t:
t
Opcin 1: x((PxVtx) y(Cy Dtyx)
Opcin 2: x((PxVtx) y(Cy Dtxy)
Opcin 3: x((PxVtx) y(Cy Dtyx)
2) Demostrar por deduccin natural que: x Bx, x(AxBx) x Ax
3) Con qu modelo corresponde:
xy(Fxy Cy), xy(Cx Fxy) xyFxy
Modelo 1: I(C): {P1, P2, P3}, I(F): { }
Modelo 2: I(C): {P1}, I(F): {<P1,P1>, <P2,P1>, <P3,P1>}
Modelo 3: I(C): {P1, P2, P3}, I(F): {<P1,P2>}
4) Cules de las siguientes frmulas son proposiciones y cules funcin proposicional:
a. x(yFxyFyx)
b. xAxy (Byz (CzRyz))
c. Aay Ray
5)Tachar lo incorrecto:
a. La relacin x es el nmero inmediatamente sucesor de y en el conjunto de nmeros naturales
es (reflexiva / irreflexiva / simtrica / asimtrica / transitiva / intransitiva / conexa / no conexa)
b. Si dos frmulas de la lgica de predicados son derivables mutuamente, entonces ambas (son /
no son) equivalentes
c. La lgica intuicionista (tiene / no tiene) doble negacin
d. x x (es / no es) universalmente vlida
e. Tener DNI es (condicin suficiente / condicin necesaria) para poder votar en Argentina

Final 21
1) Traducir al lenguaje de la lgica de predicados las siguientes oraciones especificando el
diccionario:
a. Algunos psiclogos son lacanianos y otros son freudianos.
b. Los psiclogos que adhieren a Freud, no adhieren a lacan.
2) Traducir al lenguaje natural teniendo en cuenta el diccionario: Dominio {Personas}; Px: x es
psiclogo; Axy: x adhiere a y; Lxy: x ley a y; l: Lacan; f: Freud.
a.x((PxAxl) Axf)
b.x((PxLxf ) Axl)

3) Dado el siguiente cuadro determinar si lo dado es una formula universalmente vlida, no

universalmente vlida, o una funcin proposicional:
Frmulas

Universalmente
vlida

No universalmente
vlida

Funcin
proposicional

PaxPx
xyPxyyPxy
Pa Pb
PaxPx
xyPxyPay

4) Demostrar que el siguiente razonamiento es universalmente vlido realizando una derivacin

aplicando las reglas de deduccin natural de Gentzen:
x(AxBx), xBx, x (CxAx) xCx
5) Encontrar un contramodelo que demuestre que el siguiente razonamiento no es vlido:
x(Cxy Fyx) x (Cxy Fxy)
6) Optar por 6 a) 6 b) (o ambas):
a. Determinar mediante diagramas de Venn la validez o invalidez del siguiente silogismo:
x(PxMx), x(SxMx) / x(SxPx)
b.Dada la relacin "ser paralelo a..." marcar con una cruz cules propiedades cumple dicha
relacin:
-Reflexividad
-Simetra
Transitividad
Conexidad

Irreflexividad
No simetra
No transitividad
No conexidad

No reflexividad
Asimetra
Intransitividad
Inconexidad

7) Marque V o F y justifique su respuesta:

a. Los razonamientos vlidos siempre tienen conclusin verdadera.
b.VM(x)= 1 si Vm([c/x])=1 para al menos una constante de individuo del dominio.
Final 22
1) Traducir al lenguaje de la lgica de predicados las siguientes oraciones teniendo en cuenta el
dominio y el diccionario:
a. Si todo acontecimiento tiene una causa, entonces Dios tiene una causa.
b. Las frmulas universalmente vlidas son verdaderas en todos sus modelos.
2) Demuestre por deduccin natural el siguiente teorema:
x Px (Rb x Px)

3) Realizar contramodelo: x(Ax Bx), x Bxx Ax

4) Decidir qu propiedades cumple R en A siendo: A: {(P1, P2, P3)}, y R: {(P1,P2), (P2,P3),
(P1,P3)}. Realizar contraejemplo para cada propiedad que A no cumpla en R.
5) Verdadero o falso y justifique:
a.La lgica de predicados de primer orden permite validar todas las inferencias que en la lgica
proposicional eran invlidas.
b. La relacin de consecuencia lgica sintctica entre proposiciones es simtrica.
c. Una funcin proposicional es una frmula.
Final 23
1) Traduzca las siguientes proposiciones al lenguaje de la lgica de predicados, especificando el
diccionario:
a. Cualquier psiclogo es freudiano si y slo si no es lacaniano.
b. Freud psicoanaliz a algunos de sus pacientes.
2) Construya: a) una oracin que contenga al menos un cuantificador existencial y al menos un
predicado de grado dos; b) una oracin que tenga al menos un cuantificador universal y una
descripcin definida; c) traduzca ambas oraciones al lenguaje de la Lgica de Predicados.
3) Dada la frmula x (Axy (By Rxy)) determine si es lgicamente equivalente a la
frmula (a), (b), (c) (puede ser lgicamente equivalente a una, a ms de una, a todas o a ninguna).
(a) xy (Ax (By Rxy))
(b) x (Ax y(By Rxy))
(c) x (Ax y(ByRxy))
(d) x(Axy(By Rxy))
4) Demuestre que y(Fy Gy) y(Fy Gy) efectuando la derivacin correspondiente.
5) El esquema de argumento x(Cx yFxy), xCxxy(CxFxy) es invlido. Dados los
modelos M1, M2 y M3, determine si uno de ellos, ms de uno, todos o ninguno es un contramodelo del
esquema de argumento invlido. Justifique su respuesta en forma sencilla para los tres casos. No debe
efectuar la demostracin apelando a la Definicin de Valuacin.
En los tres modelos: D: {P1, P2, P3}; I(a1): P1; I(a2): P2; I(a3): P3.
M1: I(C): {P1, P3} I(F): {<P1,P2>, <P2,P3> }
M2: I(C): {P1, P3} I(F): {<P1,P2>, <P3,P2> }
M3: I(C): {P1, P3} I(F): {<P1,P2>, <P2,P3>, <P3,P1>}
6) Puede optar por realizar el ejercicio a o b o ambos.
a. Mediante diagramas de Venn determine si el siguiente silogismo es vlido o invlido.
x(Mx Px), x(Mx Sx) / x(Sx Px)
b. Tache lo que no corresponda:
(1) La relacin ser pariente de en el conjunto de los miembros de una misma familia: reflexiva,
no reflexiva, irreflexiva; simtrica, no simtrica, asimtrica; transitiva, no transitiva, intransitiva;
conexa, no conexa, inconexa.
(2) La relacin ser pariente de en el conjunto de todas las personas: reflexiva, no reflexiva,
irreflexiva; simtrica, no simtrica, asimtrica; transitiva, no transitiva, intransitiva; conexa, no
conexa, inconexa.

7) Determine si las siguientes afirmaciones son verdaderas o falsas y justifique su respuesta:

a. Los argumentos invlidos tienen siempre premisas verdaderas y conclusin falsa.
b. Si VM([c/x]) = 0 para toda constante c de L entonces VM(x) = 0.
c. En lgica de predicados, si entonces no puede existir un modelo en el que VM() = 1

Final 24
1) Traduzca las siguientes oraciones al lenguaje de la lgica de predicados especificando dominio y
diccionario:
a. Algunos realistas no son popperianos pero otros s.
b. Algunos de los contemporneos de Popper fueron sus discpulos.
2) Traducir: a) CpkCkp
b) x(CxpRx) x(CxpRx)
Dominio: Personas
p: Popper
Rx: x es realista
k: Kuhn
Cxy: x es contemporneo de y
3) Derivar: x(Fx (GxHx)), x(FxHx) x(Fx Gx)
4) Construya contramodelo con las respectivas funciones de interpretacin:
xy(Fxy Fyx), xy(Fxy (CxCy)) x Cx
5) Ser derivable de en el conjunto de la propiedad de un lenguaje L es: reflexiva, no reflexiva, irreflexiva,
simtrica no simtrica, asimtrica, antisimtrica, transitiva, no transitiva, intransitiva, conexa, no conexa,
inconexa. Tache las que no correspondan.
6) Dado el siguiente cuadro determinar si lo dado es una frmula universalmente vlida, no universalmente
vlida o funcin proposicional, colocando una x en la opcin correcta:
Frmula
Universalmente
No universalmente
Funcin
vlida
vlida
proposicional
xyFxy Faa
xyFxy Faa
xyFxy Fxx
Faa Fbb
xFax xFax
7) Verdadero o falso. Justificar
a. Si un argumento es vlido y tiene la conclusin falsa, entonces sus premisas son necesariamente
verdaderas.
b. Si x entonces VM(x)= 0 en todo modelo M
c. Si VM([c/x])=0 para al menos una constante c de L entonces VM (x)=0

Final 25
1) Simbolizar las siguientes oraciones al lenguaje de la lgica de predicados consignando diccionario y
dominio:
a. Algunos psiclogos no asisten a los congresos de fsica nuclear.
b. Algunos psiclogos asisten a algunos congresos de medicina.
2) Con el siguiente diccionario traducir al lenguaje natural:
Gx: x es gobernador
Ax: x es argentino

Rx: x ser reelecto

Dx: x ser derrotado

a.x((GxAx) Rx)
b.x((Gx (RxDx))
3) Determinar si las siguientes frmulas son proposiciones o funciones proposicionales. En caso de ser
funcin proposicional transformarlas a proposicin.
a.xFxyyFyy
b.x(Fax Fxx)
4) Determinar realizando deduccin natural si las siguientes frmulas son equivalentes:
xPx, xPx
5) Realizar contramodelo: xy(Cx Fyx), xy(CxFxy) x(Cx yFxy)
6) Qu propiedades se dan en la siguiente relacin: ser primo de, conjunto: personas.
7) Decidir por verdadero o falso segn corresponda y justificar su respuesta:
a.Si VM([c/x] )= 1 para toda constante c del lenguaje, entonces x es tambin verdadera
b. Una frmula del lenguaje de predicados es universalmente vlida si y slo si es universal.
c. Para la lgica intuicionista no es vlida la regla de .
Final 26
1) Traducir las siguientes oraciones al lenguaje de la lgica de predicados. Indique dominio y diccionario.
a. Algunos maestros no adhirieron a la huelga del mircoles pasado
b. Ninguna huelga docente recibe la adhesin de todos los maestros
2)Traducir a lenguaje natural.
Diccionario: Px: x es polgono, Tx: x es tringulo, Lxy: x tiene ms lados que y, Ixy: x tiene la misma
cantidad de lados que y
a. x (Tx y(Py Lxy))
b. x (Tx Px) x (Px Tx)

3) Identificar si las siguientes frmulas son proposiciones o funciones proposicionales. En caso de ser
funciones proposicionales transformarlas en proposiciones:
a. xyFxy xy((FaxFbx) Fya)
b. Fax yFxy
c. (FcaFab) xyFyxFyy
4) Cul de las siguientes derivaciones es correcta y cul no. En el caso de la incorrecta explicar de qu
restriccin se trata.
xyFxy xyFyx
a.
1)xyFxy
2)yFay
3)Fab
4)yFyb
5)yFayyFyb
6)yFyb
7)xyFyx

sup
sup
E, 2
I3
I
E 1,5
I,6

1)xyFxy
2)yFay
3)Fab
4)yFay Fab
5)Fab
6)yFyb
7)xyFyx

sup
sup
E,2
I
E1,4
I, 5
I, 6

b.

5) Realizar contramodelo: xyFxy, x Fxx, xCxxCxyxFxy

6) a. Decidir mediante diagrama de Venn si el siguiente argumento es vlido o invlido: Forma: AOO
Todo P es M, Algn S no es M, por lo tantoAlgn S no es P
b.Enunciar las propiedades de la relacin tener ms conectivas que en el dominio de la lgica de
predicados
7) Verdadero o falso. Justificar todas las respuestas.
a. Todas las frmulas universales son universalmente vlidas
b. Todas las frmulas universalmente vlidas son universales
c. Los argumentos invlidos pueden tener premisas y conclusin verdaderas

Final 27
1) Simbolizar confeccionando dominio y diccionario:

a. La madre de Sebastin es hermana de mi maestra

b. La madre de Sebastin es hermana de alguna de mis maestras
2) Dadas las siguientes derivaciones, indicar cul es incorrecta desde el punto de vista lgico indicando la
restriccin correspondiente:
a.
1) yxFxy
2) xFxa
3) Faa
4) yFay
5) xyFxy
6) xFxa
7) xyFxy

sup
E, 2
I, 3
I, 4
xyFxy I
E, 1, 6

1) yxFxy
2) xFxa
3) Fba
4) yFby
5) xyFxy
6) xFxa
7) xyFxy

sup
E, 2
I, 3
I, 4
xyFxy I
E, 1, 6

b.

3) Dado xyFxyyxFxy
M1: Dominio: {P1, P2, P3}, I(a1): P1, I(a2): P2, I(a3): P3, I(F): {<P1,P1>, <P1, P2>, <P1,P3>}
M2: Dominio: {P1, P2, P3}, I(a1): P1, I(a2): P2, I(a3): P3, I(F): {<P1,P2>, <P2, P3>, <P3,P2>}
a. Indique por qu M1 y M2 son incorrectos
b. Construya un contramodelo para el esquema dado
4) Decida mediante diagrama de Venn si el siguiente razonamiento es vlido o invlido consignando modo y
forma:
Algn A no es B
Ningn B es C
Algn A no es C
5) Verdadero o falso. Justificar.
a. Las funciones proposicionales no son frmulas de la lgica de predicados.
b. xyFxyFay es funcin proposicional
c. Las frmulas universalmente vlidas tienen al menos un modelo que las hacen falsas
d. Un razonamiento vlido puede tener las premisas verdaderas y la conclusin falsa
6) Qu propiedades cumple la relacin tener la misma cantidad de lados que en el conjunto de figuras
geomtricas.