Documentos de Académico
Documentos de Profesional
Documentos de Cultura
El siguiente trabajo ha sido realizado con la mayor claridad posible, para poder ser
interpretado por mi facilitador. En él se estará tratando sobre algunas reglas,
sobre la comprobación tautología de las reglas de Adicción, Simplificación, Modus
Ponens, Modus Tollens, Silogismo Hipotético, Silogismo Disyuntivo, Conjunción,
Dilema Constructivo, Dilema Destructivo.
Pude realizar esta tarea con ayuda de los recursos de esta unidad y con el
conocimiento de las tareas anteriores realizadas.
A continuación se muestra lo que es el desarrollo de la tarea asignada.
Dadas las reglas:
a) "no (A y B)" es lo mismo que "(no A) o (no B)"
b) a: v
c) b: v
d) ~(a Λ b) ≡ (~a v ~b)
e) ~ (V Λ v) ≡ ~ (v) v ~ (v)
f) ~ (v) ≡ (f) v (f)
g) f ≡f
h)
y también,
Actividades
Escribe simbólicamente las reglas a y b
P Q (p v q) p(p v q)
1 1 1 1
1 0 1 1
O 1 1 1
O 0 0 1
Simplificación
P Q ( P Λ q) ( P Λ q) p
1 1 1 1
1 0 0 1
0 1 0 1
0 0 0 1
Modus Ponens
P q (Pq) P Λ(Pq) P Λ(Pq) q
1 1 1 1 1
1 0 0 0 1
0 1 1 0 1
0 0 1 0 1
Modus Tollens
p q ¬p ¬q (Pq) (Pq) Λ ¬q [ (Pq) Λ ¬q] ¬p
1 1 0 0 1 0 1
1 0 0 1 0 0 1
0 1 1 0 1 0 1
0 0 1 1 1 1 1
Silogismo Hipotético
p q R (Pq) (qr) [ (Pq) Λ (qr) ] (pr) [ (Pq) Λ (qr) ] (pr)
1 1 1 1 1 1 1 1
1 1 0 1 0 0 0 1
1 0 1 0 1 0 1 1
1 0 0 0 1 0 0 1
0 1 1 1 1 1 1 1
0 1 0 1 0 0 1 1
0 0 1 1 1 1 1 1
0 0 0 1 1 1 1 1
Silogismo Disyuntivo
p q ( P V q) ¬p [ ( P V q) Λ ¬p] [ ( P V q) Λ ¬p] q
1 1 1 0 0 1
1 0 1 0 0 1
0 1 1 1 1 1
0 0 0 1 0 1
Conjunción
P q ( P Λ q) ( P Λ q) ( P Λ q) ( P Λ q)
1 1 1 1 1
1 0 0 0 1
0 1 0 0 1
0 0 O 0 1
Dilema Constructivo
p q R s (Pq) (rs) (P V r) [ (Pq) Λ (rs) Λ (P V r) ] (q V s) [ (Pq) Λ (rs) Λ (P V r) ] (q V s)
1 1 1 1 1 1 1 1 1 1
1 1 1 0 1 0 1 0 1 1
1 1 0 1 1 1 1 1 1 1
1 1 0 0 1 1 1 1 1 1
1 0 1 1 0 1 1 0 1 1
1 0 1 0 0 0 1 0 0 1
1 0 0 1 0 1 1 0 1 1
1 0 0 0 0 1 1 0 0 1
0 1 1 1 1 1 1 1 1 1
0 1 1 0 1 0 1 0 1 1
0 1 0 1 1 1 0 1 1 1
0 1 0 0 1 1 0 1 0 1
0 0 1 1 1 1 1 1 1 1
0 0 1 0 1 0 1 0 1 1
0 0 0 1 1 1 0 1 1 1
o 0 0 0 1 1 0 1 0 1
Dilemma Destructivo
p q R S ¬p ¬s (Pq) (rs) (¬p V ¬s) (Pq) Λ (rs) (¬p V ¬r) [ (Pq) Λ (rs) ] [ (Pq) Λ
Λ(¬p V ¬s) (rs) ] Λ(¬p
V ¬s)
(¬p V ¬r)
1 1 1 1 0 0 1 1 0 1 0 0 1
1 1 1 0 0 1 1 0 1 0 1 0 1
1 1 0 1 0 0 1 1 0 1 0 0 1
1 1 0 0 0 1 1 1 1 1 1 1 1
1 0 1 1 0 0 0 1 0 0 0 0 1
1 0 1 0 0 1 0 0 1 0 1 0 1
1 0 0 1 0 0 0 1 0 0 0 0 1
1 0 0 0 0 1 0 1 1 0 1 0 1
0 1 1 1 1 0 1 1 1 1 1 1 1
0 1 1 0 1 1 1 0 1 0 1 0 1
0 1 0 1 1 0 1 1 1 1 1 1 1
0 1 0 0 1 1 1 1 1 1 1 1 1
0 0 1 1 1 0 1 1 1 1 1 1 1
0 0 1 0 1 1 1 0 1 0 1 0 1
0 0 0 1 1 0 1 1 1 1 1 1 1
0 0 0 0 1 1 1 1 1 1 1 1 1
Contradicción
p ¬p C (¬Pc) (¬Pc) p
v f F V v
f v F F V
Demostración Condicional
1 1 1 1 1 1 1 1
1 1 0 1 0 0 0 1
1 0 1 0 1 1 1 1
1 0 0 0 1 1 0 1
0 1 1 0 1 1 0 1
0 1 0 0 0 1 0 1
0 0 1 0 1 1 0 1
0 0 0 0 1 1 0 1
Conclusion