Identificar todas las expresiones queconsidera son proposiciones lógicas simples y las que no son proposiciones
Identificar todas las expresiones que considera son proposiciones lógicas simples y también las expresiones que no son proposiciones. El siguiente paso es identificar proposiciones compuestas. Para lograr esta identificación, conviene reescribir el texto resaltando los conectivos lógicos que no están explícitos en la expresión. Declarar las proposiciones simples, asignando una de las últimas letras del alfabeto para identificarlas. Finalmente, expresar en lenguaje simbólico las proposiciones simples, compuestas identificadas; y construir sus tablas de verdad. Determinar si la tabla de verdad es tautología, contradicción o contingencia. Además adjuntar pantallaso del uso del simulador de Tablas de Verdad.
Ejercicio
Si el perrito, el gato y el caballo, como mascotas son abandonados, entonces son acogidos por la Protectora. Pero el perrito es abandonado, también el caballo. Luego, tanto el perrito como el caballo son acogidos por la Protectora.