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.