Post on 11-Feb-2018
7/23/2019 Lgica Cuntificacional
1/5
Lgica Cuantifcacional
7/23/2019 Lgica Cuntificacional
2/5
Limitacin de la lgicaproposicional
Muchos argumentos que sonintuitivamente son vlidos, no lo sonen la lgica proposicional.
Ejemplo:Todos los flsoos son e!c"ntricos.#crates es flsoo. $or tanto,
#crates es e!c"ntrico. Este argumento es invlido en la
lgica proposicional, pero
intuitivamente es vlido.
7/23/2019 Lgica Cuntificacional
3/5
Lgica de predicados
%om&re:Ejemplos: '#crates(, 'Mercurio(,'$er)(
$redicados:Ejemplos: '*. ue el maestro de$latn(, '* es el planeta ms
peque+o del #istema #olar(, '* esun pas de #udam"rica(.
7/23/2019 Lgica Cuntificacional
4/5
Componentes de la LgicaCuantifcacional
Constante individual: Ejemplos-s #crates, m Mercurio, p $er).
/racin #ingular:
#crates es e!c"ntrico 0aria&le individual: !,1,2. 3epende a que
tipo de dominio se refere el predicado.
Letra $redicativa:4 es rojo.$ es peruano
7/23/2019 Lgica Cuntificacional
5/5
Simbolizando
Los predicados pueden entenderse :
* es rojo ! es rojo 4!* es peruano ! es peruano $!
$ara sim&oli2ar necesitamos unl"!ico:
m man2ana 4! ! es rojo.
La oracin ms simple es lacomposicin de una letra predicativa1 un nom&re.
4m La man2ana es ro a.