Simbolizacin en LC

mondica
Lgica I

Ejemplo
Scrates era filsofo, no sofista.
a: Scrates
Fx: x es filsofo
Sx: x es sofista
Fa Sa

Ejemplo
Algunos son filsofos.
Fx: x es filsofo
Cuantificador: existencial
( x)Fx
Ejemplo
No todos son filsofos.
Fx: x es filsofo
Cuantificador: universal
Operador: negacin
( x)Fx
Consideraciones para simbolizar en
LC
1. Reconocer predicados y asignar a cada
uno una variable predicativa.
2. Reconocer nombres propios y asignar a
cada uno una constante individual.
3. Reconocer cuantificadores y otros
operadores.
4. Tomar en cuenta los modelos de
proposiciones categricas tpicas.
Proposiciones categricas tpicas
sin sujeto
Todos son filsofos.
(universal afirmativa)
(x) Fx
(x) Fx
(x) Fx
(x) Fx
Nadie es filsofo.
(universal negativa)
Alguien es filsofo.
(existencial afirmativa)

Alguien no es filsofo.
(existencial negativa)
Proposiciones categricas tpicas
con sujeto
Todos los griegos son filsofos.
(universal afirmativa)
(x) ( Gx Fx )
(x) ( Gx Fx ) )
(x) ( Gx Fx ) )
(x) ( Gx Fx ) )
Ningn griego es filsofo.
(universal negativa)
Algn griego es filsofo.
(existencial afirmativa)

Algn griego no es filsofo.
(existencial negativa)
Casos especiales
1. Algunos son infelices.
(x) Fx
2. Todos no son felices.
(x) Fx
3. Todos los hombres no son felices.
(x) (Bx Ox)
4. Ningn alumno es flojo y poco aplicado.
(x) [ Ax ( Fx Px) ]
Casos especiales
5. Los perros y los gatos son animales domsticos.
(x) [ ( Px Gx ) Dx ]
6. Algunos perros y gatos son animales
domsticos.
(x) [ ( Px Gx ) Dx ]
7. Cada alumno que aprob tendr un premio.
(x) [ ( Ax Bx ) Tx ]
8. Muchos alumnos que aprobaron tendrn premio.
(x) [(Ax Dx) Ex ]
Casos especiales
9. Ninguna ciencia, salvo las formales, es
puramente deductiva.
(x) [ ( Cx Fx ) Dx ]
10. Las ciencias son exactas si son deductivas.
(x) [ Cx ( Dx Ex) ]
(x) [ ( Px Gx ) Dx ]
11. Solo los humanos pecan.
(x) ( Px Hx)
12. Armando es romntico ya que la mayora
lo es.
(x) Rx Ra