TIPOS DE ESQUEMAS MOLECULARES

TIPOS DE ESQUEMAS MOLECULARES

Según los valores de la matriz principal, los esquemas

moleculares son:

1. Tautología
Cuando los valores de verdad de la matriz princi-
pal resultan ser todos verdaderos.
Ejemplo:
Evaluar p → (p∨ q)

3. Contingente
Cuando en valores de verdad de la matriz prin-
cipal se obtiene al menos un valor verdadero y al
menos un valor falso.
Ejemplo:

Evaluar: p ∧ (p → q) ∨ ∼ p

2. Contradictorio
Cuando los valores de verdad de la matriz princi-
pal resultan ser todos falsos.
Ejemplo:

Evaluar: [(p∧ q) ↔ (q →� p)]

PRINCIPALES LEYES LÓGICAS

1. Idempotencia 3. Asociativa
p∧p ≡ p (p∨ q) ∨ r ≡ p∨ (q∨ r)

p∨ p ≡ p (p∧ q) ∧ r ≡ p∧ (q ∧ r)

2. Conmutativa 4. Distributiva
p∧q ≡ q ∧p p ∨ (q ∧ r) ≡ (p∨ q) ∧ (p∨ r)

p∨q ≡ q ∨ p p ∧ (q∨ r) ≡ (p∧ q) ∨ (p∧ r)

5. Ley de doble negación
∼ (∼ p) ≡ p
6. De De Morgan
∼ (p∨ q) ≡∼ p ∧ ∼ q
∼ (p∧ q) ≡∼ p ∨ ∼ q
7. De absorción
p ∨ (p∧ q) ≡ p
p ∧ (p∨ q) ≡ p
p ∨ (∼ p∧ q) ≡ p∨ q
p ∧ (∼ p∨ q) ≡ p∧ q
8. De la condicional
p → q ≡∼ p ∨ q
p → q ≡� q → � p
9. De la bicondicional
p ↔ q ≡ (p → q) ∧ (q → p)
p ↔ q ≡� (p ↔
/ q)
p ↔ q ≡� p ↔� q
Trabajando en clase
Integral
1. Según la definición dada, in-
dica qué tipo de esquema es
la siguiente proposición:
� p → (q∨ p)
2. Simplifica:
� (� (� (� (p∨ q))))
3. Según la definición dada, in-
dica qué tipo de esquema hay
en la siguiente preposición:
� (p ↔ q)∧ � (p → q)
10. Del complemento
p∨ � p ≡ V
p∧ � p ≡ F
11. De la identidad
p∨ V ≡ V
p∧V ≡ p
p∨F ≡ p
p∧F ≡ F
Circuitos lógicos
Un circuito lógico es la representación gráfica de
una o más proposiciones utilizando los esquemas
denominadas circuitos lógicos.
A. Circuito en serie
Está dado de la forma
B. Circuito en paralelo
Está dado de la forma
PUCP 5. Se tiene el circuito lógico
cuyo valor de verdad es ver-
4. Se tiene el siguiente circuito
dadero.
lógico cuyo valor de verdad
es verdadero.
¿Cuáles son los valores de p y
¿Cuáles son los valores de p y q, respectivamente?
q, respectivamente?
Resolución
6. Simplifica:
Del circuito lógico tenemos:
(p → q)∧ � p
Observamos:
7. Simplifica:
p≡V
q≡F (p∨ q) → (� p∧ q)
 UNMSM 10. Determina la negación de: “Si Resolución
Orlando estudia y saca bue- [(� p ∨ q) ∧ p] ∨ p"Simplificando
8. Simplifica: 
nas notas, entonces logrará p absorción"
[ p → (p ∧ � q)] → (� p∨ q) obtener la beca”.
Entonces:
Resolución:
p → (p∧ � q)" Del condicional " 11. Simplifica: [� (q↵p) → (p ∧ q)]↵(p↵q)
� p ∨ (p ∧ � p)" Absorción " [� q → (p ∧ q)]↵(p↵q) Condición
[(� p → q) ∧ (q → p)] ∧ � p
[q ∨ (p ∧ q)] ↵(p↵q)
(∼p ∧ ∼ q) q ↵p

Ahora: UNI q

(� p ∨ � q) → (� p ∨ q)" Del condicional " 12. Definimos el conector lógico

13. Definimos el conector lógico.
� (� p ∨ � q) ∨ (� p ∨ q)" De morgan " “ ”

(� p ∧ q) ∨ q ∨ V � p " Absorción " [ p ∧ q ]@[� (� p@q) → (q ∧ � p)]
∴q ∨ � p p q ≡ [(~p ∨ q) ∧ p] ∨ p

9. Simplifica: Simplificar: 14. La negación de:

“x es positivo ya que z es ne-
� (� p → q) → (q ∧ p) [~(q p)→(p ∧ q)] (p q) gativo” es: