Documentos de Académico
Documentos de Profesional
Documentos de Cultura
De la conjunción
Fórmula de ‘c)’: p ∧ q
110
variables ‘p’ y ‘q’ y luego establecer la verdad de la fórmula con-
juntiva ‘p ∧ q’.
MS CS
Margen (M) Cuerpo (C )
MI CI
111
una constante que hace referencia a los dos valores V y F que pue-
de asumir cualquier proposición atómica. En este caso específico
el número de variables es 2. Luego, el número de arreglos será:
Si n = 2, entonces 2 2 = 4
p q p∧ q
Arreglo 1 V V
Arreglo 2 V F
Arreglo 3 F V
Arreglo 4 F F
Columna de valores
p q p ∧ q
V V V
V F F
F V F
F F F
Matriz de la conjunción
112
De la disyunción inclusiva
Fórmula de ‘c)’: p ∨ q
p q p∨ q
V V V
V F V
F V V
F F F
113
De la disyunción exclusiva
Fórmula de ‘c)’: p q
p q p q
V V F
V F V
F V V
F F F
114
Del condicional
115
Fórmula de ‘c)’: p → q
p q p → q
V V V
V F F
F V V
F F V
Del bicondicional
116
d) ‘Si Enrique ingresó a la universidad, entonces aprobó el exa-
men de admisión’ y ‘si Enrique aprobó el examen de admisión,
entonces ingresó a la universidad’.
Fórmula de ‘c)’: p q
p q p q
V V V
V F F
F V F
F F V
De la negación
117
Introduciendo el adverbio negativo ‘no’ en ‘f1)’ obtenemos una
nueva:
Fórmula de ‘b)’: ~ p
P ~ P
V F
F V
Matriz de la negación
De la negación conjunta
a) Arequipa es un puerto
b) Puno es un desierto
118
Esta nueva proposición se llama proposición negativa conjun-
ta. Y ‘c)’ es verdadera siempre que sus dos componentes sean fal-
sas; y es falsa en los demás casos.
Fórmula de ‘c)’: p ↓ q
p q p ↓ q
VV F
VF F
FV F
FF V
De la negación alterna
119
Esta nueva proposición se llama proposición negativa alter-
na. Y ‘c)’ es falsa siempre que sus dos componentes sean verdade-
ros; en los demás casos es verdadera.
Fórmula de ‘c)’: p | q
p q p | q
VV F
VF V
FV V
FF V
120
Paso 2. Se construye las matrices secundarias que correspon-
den a las de los operadores de menor jerarquía aplicando sus res-
pectivas definiciones:
V V VVV V FVV FV
V F VVF F VF F FV
F V F VV V FVVVF
F F F F F F VFVVF
3 2 4 3 4
p q ~ [(p∨ q)∧ (~ q →~ p)]
V V F VVV V FV V FV
V F V VV F F VF F FV
F V F F VV V FV VVF
F F V F F F F VF VVF
121
Otro ejemplo:
V V V V V V V V
V V F V F F V F
V F V F F V V V
V F F F F V V F
F V V V V V V V
F V F V F F V V
F F V V V V V V
F F F V V V V V
Ejemplo:
p q [(p → q) ∧ ~q] → ~ p
V V V F F V F
V F F F V V F
F V V F F V V
F F V V V V V
FMT
122
Fórmulas moleculares consistentes (FMC), son aquellas en que
algunos de los valores de su matriz principal son verdaderos y
algunos son falsos.
Ejemplo:
p q [ ~ ( p ∨ q ) ∧ ~ p] (q → p)
V V F V F F V V
V F F V F F V V
F V F V F V F F
F F V F V V F V
FMC
V V F V V V F F F
V F F F V F V V F
F V F F V F F V V
F F F F V F V V V
FM⊥
Implicación de fórmulas
123
resulta tautológica; si su matriz es consistente o contradictoria, se
dice que ‘A’ no implica a ‘B’.
Notación:
Ejemplos:
( ~A ∧ ~ C) → ~ (B ↓ D)
F F V V V V FF
F F V V V VFF
V F F V V VFF
V F F V V V FV
FMT
Respuesta: α → β
124
2) “El bicondicional de la negación de A y la disyunción débil de C
y D implica a la negación de la disyunción débil de B y la nega-
ción de A”
[ ~ A (C ∨ D)] → ~ (B ∨ ~ A)
F V F F F F F VVF
F V F F F F F VVF
V V V V F F F VVV
V V V V V F F FVV
FMI
Respuesta: α β
Equivalencia de fórmulas
Ejemplos:
a) “La negación de la negación alterna de las negaciones de A
y D es equivalente al condicional de B y la negación de C”
~( ~ A | ~ D) (B → ~ C)
F F V V V V V
F F V V V V V
V V F V V F F
F V V F F V F
Respuesta: α β
125