COLEGIO PRIVADO MIXTO “APRENDE HACIENDO”

Champagnat DPCC – RAZ. LÓGICO

TRUJILLO

SESIÓN: N° 7

TABLAS DE VERDAD I

Las tablas de la verdad son una parte o un método más sencillo y conocido de la lógica formal, pero al
mismo tiempo también uno de los más poderosos y claro. Entender bien las tablas de la verdad es
una gran medida. Fundamentalmente una tabla de la verdad es un dispositivo para para demostrar cierta
propiedad lógica y semántica de enumeración del lenguaje o de fórmula de lenguaje. Con la información
presentada se quiere saber: ¿Cómo obtengo la matriz final de un esquema molecular?
ANTES DE RESPONDER, REVISA LA SIGUIENTE INFORMACIÓN BÁSICA:
Es un método que nos permite analizar 2 cosas:
1º Los Tipos de Fórmulas: en razón a su matriz o resultante final:
a) TAUTOLOGÍA: Si la resultante son puras verdaderas: VVVV, o, 1111
b) CONTRADICTORIA: Si la resultante son puras falsedades: FFFF, o, 0000
c) CONTINGENTE: Si la resultante es combinada o mixta: VFFF, VVFF, 1000, 1100, etc.
2º La relación con los circuitos Eléctricos: para lo cual tenemos que manejar el siguiente lenguaje:
a) Lámpara, foco, motor, aparato eléctrico ENCENDIDO = V
b) Lámpara, foco, motor, aparato eléctrico APAGADO = F
c) CORTOCIRCUITO = FFFF
d) INTERMITENCIA ELÉCTRICA = VFVF, o, FVFV

PRACTICA GUIADA

1. La matriz final de: D) 0100 E) 1010

[(𝑝 ∨ 𝑞) ∨ (−𝑝 ∨ 𝑞)] ∨ 𝑝 5. La matriz final de:
A) 0011 B) 1111 C) 0010 [−𝐴 ∧ (−𝐴 ∨ 𝐵)] ← −[𝐴 ∨ −(−𝐵 ∧ 𝐴)]
D) 0100 E) 1101 A) 1001 B) 1111 C) 0001
2. Al evaluar el siguiente esquema molecular: D) 1000 E) 0111
[(–p  –q)  (–q  –p)]  (p  q) 6. La matriz final de:
Podemos afirmar:
[(−𝑝 ∨ 𝑞) ∧ (−𝑟 → −𝑞)] → −(𝑝 ∧ −𝑟)
1. su resultado matricial es tautológico
2. es consistente A) 11110000 B) 10101010
3. es contradictorio C) 00010001 D) 11111111
4. su matriz principal es: 1111
E) 00110010
5. su matriz principal es: 1000
Son falaces: _______ 7. De las siguientes fórmulas proposicionales es
3. La matriz final de: una tautología:
[(𝑝 ↔ −𝑞) ↔ −𝑝] ↔ 𝑞
A) (𝑝 → 𝑞) ↔ (−𝑞 → −𝑝)
A) 1111 B) 1110 C) 0010
B) (𝑝 ∨ 𝑞) → (𝑝 ∧ 𝑞)
D) 0100 E) 0000
C) [𝑝 → (𝑝 → 𝑞) → 𝑞]
4. La matriz final de:
D) 𝑝 ↔ [𝑝 ∧ (𝑝 → 𝑞)]
[(𝑝 ∨ 𝑞) ∧ 𝑞] ∨ 𝑞
E) (𝑝 ∧ 𝑞) ∧ (𝑝 → −𝑞)
A) 0011 B) 1100 C) 0010

Pág.1