Special's Tabla de la verdad & Metodos (Part 2)

Definicion
Son metodos sencillos para resolver tablas de verdad cuya complejidad y extension resultarian excesivamente largas o complejas para ser resueltas con el metodo de evaluacion de valores de verdad.

Tipos:

1.Eliminacion del negador
¬¬q
.
.
.
---
q

2.Introduccion del conjuntor
p
.
.
.
----
p^q

3.Eliminacion del conjuntor
p^q
.
.
.
----
p//q

4.Eliminacion disyuntor
pvq // pvq
¬p // ¬q
--- ---
q p

5.Modus Ponens
p--->q
p
------
q

6.Modus Tollens
p---->q
¬q
-------
¬p

7.Transitividad del Condicional
p--->q
q--->r
------
p--->r

8.Eliminacion del Bicondicional
p<--->q
-------
p-->q//q-->p

9.Ley de Morgan 1
¬(p^q)
------
¬pv¬q

10.Ley de Morgan 2
¬(pvq)
------
¬p^¬q

11.Transitividad del Bicondicional
p<--->q
q<--->r
-------
p<--->r

12.Definicion del Disyuntor
pvq
----
¬p--->q

13.Eliminacion del Condicional
p--->q
q--->p
------
p<--->q

14.Eliminacion del Disyuntor
¬¬pv¬¬r
-------
¬¬p

Signos(Extra)
¬ : no

^ ó & : y
v : o
------> si entonces

<----> si y solo si

J$ULittleHunks