−; ~; ¬ no; no es cierto que; no es verdad que; etc. .;   w ; ;   y; pero; aunque; sino; etc. o; y/o; a menos que; etc. o; o bien … o bien; etc. si…entonces; es condición suficiente para; hace que… si y sólo si; es condición suficiente y necesaria para… ni…ni …es incompatible… Negación: Se invierten los valores Conjunción: Sólo es V si ambas son V Disyunción inclusiva: Sólo es F si ambas son F Disyunción excluyente: Sólo es F si ambas son V o F Condicional: Sólo es F si la 1ª. es V y la 2ª. es F Bicondicional: Sólo es V si ambas son V o F Negación conjunta: Sólo V si ambas son F Incompatibilidad: Sólo F si ambas son V CUADRO DE REGLAS Y LEYES DE LÓGICA MATEMÁTICA MODUS PONENDO PONENS - MPP MODUS TOLLENDO TOLLENS - MTT A B A B A B -B -A SILOGISMO DISYUNTIVO – SD SILOGISMO HIPOTÉTICO - SH CONJUNCIÓN CONJ A B B C A C A B A . B REEMPLAZO DE EQUIVALENCIAS - RE AvB -A B (o MODUS TOLLENDO PONENS – MTP) DILEMA CONSTRUCTIVO - DC A C A B DILEMA DESTRUCTIVO - DD SIMPLIFICACIÓN SIMPL ADICIÓN - AD A B C D -B v -D -A v -C A . B A A A v B B D v C v D LEYES DE MORGAN - LM - (A . B)  (- A v –B) - (A v B)  (- A . –B) EYES DE CONMUTACIÓN - CONM (A . B)  ( B . A ) (A v B)  ( B v A ) DOBLE NEGACIÓN - DN A--A DEFINICIÓN DEL CONDICIONAL - DC (A  B)  - (A . –B) (A  B)  (- A v B) AB Es la Regla que establece que permite reemplazar equivalencias, es decir, permite aplicar las leyes lógicas DEFINICIÓN DEL BICONDICIONAL - DB (A  B)  (A  B) . (B  A) (A  B)  (A . B) v (- A . - B) DISTRIBUCIÓN [A. (B v C)]  [ (A .B) v (A . C)] [A v (B . C)]  [ (A v B) . (A v C)] EXPORTACIÓN - EXPORT [(A . B)  C)]  [ A  ( B  C)] ASOCIACIÓN - ASOC [(A.B) . C]  [A . (C . B) ] [(A v B) v C]  [A v (C v B) ] TRANSPOSICIÓN - TRANSP (A  B)  (- B  - A) EJEMPLIFICACIÓN UNIVERSAL - EU EJEMPLIFICACIÓN EXISTENCIAL - EE GENERALIZACIÓN UNIVERSAL - GU GENERALIZACIÓN EXISTENCIAL - GE INTERCAMBIO DE CUANTIFICADORES - IC (x) Fx Fy (Ex) Fx Fy Fy (x) Fx Fy (Ex) Fx (x) (…)  – (Ex) – (…) (x) – (…)  – (Ex) (…) (Ex) (…)  – (x) – (…) (Ex) – (…)  – (x) (…) CONDICIONAL 1 AB –A B CONDICIONAL 2 – (A  B) A –B CONJUNCIÓN 1 A.B A B DISYUNCIÓN 1 AB CONJUNCIÓN 2 – (A . B) DISYUNCIÓN 2 – (A v B) –A –B –A –B A B EQUIVALENCIA 1 AB A –A B –B EQUIVALENCIA 2 – (A  B) –A A B –B