Programación. Lógica Proposicional - Eejercicios

 

Asignatura: Programación I

Curso: 4° Informática

Profesora: Evangelina Rivero -  e-mail: evange_rivero@hotmail.com

Lógica Proposicional: ejercicios

Actividades:

1) Resolver los siguientes ejercicios de lógica proposicional

Convenciones simbólicas: 

        - p: en los polos el frío es intenso 

        - q: los planetas giran en torno al sol

 Formalización:   

                            p → q

Convenciones simbólicas: 

        - p: los herbívoros corren 

        - q: el frío en los polos es intenso 

        - r: los planetas giran en torno al sol

 Formalización: 

                        p ∨ q → r

Convenciones simbólicas: 

        - p: Aristóteles nació en Estagira 

        - q: Aristóteles fue tutor de Alejandro Magno 

        - r: Aristóteles era macedonio por su nacimiento

 Formalización:

                 (p ∧ q) ∧ (p → r) → r

Posibles respuestas

En los polos el frío es intenso únicamente si los planetas giran en torno al sol

Siempre que los herbívoros corren o el frío en los polos es intenso, los planetas giran en torno al sol.

Si es cierto que Aristóteles nació en Estagira y que fue tutor de Alejandro Magno y, además, que si nació en Estagira era macedonio por su nacimiento, entonces era efectivamente macedonio.