Leyes lógicas.

• MODUS PONENS:

Si p entonces q. Tengo p, entonces tengo q.

• MODUS TOLLENS:

Si p, entonces q. Tengo no q, entonces tengo no p.

• SILOGISMO DISYUNTIVO:

Tengo p o q. Si tengo no q, tengo p.
Tengo p o q. Si tengo no p, tengo q.

• ELIMINACIÓN DEL NEGADOR: 

Tengo no no p, tengo p.

• INTRODUCCIÓN DEL CONJUNTOR:

Tengo p y tengo q. Tengo p y q.

• ELIMINACIÓN DEL CONJUNTOR:

Tengo p y q. Consigo por un lado p, y por otro q.

• TRANSITIVIDAD DEL CONDICIONAL:

Si p entonces q. Si q entonces z. Obtengo si p entonces z.

• ELIMINACIÓN DEL BICONDICIONAL:

Si solo si p entonces q, obtenemos por un lado si p entonces q y por otro lado si q entonces p.

• INTRODUCCIÓN DEL BICONDICIONAL:

Por un lado: Si p, entonces q.
Por otro lado: Si q, entonces p.
Obtengo: Si solo si p, entonces q.

• TRANSITIVIDAD DEL BICONDICIONAL:

Por un lado: Si solo si p, entonces q.
Por otro lado: Si solo si q, entonces s.
Obtengo: Si solo si q, entonces s.

• LEYES DE MORGAN:

1. Si no p y q, entonces no p y no q.
2. Si no p o q, entonces no p o no q.

• REGLAS DE DEFINICIÓN:

· Conjuntor (^): 

1.  Si solo si no no p y no no q, entonces p o q.
2. Si solo si p y q, entonces si no no p, entonces no q.

· Disyuntor ():

1. Si solo si no no p o no no q, entonces p y q.
2. Si solo si p o q, entonces, si no p, entonces q.

MÍSTCA.