Академический Документы
Профессиональный Документы
Культура Документы
Proposicin
Todo x es rojo (x) Rx
Ningn x es rojo (x) ~Rx
Algn x es rojo (x) Rx
Algn x no es rojo (x) ~Rx
Intercambio de cuantificadores (IC)
Equivalencia Ejemplo
(x) Fx ~(x) ~Fx Todos los celulares son funcionales
equivale a es falso que algunos celulares no
son funcionales.
(x) Fx ~(x) ~Fx Algunos celulares son funcionales equivale
a es falso que ningn celular es funcional.
(x) ~Fx ~(x) Fx Ningn celular es funcional equivale a es
falso que algunos celulares son funcionales.
(x) ~Fx ~(x) Fx Algunos celulares no son funcionales
equivale a Es falso que todos los celulares
son funcionales.
Reglas de proposiciones
contradictorias
Expresin Contradiccin
(x) (Fx Gx) (x) (Fx Gx)
(x) (Fx Gx) (x) (Fx Gx)
Formalizacin de
proposiciones complejas
Despus de hacer la representacin funcional de las
proposiciones atmicas se pueden emplear los
operadores (conectivas) de la lgica proposicional.
Ejemplo:
Si la seleccin juega bien, entonces el pblico est contento
Bs Cp
Bs Cp
Ejercicios
Escriba el equivalente de las siguientes frmulas
aplicando las reglas de intercambio de
cuantificadores:
~(x) (Fx Gx)
(x) ~Fx
~(x) (Fx Gx)
~(x) [(Fx Gx) ( Fx Hx)]
Ejercicios
Escriba el equivalente aplicando las reglas de las
proposiciones contradictorias.
Ningn hombre es inmortal.
Algunos artistas no son pintores.
Cada uno de los seleccionados no es
saprisista.
Muchos apolticos son insensatos.
Formalizacin de
proposiciones categricas
La proposicin categrica es un enunciado que
relaciona dos categoras o clases, las cuales se
colocan en una relacin de sujeto-predicado.
Algo es predicado (o dicho) acerca de un sujeto, por
tanto, la clase del sujeto estar incluida o excluida
de la clase del predicado. Los 4 tipos que hay son:
Proposicin universal afirmativa (A)
Proposicin universal negativa (E)
Proposicin particular afirmativa (I)
Proposicin particular negativa (O)
Proposicin universal afirmativa (A)
La proposicin:
Todos los ticos son pura vida
Se representa funcionalmente como:
Para todo x, si x es tico, entonces x es pura vida
(x) Tx Px
Equivalencias
(x) (Fx Gx) ~(x) (Fx Gx)
(x) (Fx Gx) ~(x) (Fx Gx)
(x) (Fx Gx) ~(x) (Fx Gx)
(x) (Fx ~Gx) ~(x) (Fx Gx)
Silogismo categrico
Un silogismo categrico es un 1. El predicado se llama
tipo de inferencia que consta de trmino mayor y se
tres proposiciones categricas y representa con P.
de tres trminos. 2. El sujeto se llama trmino
menor y se representa con S.
Las primeras dos son las premisas 3. El trmino que no aparece
y la ltima es la conclusin. en la conclusin se llama
trmino medio, y se
La conclusin de un silogismo es representa con M.
una proposicin categrica que
contiene dos de sus tres La premisa que tiene el trmino
trminos. mayor se llama premisa mayor.
La premisa que tiene el trmino
menor se llama premisa menor.
Figuras y modos del
silogismo categrico
Primera Segunda Tercera Cuarta
Proposiciones
figura figura figura figura
Premisa mayor MP PM MP PM
Premisa menor SM SM MS MS
Conclusin SP SP SP SP
1. AAA 2. EAE 3. IAI 4. AEE
1. EAE 2. AEE 3. AII 4. IAI
Modos vlidos
1. AII 2. EIO 3. OAO 4. EIO
1. EIO 2. AOO 3. EIO
Comprobacin por mtodo analgico
Ningn tringulo es circular (E )
M P
Algunos tringulos son figuras (I)
M S
--------------------------------------------------------------
Por tanto, algunas figuras no son circulares (O)
S P
Este silogismo categrico es vlido segn la tercera figura.