Esquemas Moleculares, Equivalencia e Implicancia

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 4

Evaluación de Esquemas Moleculares

Por medio de tablas de verdad consiste en calcular los valores


de verdad del operador principal a partir de las proposiciones
elementales o atómicas, este resultado equivale a determinar el
valor del conectivo lógico de mayor jerarquía.
Estos valores determinados pueden ser:
Tautología(T).- Si los valores de verdad son todos verdaderos.
Contradicción.- Si los valores de verdad son todos falsos.
Consistencia.- Si los valores de verdad resultante contiene por
lo menos un verdadero y un falso.

Equivalencia e Implicancia
Equivalencia.- Dos esquemas moleculares A y B son
equivalentes si A B es una tautología, es decir:
A≡B V A B = T
Implicancia.- Se dice que el esquema molecular A implica B,
unidas por el condicional “ ” resulta una tautología.
A implica B V A B = T
Ejemplo 1: Sean los esquemas moleculares:
A: 𝑝˅𝑞 → 𝑟˄𝑞
B: 𝑞↔𝑟
Determinar si A implica B

𝑝 𝑞 𝑟 [ 𝑝 ˅ 𝑞 → 𝑟 ˄ 𝑞 ] 𝑞↔𝑟
V V V F F
V V F V V
V F V F F
V F F V F
F V V F F
F V F V V
F F V F F
F F F V F

La expresión 𝑝˅𝑞 → 𝑟˄𝑞 𝑞 ↔ 𝑟 es una contingencia


Por lo tanto A no implica B.
Ejemplo 2: Sean los esquemas moleculares:
A: 𝑝˅𝑞
B: 𝑝 ˄
Determinar: A ≡ B

𝑝 𝑞 𝑝 ˅ 𝑞 𝑝 ˄
V V V F F
V F V F V
F V V V F
F F F V V

La expresión 𝑝˅𝑞 𝑝 ˄ 𝑞 es una tautología


Por lo tanto A ≡ B.
Ejemplo 3: Evalúa el valor de verdad del siguiente esquema
molecular:
𝑝 → 𝑞 ˅ ~𝑞 ˄ 𝑟 ↔ 𝑟 → 𝑞
𝑝 𝑞 𝑟 𝑝 → 𝑞 ˅ ~𝑞 ˄ 𝑟 𝑟→𝑞
V V V V F F
V V F V F F
V F V F V V
V F F F V F
F V V V F F
F V F V F F
F F V V V V
F F F V V F

El esquema molecular 𝑝 → 𝑞 ˅ ~𝑞 ˄ 𝑟 ↔ 𝑟→𝑞 es una


contingencia
Por lo tanto A ≢ B.

También podría gustarte