CLASES DE PROPOSICIONES LÓGICAS “Una proposición es aquel enunciado acerca del cual podemos decir que es verdadero o falso”
Definición de Proposición. Las proposiciones son expresiones que afirman o niegan algo; por lo tanto son verdaderas o falsas . Ejemplos: La luna es el satélite natural de la Tierra Los arácnidos no son insectos El lagarto es un mamífero.
No son proposiciones. Aquellas expresiones que no afirman ni niegan; por lo tanto no son ni verdaderas ni falsas. Ejemplos. ¡Retírate inmediatamente! ¿Existe la justicia? ¡Ay Dios mío! Desarrollo del Pensamiento
Proposiciones Atómicas o Simples. Son aquellas que no contienen ninguna otra proposición como parte constituyente Ejemplo. Llueve El hombre es un animal político. Desarrollo del Pensamiento
Proposiciones Moleculares o Compuestas. Contiene dentro suyo otras proposiciones. Ejemplos. Llueve y hace frío. Sí viene Juan; entonces Pedro se va. Desarrollo del Pensamiento
En conclusión El lenguaje de la lógica proposicional se limita a dos tipos de símbolos . 1.- Los que representan proposiciones. 2.- Los que representan a aquellas partículas que están destinadas a unir o a afectar proposiciones. Las proposiciones utilizan variables (llamadas letras) a partir de la p, q, r, s … A cada proposición le corresponde una variable (p y q); (r y s)… Desarrollo del Pensamiento
Términos de enlace o conectores. Desarrollo del Pensamiento SÍMBOLO LÓGICO SE LEE LENGUAJE USUAL SIMBOLIZACIÓN NEGACIÓN - no… No llueve - p CONJUNCIÓN . … y… Llueve y truena p . q DISYUNCIÓN INCLUSIVA V …o… Estaba triste o preocupado. p v q DISYUNCIÓN EXCLUSIVA w …o… Iremos al cine o al teatro (pero no a ambos lados) p w q CONDICIONAL ⊃ si… entonces… Sí llueve, entonces habrá cosecha P ⊃ q BICONDICIONAL ⇔ …sí y sólo si… Habrá cosecha, sí y sólo sí llueve p ⇔ q NEGACIÓN CONJUNTA ↓ ni… ni… Ni trabaja ni estudia p ↓ q IMCOMPATIBILIDAD ↑ no es cierto (a la vez) que…y… No es cierto que tenga 15 años y sea mayor de edad. p ↑ q
De modo que: Todas estas conectivas con excepción de la primera son binarias; es decir permiten unir entre sí dos proposiciones. Así, sí aplicamos la conjunción a dos proposiciones atómicas que afirmen: Descartes fue un gran filósofo Descartes fue un gran matemático Nueva proposición molecular Descartes fue un gran filósofo y un gran matemático. Desarrollo del Pensamiento
Bibliografía. Copi, I. y Cohen, C. (2.010). Introducción a la lógica. México: LIMUSA Desarrollo del Pensamiento