Documentos de Académico
Documentos de Profesional
Documentos de Cultura
RM 01 - Verdad Formal
RM 01 - Verdad Formal
Esto significa que no puede ser cierto que una proposición se 2. Contradictorio: Cuando los valores de la matriz principal resultan
acepte simultáneamente con su contrario. ser todos falsos.
* Negación (~):
EJERCICIOS DE CLASE
p ~p
V F
Hallar la matriz principal de los siguientes esquemas moleculares y
B.2. Conectores lógicos: Tabla de valores clasifícalos según el tipo de matriz que poseen.
A) ( p ∧ q ) → p B) p v ( p ← q)
pq ∆ → ↔ ↓ /
VV V V F V V V F F
VF F V V F V F F V
FV F V V V F F F V
FF F F F V V V V V
CICLO SEMILLERO
C) (~p ← q ) ∨ p D) p ∧ ( p → ~q)
TAREA DOMICILIARIA
Encuentra la matriz principal de cada esquema
molecular y clasifica cada una de ellas de acuerdo al tipo de matriz
que presenta (Contingencia, Tautología o Contradicción)
A) ( ~p ∧ q ) ↓ ~q B) (p v ~ q) ↔ q
E) ( p ↔ q ) → ~p F) p ∨ (~p → ~q)
G) ( p ∧ ∼q ) ∨ (~p ↔ q) H) (p ↓ q) ∨ (~p / q)
I) (p ∧ q ) ∨ r J) (p ↓ q ) ↔(~p ← r)
A) {[(p∧q)v~r]∧∼q}/∼r B) {(qv~r)⊕[p∧(~qvr)]}vp
C) [(p∧∼q)←q]↔[p(~q∆~r)] D) ~[(pv~q)↔~(q↓~p)]→~r
K) (~p ∨ r) / (q ↔ r) L) (r ← q) ∧ (~q ∆ p)
CICLO SEMILLERO