TAREA N° 02 TABLAS DE VERDAD

TAREA N° 02
1. Comprobar por tablas de verdad si la siguiente formula es o no
tautológica. (p → q ˄¬q) → ¬p

v
v
v
f
v
f
v
f
v
f
v
v
f
v
No es
f
f
v
v
v
f
v
f
v
f
f
v
f
v
tautológica
2. Comprobar por tablas de verdad si la siguiente formula es o no contingente: (p v
q) ˄ (¬q → p)

v
v
v
v
v
f
v
v
f
f
v
v
v
f
Si es
f
f
v
f
v
f
v
f
v
v
v
f
v
v
contingente
3. Comprobar por tablas de verdad si es o no valido el siguiente esquema argumentativo p →
q⊨pvq→ q

v v v v v v v v No es valido
v f f v v v f V
f v v f v f v v
El esquema
f v f f v f v f argumentativo
4. Comprobar por tablas de verdad si las formulas siguientes son o no
equivalentes: (p → q) → q ⫤ ⊨ p v q

v v v v v v v V
v f f v f v v f No son
f v v v v f v v
f f f v f f f f
equivalentes
5. Dadas las proposiciones:
p: la lógica formal no estudia la validez del razonamiento.
q: la lógica es una ciencia formal
r: los refranes son considerados proposiciones lógicas.
Analizamos el valor de verdad de la siguiente formula:

[r △ (p v q) ] → ¬ (p ˄ r)

v f v v v v v v V
v f v v f v v f f
f v f v v v f f V tautológica
f f f f f v f f f

6. Dadas las proposiciones:

p: las proposiciones compuestas carecen de conectores lógicos.
q: “Ollanta y Nadine son esposos” es una proposición
compuesta. r: (p v q) ] → ¬ (r ↔ ¬q) es una formula implicativa.
S: “Quispe es el brigadier del salón” no es una proposición lógica
Analizamos el valor de verdad de la siguiente formula.
Determinar el valor de verdad de los siguientes esquemas

Alumno PNP Robert Jose Fernandez Vasquez N° de orden 40

 a. (p △ ¬q) ↔¬ (r ˄ q)

v v f F v v V
V F v F v f f
F f f F f f V contingente
F V V v f f f

b. ¬(s←r) ˄ [q △ (¬p v s ) ]

v v v f v f V
v v f f v V F
f f v v f v V
contingente
f v f f f v v

7. Determina si las siguientes formulas son válidas por el criterio de

post a. [ (p → q) ˄ (p → r) ] → ( r → q)

v v v v v v v v v f v
V f f f v f f v v f f
v f f v f v v v f v v tautológica
f v f f f f f v f v f