MATRICULA:
17-8799
ASIGNATURA:
Lógica Matemática
TEMA:
FACILITADOR:
Contingencia
Contingencia
b) [(p v q) ˄ r] ↔ [(p↔ q) v r ]
Contingencia
f) [(p V q) ^ (p → r) ^ ¬ r] → q
(p V q) ^ ( p → r) [(p V q) ^ ( p → r) ^ ¬
P q r (p v q) ( p→ r) [(p V q) ^ ( p→ r) ^ ¬ r] → q
¬r r]
1 1 1 0 1 1 1 0 1
1 1 0 1 1 0 0 0 1
1 0 1 0 1 1 1 0 1
1 0 0 1 1 0 0 0 1
0 1 1 0 1 1 1 0 1
0 1 0 1 1 1 1 1 1
0 0 1 0 0 1 0 0 1
0 0 0 1 0 1 0 0 1
Tautología
Contingencia
III) Utilice las reglas de inferencia para determinar el valor de verdad de las
siguientes formas argumentales:
V
a) H1: P V
V V V
H2: PQ
V V V
H3: QR
C: ┐P Λ R
F V
F
Falacia
V V V
b) P1: P Λ Q
V V V
P2: PQ
V V V
P3: QR
C: ┐P Λ R
F V
Falacia
V V V
a) H1: PQ
V V
H2: P
C: Q
Válido
V F F
a) H1: PQ
V V
H2: ~Q
C: ~P
F
Valido
V) Compruebe la equivalencia lógica en cada caso:
P Q ~P PQ ~P V Q
1 1 0 1 1
1 0 0 0 0
0 1 1 1 1
0 0 1 1 1
P ~P ~~P P
1 0 1 1
0 1 0 0
P Q ~P ~Q PVQ ~ (P V Q) ~P ˄ ~Q
1 1 0 0 1 0 0
1 0 0 1 1 0 0
0 1 1 0 1 0 0
0 0 1 1 0 1 1
P Q ~P ~Q P˄Q ~ (P ˄ Q) ~P V ~Q
1 1 0 0 1 0 0
1 0 0 1 0 1 1
0 1 1 0 0 1 1
0 0 1 1 0 1 1