Ejercicios de Tablas de Verdad I

Resuelve los siguientes ejercicios de tablas de verdad, ¿Quién se atreve?

 

Las tablas de verdad es un método que se desarrolló gracias al trabajo de Charles Peirce y Ludbig Wittgenstein, tal y como se explica en el siguiente artículo:

http://digitalcommons.mcmaster.ca/cgi/viewcontent.cgi?article=1119&context=russelljournal.

Este método permite aislar todas las posibles combinaciones de valores de verdad dado un número limitado de variables proposicionales. Gracias al principio de bivalencia, que sostiene que todas las proposiciones son verdaderas o falsas, es viable elaborar una tabla donde podamos identificar todas las maneras en las que los valores de verdad de los elementos atómicos  puede relacionarse en una fórmula. ¿Quién se atreve con los siguientes ejercicios?

 

1. ( p v q ) → ( q v p )

2. [(p→q)∧(q→r)] → (p→ r)

3. [(p→¬q)∧(¬p→¬r)∧(¬r→s)]→s

4.[ (¬p v q) v (p ^q)] →[ (¬p v q) v ¬p ]

5.[ (p v ¬ q) → (p → q)] → [(¬p → q) v ¬p] v ¬p

6.(p ^ q → p v ¬r) → ¬(¬q v ¬r) ^ r

7.(¬p ^ q → p v r) ↔ ¬(¬q v ¬r) ^ r

8.(p v ¬q → p ^ r ) ↔ [ ¬(¬ q v ¬ r) v ( r → ¬ q) ]

9.(¬p ↔ q v ¬r) ∧ ¬(¬p ↔ q v ¬r)

 

Podéis consultar las soluciones de estas tablas de verdad dentro de Moodle de la academia lap o consultando directamente con el profesor en la etiqueta situada en la parte superior derecha de http://www.academialap.com. También puedes acceder a más ejercicios resueltos de tablas de verdad en http://www.academialap.com/Tablas_de_verdad_ejercicios_resueltos_I.html.

Otras páginas de interés para practicar ejercicios de tablas de verdad son las siguientes:

PRÁCTICA

http://auladefilosofia.net/2008/10/25/ejercicios-resueltos-de-tablas-de-verdad-y-formalizacion/

VIDEOS DE EJERCICIOS

http://www.youtube.com/watch?v=0MtHbYzlQNM

http://www.youtube.com/watch?v=pxXp1uErUAw

http://www.youtube.com/watch?v=uI4Lp9TAmCs

http://www.youtube.com/watch?v=jNhmDvHs3I4

TEORÍA

http://www.youtube.com/watch?v=4K5rBPZ5A-g

GENERADOR DE TABLAS DE VERDAD

http://ntic.educacion.es/w3/eos/MaterialesEducativos/mem2003/logica/logica/03tablasvdad/generadorfrset.html

Deja un comentario