Formas de enunciar

..\..\..\..\..\..\ARCHIVOS JMS\2.AVERROES\ELEMENTOS DEL PENSAMIENTO CRITICO\LOGICA\FORMALIZACION

LOGICA PREDICADOS.pdf

Todo es ;
Solo los son ;
Nadie es a menos que sea ;
No hay ningn que no sea ;
es suficiente para ;
es necesario para :

adems:

..\..\..\..\..\..\ARCHIVOS JMS\2.AVERROES\ELEMENTOS DEL PENSAMIENTO CRITICO\EJERCICIOS ANALISIS

DISCURSO\ENUCNIADOS SINTACTICOS EQUIVALENTES LOGICAS.docx

S+V
Todo

contamina

x (x contamina)
Toda

fbrica

contamina

x (x es fabrica x contamina)
Toda

fabrica

contamina

destruye

x (x es fabrica x contamina x destruye)

S+V+O1
Todo

contamina

algo

x y (x contamina y)
Toda

fbrica

contamina

algo

x(x es fbrica y (x contamina y))

Toda

fbrica

contamina

algn

ro

x (x es fbrica y (y es ro x contamina y) )
Observar secuencia de encadenamiento de objetos
..\..\..\..\..\..\ARCHIVOS JMS\2.AVERROES\ELEMENTOS DEL PENSAMIENTO CRITICO\LOGICA\libroINTRODUCCION A LA LOGICA\2_parte-LOGICA DE PREDICADOS.pdf

es correcto?
xy [(Ex Py) Axy]
Si:
1. Exportacin: Pag336 Copi
p (q r ) (p q ) r
2.

Ver: Cuantificadores Propiedad distributiva.docx

S + V + O1 + O2
Todas

las

fbricas

contaminan

algunos

ros

el

x [x es fabrica y (y es ro x contamina y) z (z es aire x contamina z)]

x y z [(x, fabrica) (y, aire) (z, hijos) (x contamina y de z)]
x [(x, fabrica) y [(y, rio) z (z, aire) (x contamina y de z)]]
Todo

ciudadano

elige

diputados

senadores

aire

x (x es ciudadano (y (y es diputado x elige y) z (y es senador x elige z) ) )

x (x es ciudadano ( y (x elige como diputado a y) z (x elige como senador a z) ) )
x (x es ciudadano ( y (x elige Dy) z (x elige Sz) ) )
x [y (Cx elige Dy) z (Cx elige Sz) ]
S + V + OD + OI
Las

fabricas

contaminan

o
el

S + V + Oj
aire

de

nuestros

hijos

los

hijos

(x contamina y de z)
x ,y ,z
x y z [(x, fabrica) (y, aire) (z, hijos) (x contamina y de z)]
Las
1
2
3
4
5

madres
Las
La

madres
madre
madre de Jose
S

leen

cuentos

leen
lee
V

cuentos
un

cuento
OD

(x leer z a w)
CASO 1: LAS MADRES LEEN CUENTOS A SUS HIJOS
x, z = {algunoscuentosparaniosdetodoeluniversodecuentos}, w
(x, madre), (z, cuento), (w, hijo)
x z w [(x, madre)(z, cuento)(w, hijo) (x leer z a w)]
x w [(x, madre) (w, hijo) z ((z, cuento)(x leer z a w)]
CASO 2: LA MADRE LEE UN CUENTO A SUS HIJOS
Dominio:
x = madre,
z= cuentos {muchos, que tiene}
w= hijos {Manu, Jose, Juan}
(m, madre), (z, cuento), (w, hijo)
m, z , w
z w [(z, cuento) (w, hijo) (m leer z a w)]
CASO 3: LA MADRE LEE UN CUENTO A SU HIJA
La veracidad de una afirmacin depende del dominio seleccionado.
Como el dominio considerado
w= hijos {Manu, Jose, Juan}

sus hijos
sus hijos
su hija
Jose
sus amigos
OI

Entonces su hija = Jose

por lo tanto el CASO 3 = CASO 4
Si el dominio fuere w = {Manu, Jose, Mara}*
Entonces z w [(z, cuento) (w, hija) (m leer z a w)]
CASO 4: LA MADRE LEE UN CUENTO A JOSE
Dominio:
x = madre,
z= cuentos {muchos, que tiene}
w= hija {Manu, Jose, Juan}
m, z , jo
Forma

z [(z, cuento) (m leer z a jo)] o z [(z, cuento) (m leer z a jo)]

silogstica = I

CASO 5: LA MADRE DE JOSE LEE UN CUENTO A SUS AMIGOS

Dominio:
mj = Madre de Jose
w = amigos{barrio, escuela, otros}
z w [(z, cuento) (w, amigos) (mj leer z a w)]
Resumen
1
x z w
2
z w
3* z w
4
z
5
z w

(x, madre) (z, cuento) (w1, hijos)

(z, cuento) (w1, hijos)
(z, cuento) (w2, hija)
(z, cuento)
(z, cuento) (w3, amigos)

x leer z a w1
m leer z a w1
m leer z a w2
m leer z a jo
mj leer z a w3

La veracidad de una afirmacin depende del dominio seleccionado.

De acuerdo a lo que se quiera inferir los individuos son afectados con una
relacin lgica
Madre, leer, cuento, Jose
Jose = {1.es, 2.no es} hija de madre
Caso 2: Jose no es hija de madre:

( (x madre y) leer z a w) w no es hija de x

( (x madre w) leer z a w)
Dominio
Jose tiene una sola madre
Jose tiene (muchos, algunos, tres) cuentos cuentos {a, bn}
Jose es una de las hijas de x X madre {j,m,}

Generalmente los predicados son usados para describir ciertas propiedades o relaciones entre
individuos u objetos.
Entidades conectadas
Los cuantificadores indican qu tan frecuentemente una cierta (dominio = contexto) afirmacin es
verdadera
El universo de discurso o dominio es la coleccin de personas, ideas, smbolos, estructuras de
datos, etc., que afecta el argumento lgico bajo consideracin.
Los elementos del universo de discurso se llaman individuos.
La veracidad de una afirmacin puede depender del dominio seleccionado.
Cada universo de discurso debe contener al menos un individuo (madre).

Jose

escucha

el

cuento

que

le

lee

la

madre