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