Lógica

FILOSOFÍA 1º BACH SEMIPRESENCIAL

--Instrucciones:
Puede completar esta actividad usando cualquier procesador de texto (por ejemplo, el editor de ecuaciones de Word) y entregarlo mediante elcorreo interno de la plataforma.
Recomendamos guardarlo como documento PDF para evitar problemas con los signos. Un editor de textos científicos gratuito y fácil de usar e instalar es Lyx. Recomendamos suuso.
Aquellos que no deseen hacerlo de esta forma o tengan problemas con el editor pueden hacerlo a mano y escanearlo, o bien entregarlo en papel durante la hora de clase. En cualquiera de estoscasos, deben imprimir esta página y rellenar los datos del encabezado.

Actividades
1. Formalice las siguientes proposiciones:
a) Si no comes ni bebes te pondrás enfermo.
(¬pᴧ¬q) r
b) Juan esingeniero, pero no es cierto que sepa inglés y francés.
p¬(p ᴧ q)
p (¬pᴧ¬q)
c) Un número es primo si y solo si es divisible entre sí mismo y entre la unidad.
(p(q ᴧ r))
d) Si el asesino ha dejado unreguero de pistas y no se ha molestado en borrarlas, entonces no es cierto que es un tipo inteligente y conoce los métodos de la policía.
P ᴧ ¬q¬r ᴧ e
e) Si los vampiros no existen, o bien no letemen al ajo, sino que les deja indiferentes; entonces los transilvanos no deberían gastar su dinero inútilmente, salvo que el ajo les guste con desmesura.
((¬p ᴧ¬q)ᴧr¬pr)
2. Usando el método de tablasde verdad, diga de qué tipo es la siguiente fórmula:
(p (q r)) ((q ^ ¬r) ¬p)
* Consiste en un tipo de fórmula satisfactibles (o contigentes).

p | q | r | R(A) | qA (B) | pB(C) | Cq (D) |Dᴧ¬q (E) | E¬p(F) |
1 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 0 |
1 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 1 |
1 | 0 | 1 | 0 | 0 | 1 | 1 | 1 | 0 |
1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 1 |
0 | 1 | 1 | 1 | 1 | 0 | 0 | 1| 0 |
0 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 1 |
0 | 0 | 1 | 0 | 0 | 1 | 1 | 1 | 0 |
0 | 0 | 0 | 0 | 0 | 1 | 1 | 0 | 1 |

3. Compruebe si las siguientes fórmulas son equivalentes:
¬p˅qr...