Beruflich Dokumente
Kultur Dokumente
CUANTIFICADORES
UNIVERSALES: Afirmativos: Toda(o). Todas(os).
Todas la mujeres son filsofas. (universal afirmativa) sEp: Ningn filsofo es boxeador. (universal negativa) sIp: Algunos mamferos son bellos. (particular afirmativa) sOp: Algunas rolas no son buenas. (particular negativa)
Ejercicio 1
Reformular
con cuantificadores: 2. Cualquier persona que pague puede pasar. 4. Vinieron pocos invitados. 6. Nada me parece bello. 7. La mayor parte de la gente se abstuvo de votar.
EL CUADRADO
sAp sEp
sIp
sOp
PROPOSICIONES CATEGORICAS
sAp sEp sIp sOp
INFERENCIAS
MEDIATAS:
LA OBVERSION
REGLA (1) pasar a la letra (sub)contraria (2) negar la letra del predicado
sOp = sI~p
CONVERSIN SIMPLE
CON sEp: sEp = pEs. Ej.: ningn terrcola es marciano = ningn marciano es terrcola.
CON sIp: sIp = pIs. Ej.: algunos cantantes son mexicanos = algunos mexicanos son cantantes.
EQUIVALENCIAS
sAp sEp sIp
= sE~p = ~pEs = ~pA~s = sA~p = pEs = pA~s = sO~p = pIs = pO~s = sI~p = ~pIs = ~pO~s
sOp
sIp pIs
sO~p pO~s
sOp ~pO~s
sI~p ~pIs
NEGACION DE LA CONTRADICTORIA
No todos* = Algunos no No es cierto que ninguno = Algunos No es cierto que algunos = Ninguno No es cierto que algunos no = Todos
DOBLES NEGATIVOS 1
~(sA~p)
(no todos los hombres son infieles) = sO~p (algunos hombres no son infieles) = sIp (algunos hombres son fieles). (no es cierto que ningn hijo es ingrato) = sI~p (algunos hijos son ingratos) = sOp.
~(sE~p)
DOBLES NEGATIVOS 2
~(sI~p) (no es cierto que algunos gobernantes no roban) = sE~p (*ningn gobernante no roba) = sAp (todos los gobernantes roban). ~(sO~p) (No es cierto que algunos torturadores no son inclementes) = sA~p (todos los torturadores son inclementes) = sEp (ningn torturador es clemente).
No No No No
todos los que se adelanten sern registrados = algunos que se adelanten no sern registrados. O sea, ~(sAp) = sOp.
Todos
los que se adelanten no sern registrados = Ninguno que se adelante ser registrado. O sea, sA~p = sEp.*
es cierto que ningn soldado sea inteligente = algunos soldados son inteligentes. O sea, ~(sEp) = sIp.
*Ningn
soldado es no inteligente = todos los soldados son inteligentes. O sea, sE~p = sAp.
es cierto que algunos astronautas sean alcohlicos = ningn astronauta es alcohlico. O sea, ~(sIp) = sEp.
Algunos
astronautas son no alcohlicos = Algunos astronautas no son alcohlicos. O sea, sI~p = sOp.*
es cierto que algunos lderes no son valientes = todos los lderes son valientes. O sea, ~(sOp) = sAp.
*Algunos
lderes no son no valientes = algunos lderes son valientes. O sea, sO~p = sIp.*
RESUMIENDO
AL NEGAR EXTERNAMENTE, SE OBTIENE LA CONTRADICTORIA AL NEGAR INTERNAMENTE, SE OBTIENE LA (SUB)CONTRARIA A no es no B = A es B No(A es B)A no es B A no es B =A es no B*
Ejercicio 2
Usa
4. No es cierto que nadie quiere sufrir. 6. No es cierto que alguien rob el banco. 7. Algunos prestamistas son desinteresados. 10. No hay mal que por bien no venga.
Ejercicio 3
Di si son: contradictorias, (sub)contrarias, equivalentes, inversas, compatibles, y dnde hay implicacin. 1. No todos los tenores son cantantes excepcionales / El tenor Plcido Domingo es un cantante excepcional. 4. Todos los perros son canes / Todos los canes son perros. 5. Algunos pacifistas son militares / Ningn militar es pacifista.
Ejercicio 3 (cont.)
10. Ninguna persona es totalmente virtuosa / Algunas personas no son totalmente virtuosas. Ejercicio 4: 3. Todas las ballenas son mamferos / Ningn pez es mamfero. 7. Todos los torturadores son inmorales / No es cierto que algunos torturadores son inmorales. 8. Nngn felino tiene plumas /El gato que adoptar no tiene plumas.
Ejercicio 5 (cont.)
Si
6. Todos los ros son caudalosos. (a) ningn ro es caudaloso, (b) algunos ros son caudalosos, (c) algunos ros no son caudalosos. 8. Algunas personas son clonadas. (a) Ninguna persona es clonada, (b) Todas las personas son clonadas, (c) Algunas personas no son clonadas.
Ejercicio 6 (cont.)
6. Si algunos funcionarios no son corruptos es F, qu valores V F i tienen?: (a) todos los funcionarios son corruptos, (b) algunos funcionarios son corruptos. Si todas las mujeres son miedosas es F, qu valores V F i tienen?: (a) ninguna mujer es miedosa, (b) algunas mujeres no son miedosas.
Para probar que todos los A son B, hay que probar que cada miembro de A es B. Para probar que ningn A es B, hay que probar que cada miembro de A no es B. Para probar que algn A es B, basta encontrar un caso de A que sea B. Para probar qe algn A no es B, basta probar que un caso de A no es B.
Para refutar que algunos A son B, hay que probar que ningn A es B. Para refutar que algunos A no son B, hay que probar que todos los A son B.
PRUEBAS Y REFUTACIONES
Para
probar las universales, hay que ir caso por caso. Para probar las particulares, basta un caso. Para refutar las universales, basta un caso. Para refutar las particulares, hay que ir caso por caso.
RESUMIENDO
Es ms fcil probar las particulares. Es ms fcil refutar las universales. Es ms difcil refutar las particulares. Es ms difcil probar las universales.
Cuantificacional.
Modal. Dentica. Temporal. Probabilstica. Epistmica.
CUADRADOS ISOMORFICOS
Arist. sAp sEp sIp sOp Cuan tif. (x) (x)~ Ex Ex~ Mod. p ~p p ~p Dent Temp Op O~p Pp P~p Sp S~p Vp V~p Prob. Cp C~p Pp P~p Epist. aKp aK~p aBp aB~p
a la izquierda. a la derecha.
el caso.
= ~~ = ~ ~ ~ = ~ ~= ~
, todos no , ninguno, nadie, nada , necesario que no, imposible , obligatorio que no, prohibido
Pero:
~O~
~O
~sI~p
~sO~p
EQUIVALENCIAS
~sA~p ~sE~p ~sI~p
= ~sEp = pE~s = pAs = ~sAp = ~pE~s = ~pAs = ~sOp = ~pI~s = ~pOs = ~sIp = pI~s = pOs
~sO~p
EL CUBO DE OPOSICION
~sA~p sAp ~sI~p ~sO~p ~sE~p sEp
sIp
sOp