UNIVERSIDAD TECNOLÓGICA DE LOS ANDES

FACULTAD DE CIENCIAS JURICAS, CONTABLES Y SOCIALES

Asignatura: Matemática Básica – Docente: Mg. Oscar Juro Enciso
……………………………………………………………………………………………………………

………………………………………………………………………………………… EVALUACION DE

ESQUEMAS MOLECULARES

Evaluación de esquemas moleculares. Consiste en CONTRADICCIÓN:

obtener el valor o los valores del conjunto lógico Es toda proposición cuyo valor de verdad es
de mayor jerarquía a partir de los valores siempre falso (F), para cualquier combinación de
veritativos de cada uno de las variables los valores de verdad de sus componentes. Se le
proposicionales. denota por “F”.

Ejemplo: Ejemplo:

CONTINGENCIA:
TAUTOLOGÍA CONTRACCIÓN Y CONTINGENCIA
TAUTOLOGÍA:
Es toda proposición cuyo valor de verdad es
siempre verdadero (V), para cualquier
combinación de los valores de verdad de sus
componentes. Se le denota por “V”.

Ejemplo:

Es toda proposición lógica cuyo valor de verdad

tiene al menos un verdadero (V) y un falso (F).

Ejemplo:
 de verdad equivalentes (iguales) siendo posible
el uso de una de ellas por la otra, y se denota
�� ≡ �� Ejemplo.
��: (�� → ��)
��: ~�� → ~��

IMPLICACIÓN LÓGICA

Es aquella condicional que resulta de ser una

tautología y se denota �� ⇒ �� y se lee “p
implica a q”.

Problemas
Ejemplo:
01. Hallar la tabla de verdad de:
(~�� ∨ ��) ↔ (�� ∧ ~��)

02. Evaluar el siguiente esquema molecular y

diga cuantas verdaderas tiene el resultado
[~�� → ~ (�� ∧ ��)] ∆ [(�� → ~��) ∨
��]

03. Indicar la tautología de los siguientes

enunciados:
a) [�� ∧ (�� → ��)] → ��
b) (~�� ∧ ~��) → (�� ∨ ��)
c) (�� ∨ ��) → (�� ∧ ��)
EQUIVALENCIA LÓGICA
Es aquella bicondicional que resulta ser una 04. La inferencia: “si juan ha estudiado, entonces
tautología y se denota: �� ⟺ �� aprobara el examen. Como juan no ha
Ejemplo: estudiado, tenemos que admitir que no
aprobara el examen”, evaluar si la inferencia
es válida.

05. Si se sabe que: �� ⋕ �� ≡ [(�� ∧ ��) →

��]; evaluar el esquema:
�� ≡ [(�� → ��) ⋕ (�� ∧ ~��) ↔ (�� ⋕
��)]

06. Determinar la valides de la inferencia: “si el

triángulo es isósceles entonces tiene dos lados
iguales. Pero, el triángulo no tiene dos lados
iguales; por lo tanto, no es isósceles”.
PROPOSICIONES LOGICAMENTE
EQUIVALENTES Son aquellas que poseen tablas LEYES DEL ÁLGEBRA PROPOSICIONAL
 *De Idempotencia: 01. Simplificar las siguientes proposiciones
p∨p ≡p aplicando las leyes:
p∧p ≡p a) ~{[~�� ∨ ~��] ∨ ~��}
*Conmutativa: b) [~�� ∨ ��] ∨ [~�� ∨ ~��]
p∨q ≡q∨p c) (�� ∨ ~��) ∧ [�� ∧ (�� ∨ ��)]
p∧q ≡q∧p d) ~ [(p ∨ p) ↔ p]
p↔q ≡q↔p e) [(p ∨ ~q) ∧ q] → p
*Asociativa:
p∧(q∧r) ≡(p∧q)∧r 02. ¿Cuáles de las siguientes proposiciones son
p∨(q∨r) ≡(p∨q)∨r lógicamente equivalentes entre sí?
p↔(q↔r) ≡(p↔q)↔r a) (∼ �� ∨ ��) ∨ (∼ �� ∧ ~��)
*Distributiva: b) �� ∧ (�� → ��)
p∧(q∨r) ≡(p∧q)∨(p∧r) c) ~�� → ~��
p∨(q∧r) ≡(p∨q)∧(p∨r)
p→(q∧r) ≡(p→q)∧(p→r) 03.Reducir a su mínima expresión:
p→(q∨r) ≡(p→q)∨(p→r) ∼ [∼ (�� ∧ ��) →∼ ��] ∨ ��
*De Morgan:
(p∧q) ≡ p∨ q 04. Simplificar:
(p∨q) ≡ p∧ q �� = [(∼ �� ∨ ��) → (~�� ∨ ��)] ∧∼ (�� ∧
*Absorción: ��)
p∧(p∨q) ≡p 05.Al simplificar:
p∨(p∧q) ≡p [(∼ �� →∼ ��) ∧∼ (∼ �� → ~��)] ∨
p∧( p∨q) ≡p∧q (�� → ~��) Se tiene:
p∨( p∧q) ≡p∨q
*Involución (doble negación): 06.Determinar, si es posible, el valor de verdad de
( p) ≡p las siguientes proposiciones:
*Condicional: a) (�� ∨ ��) → �� si �� → �� es falso b)
p→q ≡ p∨q �� ∨ (�� ↔ ��) si �� → �� es verdad c)
(p→q) ≡p∧ q [(�� ∨ ��) ∧ ~��] → �� si �� es verdad y
p→q ≡ q→ p ~�� es verdad
*Bicondicional:
p↔q ≡(p→q) ∧(q→p) 07. La proposición [ ((~��) ∨ ��) ∧ ~�� ] →
p↔q ≡(p∧q) ∨( p∧ q) ~�� es una Tautología
p↔q ≡ (pΔq)
*De Complemento:
p∨ ≡V
p
p∧ p ≡F
*De Identidad:
p∧V ≡p
p∨V ≡V
p∧F ≡F
p∨F ≡p
*Leyes Lógicas Adicionales:
pΔq ≡(p∧ q) ∨(q∧ p)
pΔq ≡(p∨q) ∧( p∨ q)

EJERCICIOS