INTRODUCCION A LA LOGICA II

Qu es una Proposicin Lgica?

Enunciados aseverativos Leyes cientficas Frmulas matemticas Frmulas lgicas Enunciados cerrados

Supersticiones Dudas, splicas, deseos, rdenes Refranes, proverbios Enunciados exclamativos Creencias religiosas Enunciados interrogativos Apreciaciones Personajes ficticios, absurdos.

TIPOS DE PROPOSICIONES

Es la que no contiene ningn conectivo lgico. Se simboliza con letras minsculas ( p,q,r,s,t)

Es la que contiene al menos un conectivo lgico. y, o, entonces , si solo si Se simboliza con letras minisculas

Simples o atmicas
Predicativas: Si al sujeto se le atribuye alguna cualidad o descripcin. Ejemplo: p= Csar Vallejo escribi Paco Yunque q =El Lago Titicaca es el ms alto del mundo. Relacionales: Constan de dos o ms sujetos vinculados entre s. Ejemplo: P = 11 y 13 son primos entre si. q = Los felinos son ms carnvoros que los primates.

Compuestas

p =Lima es la capital del Per y Bogot de Colombia. q =Es falso que Juan estudie matemtica.

OPERADOR

SMBOLO

TRMINO REPRESENTATIVO

ALGUNAS EXPRESIONES EQUIVALENTES

1. Negacin 2. Conjuncin

~ D

no y o .. O Si.entonces

3. Disyuncin a) Inclusiva o dbil b) Exclusiva o fuerte 4. condicional

No es cierto que . Es falso que. ..as como . ..pero . ..tambin . ..y/o . ..o bien . ..o slo . .salvo que nicamente ..implica . ..en consecuencia . ..luego . ..slo si. ..dado que. . siempre que ..equivale a . ..siempre y cuando.

5. Replicador
6. Biicondicional

.si.
si y solo si .

Identificar proposiciones simples y asignarles variables en orden alfabtico.

Identificar los conectores lgicos.

Reemplazar las proposiciones simples por sus respectivas variables.

Escribir la frmula lgica.