Introduccin a LC

Sintaxis y
simbolizacin
Curso: Lgica
JP: Marlon Rivas
 Fjense en el siguiente
argumento:
Todos los humanos son mortales.
Scrates es humano.
Luego, Scrates es mortal.
Intuitivamente, es vlido o no?
Cmo simbolizamos esto?
p
q
//r
 O en este:

Algunos filsofos admiran la Lgica.

Ningn filsofo admiran a los charlatanes.
Por lo tanto, ninguna persona que admire la lgica admira
a los charlatanes.
Intuitivamente, es vlido o no?
Cmo simbolizamos esto?
p
q
//r
 Diagnstico

Las oraciones que componen estos

argumentos tienen una estructura vlida que
LP no es capaz de capturar. Como la validez
del argumento es una propiedad de esa
estructura, LP no nos da el resultado esperado.
 Fjense estas dos oraciones

Algunos alumnos son de Alianza Lima.

V
Algunos alumnos no son de Alianza Lima. V
INTUITIVAMENTE, esas dos oraciones
expresan proposiciones contrarias?
SIMBOLIZACIN:
p // ~p ? Sera posible simbolizar as a
sabiendas que tienen el mismo valor de verdad ?
Ergo, la primera es p y la segunda es q, pero va
contra nuestras intuiciones.
Todos los humanos son mortales.
Scrates es humano.
Luego, Scrates es mortal.

Predicados lgicos Expresin que atribuye una

propiedad a un objeto o conjunto de objetos. Ejs: Ser
humano, ser mortal, ser gordo, vuela, etc.
NombresExpresin que refiere a un objeto particular.
Ejs: Vittorio, Andrea, Claudia, etc.
Y aquello en rojo? Ya vamos a llegar
 Componentes de LC - simbolizacin
Los Nombres se simbolizan con constantes individuales.
Constante individual: letra minscula como abreviacin de un nombre (a, b,
c, etc.).
Ejs:
a=Scrates b=PUCP c=Coca Cola
Variable individual: letra minscula (x, y, z, etc.) usada para representar
objetos arbitrariamente.
Letra predicativa (o smbolo predicativo): letra mayscula que es usada para
simbolizar predicados (E, F, G).
Los Predicados en LC se simbolizan por medio de una conjuncin entre una variable
individual (letras x, y, z, etc.) y sus correspondientes letras predicativas:
Ejs:
Mx: x es mortal Lx: x es de Alianza Lima Ex: x es excntrico.
 Simbolizacin de oraciones
singulares
Una oracin singular en LC es aquella oracin que tiene por lo menos
un nombre.
Ejemplos:
1. PPK es presidente del Per.
2. Scrates y Platn son griegos.
3. Universitario y Alianza Lima son equipos de ftbol.
Simbolizacin:
1. a: PPK Px: x es presidente del Per Pa
2. a: Scrates b: Platn Gx: x es griego Ga Gb
3. a: Universitario, b: Alianza Lima, Ex: x es equipo de ftbol Ea Eb
 Componentes de LC (II)
Qu hay de las expresiones que estaban en rojo?
CuantificadoresExpresin que determina cuntos objetos satisfacen
una funcin proposicional.
Ejs: Todos, Algunos, Nada, Algo, La mayora, etc.
Dos tipos de cuantificadores:
Cuantificador Universal x
Cuantificador Existencial x
Cmo se simbolizan?
1. (x)Fx = Para todo x, x es F
En castellano, la oracin sera Todo es F.
2. (x)Fx = Existe por lo menos un x tal que x es F
En castellano, la oracin sera Algo es F.
 Simbolizacin en LC
1. Todo es perfecto.
2. Algo es perfecto.
3. Nada es perfecto.
4. No todo es perfecto.
Simbolizacin:
1. Px: x es perfecto (x)(Px)
2. (x)(Px)
3. (x)Px (x)( Px)
4. (x)(Px)
Pero antes de simbolizar

VEAMOS LA
SINTAXIS
Asunciones que hacer

A1: Un predicado seguido de un trmino (variable o constante)

tendra que ser una fbf.
Ejemplos:
Px
Pa
Fa
Hy

A2: Nada ms podra ser una fbf.

Reglas de formacin
R 1: Toda letra mayscula seguida de una variable o una
constante es una fbf.
R 2: Si A es una fbf, entonces ~A es una fbf.
R 3: Si A y B son fbfs, entonces:
A B es una fbf.
A B es una fbf.
A B es una fbf.
A B es una fbf.
R 4: Si A es una fbf y es una variable, entonces:
()A y ()A son fbfs.
R 5: Nada ms es una fbf.
 Equivalencias

1. ~(x)x :: (x) ~ x
2. ~(x) x :: (x) ~ x
3. ~(x) ~ x :: (x) x
4. ~(x) ~ x :: (x) x
 Ejemplos
1. No todo es fsico.
Algo no es fsico
2. Nada es fsico.
Todo no es fsico.
3. No todo no es fsico.
Algo es fsico.
4. No es el caso que algo no sea fsico.
Todo es fsico.
 Equivalencias

1. ~(x)(x x) :: (x) (x ^ ~x)

2. ~(x) (x ^ x) :: (x) (x ~x)

3. ~(x) (x ~x) :: (x) (x ^ x)

4. ~(x) (x ^ ~x) :: (x) (x x)

 Ejemplos
1. No todo lo que es fsico es material.
Algo fsico no es material.
2. Nada que es fsico es material.
Todo lo que es fsico no es material. (Ninguna cosa fsica es material)
3. No todo lo que es fsico, no es material.
Algo que es fsico, es material.
4. No es el caso que algo que es fsico no sea material.
Todo lo que es fsico es material.
 Cuantificadores y operadores
principales
El operador principal que cae bajo el alcance del cuantificador universal (x) es,
normalmente, el Condicional.
Ejm: Todos los cuervos son negros.
Incorrecto: (x)(Cx Nx)
Correcto: (x)(Cx Nx)
El operador principal que cae bajo el alcance del cuantificador existencial (9x) es,
normalmente, la Conjuncin.
Ejm: Algn cuervo es negro.
Incorrecto: (x) (Cx Nx)
Correcto: (x) (Cx Nx)
 Pasos para simbolizar

1. Reconocer los operadores veritativo funcionales (de LP) y

cuantificadores, y comparar cules de ellos tiene mayor
jerarqua sobre la otra.
2. Reconocer qu tipo de cuantificador est siendo expresado
en cada oracin.
3. Determinar qu frmula est modificando el cuantificador
(i. e. determinar qu frmula debe ser satisfecha por ciertos
objetos del dominio para hacer la oracin verdadera).
 Frmulas no admisibles
Platn y Aristteles son filsofos.
Fx: x es filsofo
a: Platn
b: Aristteles

Esta es la frmula bien formada.
Platn es griego y sabio.
Gx: x es griego
Sx: x es sabio
a: Platn

Esta es la frmula bien formada.
 Ejemplos anteriores
Todos los humanos son mortales.
Scrates es humano.
Luego, Scrates es mortal.
. .

Algunos alumnos son de Alianza Lima.

( )

Algunos alumnos no son de Alianza Lima

( )
 Tres o ms predicados lgicos (i):
Sujeto gramatical compuesto
Todos los caballos y bueyes forman parte del reino mamfero.
Cx: x es caballo
Bx: x es buey
Mx: x forma parte del reino mamfero.
( . . )

Todos los demcratas y republicanos son polticos.

Dx: x es demcrata
Rx: x es republicano
Px: x es poltico
. .
Algunos surquillanos y sanisidrinos son polticos.
Sx: x es surquillano Ix: x es sanisidrino
( .. )
 Predicados lgicos con nombre
inserto
La mayora de chalacos que aman a Hctor Lavoe se
identifican con el Callao.
Cx: x es chalaco
Ax: x ama a Hctor Lavoe
Ix: x se identifica con el Callao

()( .. )
 Tres o ms predicados lgicos (ii):
Tercer predicado anidado al
segundo.
Los tratados internacionales estn hechos para respetarse
aunque perjudican a menudo a los ms pobres.
()( . . )
Los jugadores de la Seleccin Peruana volvern
tranquilos a sus casas a menos que estn arrepentidos de su
psima actuacin.
()( . . ( ))
Todos los nios irn a la selva slo si estn vacunados.
()( . . )
 Todos son racionales.
Rx = x es racional
x ( Rx )

Julia es atleta y filsofa.

Ax = x es atleta
Fx = x es filsofo
a = Julia
Aa ^ Fa
 Nadie es honesto y leal a la vez.
Px = x es persona
Hx = x es honesto
Lx = x es leal
x (Px ~ (Hx ^ Lx))
 No todas las partculas subatmicas son conocidas actualmente.
Px = x es partcula subatmica
Cx = x es conocida actualmente
~ x (Px Cx)
Todos los fsicos y qumicos son cientficos.
Fx = x es fsico
Qx = x es qumico
Cx = x es cientfico
()( . . )
El universo actual carece de seres tales que
puedan viajar ms rpido que la luz.
Lx = x puede viajar ms rpido que la luz
()()
Algunas teoras cientficas no
resisten el paso del tiempo.
Tx = x es teora cientfica
Rx = x resiste el paso del tiempo
( )
Algunos abogados son personas responsables. Pero
algunas personas responsables son corruptas. De
manera que algunos abogados son corruptos.
Ax = x es abogado
Rx = x es persona responsable
Cx = x es corrupto
. . ( )
Muchos genios tienen rasgos de
locura, pero ningn genio est
completamente loco.
Gx = x es genio
Lx = x tiene rasgos de locura
Cx = x est completamente loco
()( )
Como los futbolistas millonarios ofrecen
donaciones a orfanatos, Messi es querido
por varias personas.
Fx = x es futbolista
Mx = x es millonario
Dx = x ofrece donaciones a orfanatos
Qx = x es querido por varias personas
a = Messi
. .
Ningn fascista que sea autoritario ser elegido en este pas.
Todos los gobernantes sern elegidos en este pas nicamente
si son inteligentes. En consecuencia, como Mateo es
gobernante e inteligente, entonces algunos no son fascistas y
autoritarios.
Fx = x es fascista
Ax = x es autoritario
Ex = x es elegido
Ix = x es inteligente
a = Mateo
. . . . .
. ( )
 Toda persona que no respeta el orden de una fila comete un acto
inmoral. Todo aquel que acta inmoralmente merece una pena
privativa de la libertad. Enrique no respet su turno en la fila. Por lo
tanto, cometi un acto inmoral y merece una pena privativa de su
libertad.
Px = x es persona
Rx = x respeta el orden de la fila
Ix = x realiza un acto inmoral
Mx = x merece una pena privativa de su libertad
a = Enrique

. . ..
 Cualquier nio hurfano puede encontrar una buena familia adoptante, pero Andrs es un nio
hurfano y no tiene una familia adoptante. Por lo que no todos los nios hurfanos pueden ser
felices.
Nx = x es nio
Hx = x es hurfano
Px = x puede encontrar una familia adoptante
Tx = x tiene una familia adoptante
a = Andrs
x( Nx ^ Hx ..Px)^(Na^~Ta) ..~x (Nx^Hx..Fx )
 Todos los autores de novelas son escritores. Pero algunos escritores no saben escribir
bien. Por lo tanto, si Lucas sabe escribir bien, entonces no es autor de novelas.
Ax = x es autor de novelas
Ex = x es escritor
Sx = x sabe escribir bien
a = Lucas
x (Ax Ex) ^ x ( Ex ^ ~Sx) .. Sa ~Na
 Todos los catlicos, evangelistas, ortodoxos y protestantes son cristianos, mas no todos los
cristianos son catlicos, evangelistas, ortodoxos o protestantes.
Cx = x es catlico
Ex = x es evangelista
Ox = x es ortodoxo
Px = x es protestante
Rx = x es cristiano
x(Cx v Ex v Ox v Px..Rx) ^ ~x(Rx ..Cx v Ex v Ox v Px)