Tablas de verdad
Aplica tablas de verdad para comprobar si los razonamientos son tautologías (siempre válidos), contingentes (válidos algunas veces y otras no) o contradiciones (nunca válidos)
Caso 1
Demuestra mediante tablas de verdad si un argumento con esta forma (p Λ q) → (q V p) es tautología o no
Caso 2
Imaginemos que una persona que sufre migraña descubre que siempre que toma chocolate padece dolores de cabeza; tras una breve reflexión llega a la conclusión siguiente: Si no tomo chocolate, no me dolerá la cabeza. Podríamos formalizarlo así
p = comer chocolate
q = sufrir dolores de cabeza
- Las premisa sería: (p → q)
- Y la conclusión: (┐p→ ┐q)
El argumento sería éste (p → q) → (┐p→ ┐q): Si al tomar chocolate me duele la cabeza, entonces al no tomarlo no me dolerá.
Veamos la tabla de verdad:
Caso 3
Pongamos otro razonamiento:
Siempre que tiene encendido ordenador está conectado al chat, así que su ordenador está apagado o está conectado al chat
Procedamos a formalizar el argumento:
- p = tener encendido el ordenador.
- q = estar conectado al chat.
La premisa sería: (p → q)
Y la conclusión: (┐p V q)
Tendríamos la siguiente forma: (p → q) → (┐p V q)
Caso 4 - Modus Ponens
Comprueba mediante una tabla de verdad si esta forma lógica es una argumentación válida: [(p → q) Λ p] → q
Caso 5 - Modus Tollens
Comprueba mediante una tabla de verdad si esta forma lógica es una argumentación válida: [(p → q) Λ ┐q] → ┐p
Caso 6 - Leyes de De Morgan
Comprueba mediante una tabla de verdad si esta forma lógica es una argumentación válida: ┐ (p V q) → (┐p Λ ┐q)