Introducción

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,

b) "no (A o B)" es lo mismo que "(no A) y (no B)"

~(a v b) ≡ ~a Λ ~b
(v V v)
~ (v) ≡ f Λ f
≡f

Actividades
 Escribe simbólicamente las reglas a y b

 Comprueba la representación simbólica de cada regla

I) Realice la comprobación tautológica de las siguientes reglas (usa

1 para verdadero y 0 para falso)
Adicción

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 (Pq) P Λ(Pq) P Λ(Pq) 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 (Pq) (Pq) Λ ¬q [ (Pq) Λ ¬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 (Pq) (qr) [ (Pq) Λ (qr) ] (pr) [ (Pq) Λ (qr) ]  (pr)

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 (Pq) (rs) (P V r) [ (Pq) Λ (rs) Λ (P V r) ] (q V s) [ (Pq) Λ (rs) Λ (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 (Pq) (rs) (¬p V ¬s) (Pq) Λ (rs) (¬p V ¬r) [ (Pq) Λ (rs) ] [ (Pq) Λ
Λ(¬p V ¬s) (rs) ] Λ(¬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 (¬Pc) (¬Pc) p

v f F V v

f v F F V
Demostración Condicional

p q r ( P Λ q) (qr) P(qr) [( P Λ q) Λ P(qr) ] [( P Λ q) Λ P(qr)

] r

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

En conclusión he podido adquirir los conocimientos esperados en este

trabajo realizado.