Documentos de Académico
Documentos de Profesional
Documentos de Cultura
RAZONAMIENTO MATEMÁTICO
ESQUEMAS MOLECULARES
Universidad Nacional
Federico Villarreal FACULTAD DE CIENCIAS
NATURALES Y MATEMÁTICA
ESQUEMAS MOLECULARES
Un esquema molecular es un conjunto de proposiciones simples unidas
por conectivos lógicos.
E1: [ (p → q) ~q ] ~ p
E2: ~ [ (p q) (p r) ]
Nota: Signos de conexión son las llaves, los corchetes, los paréntesis.
Observación: La fórmula de combinación de las proposición es:
Nº= 2n,
donde n es el número de proposiciones del esquema.
Universidad Nacional
Federico Villarreal FACULTAD DE CIENCIAS
NATURALES Y MATEMÁTICA
EJEMPLO: Evaluar: p ⋀ (p ∨ q)
p q p ⋀ (p V q)
1 1 1 1 1
1 0 1 1 1
0 1 0 0 1
0 0 0 0 0
Matriz principal
Universidad Nacional
Federico Villarreal FACULTAD DE CIENCIAS
NATURALES Y MATEMÁTICA
Matriz principal
Matriz principal
Universidad Nacional
Federico Villarreal FACULTAD DE CIENCIAS
NATURALES Y MATEMÁTICA
ACTIVIDADES I
Siendo
p: Tengo trabajo
q: Trabajo
r: Voy al cine
S: Voy de compras
Simbolizar
1) No trabajo entonces no voy al cine
2) Si tengo dinero voy al cine y es porque trabajo
3) Si trabajo tengo dinero pero no voy al cine
4) Trabajo pero o no voy al o no voy de compras
5) Voy al cine o de Compras pero si trabajo
Universidad Nacional
Federico Villarreal FACULTAD DE CIENCIAS
NATURALES Y MATEMÁTICA
ACTIVIDADES II
I. ELABORE 2 ESQUEMAS MOLECULARES DE CADA TIPO
a) (∼p → q) (p v q)
b) (p v q) ∼p
c) (p q) → (p q)
Universidad Nacional
Federico Villarreal FACULTAD DE CIENCIAS
NATURALES Y MATEMÁTICA
REFERENCIA BIBLIOGRÁFICA
https://es.wikiversity.org/wiki/L%C3%B3gica_proposicional/Equivalencias