1º Bach - Ejercicios de lógica 1 (corregido ya el error)

Ejercicios 1: Realiza las tablas de verdad de las siguientes fórmulas.

•  ((aVb)Vc)→((aᴧc)→a)
•  ((bᴧa)ᴧc) V ((aᴧb)V→a))

Ejercicio 2:  Demuestrame "a→c" por deducción natural, y de dos maneras diferentes, teniendo estas premisas:

1. ┐(┐aᴧ┐b)

2. a→b

3. b→c

Ejercicios 3: teniendo las siguientes premisas demuestra por deducción natural "a→j".

1. a→b

2. b→(cVd)

3. c→(eVf)

4. d→(gVh)

5. g→┐(┐iᴧ┐j)

Ejercicio 4: utilizando el teorema de deducción demuestra "(p ᴧ r) → t". Tienes las siguientes premisas con las que operar.

1. p→q

2. r→s

3. (sᴧq)→t

Ejercicio 5: utilizando el teorema de deducción demuestra "(pᴧr)→s". Tienes las siguientes premisas con las que operar.

1. p→q

2. q→(r→t)

3. t→s

Ejercicio 6: utilizando el teorema de deducción demuestra "p→r". Tienes las siguientes premisas con las que operar:

1. p→(qᴧ┐┐r)

Ejercicio 7:  utilizando el teorema de deducción demuestra "p→┐(p→t)". Tienes las siguientes premisas con las que operar

1. p→(rᴧs)

2.sᴧt

3.t→┐(p→t)