Tablas de verdad

Vista previa del material en texto

Tablas de verdad 
 
1. Elabora las tablas de verdad para las proposiciones siguientes. 
2. Califica la tabla de verdad 
3. Para los argumentos expresados en los incisos b,d y e: 
● Exprésalos en forma argumental 
● Califica el argumento 
 
a) 
Calificación tabla: tautología 
 
 
b) 
Calificación tabla: Contingencia 
Calificación Argumento: Argumento Invalido 
 
Forma Argumental: 
(~p→ q) 
---------------- 
∴ ((p^~q) v r) 
 
c) 
Calificación tabla: Contradicción 
 
 
 
d) 
Calificación tabla: Tautología 
Calificación Argumento: Argumento Valido 
 
Forma Argumentativa: 
p→[~q V (r ^ S)] 
(p ^ ~S) 
------------- 
∴~q 
 
e) 
Calificación tabla: Contingencia 
Calificación Argumento: Argumento Invalido 
 
Forma Argumentativa: 
(~p ^ q) v (p v ~q) 
-------------- 
∴ [p → (q v r)] → (p → r) 
 
 
 
4. Cambia a forma proposicional los siguientes argumentos. 
5. Determina para cada uno, el número de combinaciones entre los valores de verdad de las 
proposiciones simples que lo integran (renglones), elabora la tabla de verdad, califica tabla y 
argumento. 
a) 
 
 
Forma Proposicional 
{[A ^ (B →C)] ^ (~C)} → (~B) 
Tabla de Verdad 
 
Calificación tabla: tautología 
Calificación Argumento: Valido 
 
b) 
 
 
Forma Proposicional 
{[E → (G v H)] ^ [ G → ( H → K)] ^ (~L)} → (~E v G) 
E=P G=Q H=R K→S L=T 
{[P →(Q v R)] ^ [ Q→ (R → S)] ^ (~T)} → (~P v Q) 
 
Calificación tabla: Contingencia 
Calificación Argumento: Invalido 
 
c) 
 
 
{ [(P→Q) ^ [P → (Q → R)] ^ [Q →(R →S) ] }→ ( P → S) 
 
Calificación tabla: tautología 
Calificación Argumento: Valido