PRINCIPALES LEYES LOGICAS O TAUTOLOGICAS En ldgica existen los llamados “PRINCIPIOS LOGICOS O LEYES LOGICAS” que vienen a ser formas proposicionales tautolégicas de cardcter general. A partir de las leyes légicas se pueden generar otras tautolégias y a la vez cualquier tautologia se puede reducir a unas leyes légicas. Las principales LEYES LOGICAS las podemos clasificar en tres grupos: 1) Leyes égicas clasicas 2) Equivalencias notables 3) Implicaciones notables LOS TRES PRINCIPIOS LOGICOS CLASICOS idad: Una proposicién sélo es idéntica consigo mismo. 1.1) Ley de Identidad Refle 12) p>p=p 13) peps= 1.4) Ley de no contradiccién: Una proposicién no puede ser verdadera y falsa a la vez. ~ @A~p) 1.5) Ley del tercio excluido: Una proposicién o es verdadera o es falsa no hay tercera opcién o posibilidad. EQUIVALENCIAS NOTABLES n(Involucién): La negacién de una negacién es una afirmacion ~Cop) 2)Ley de la Idempotencia : Las variables repetidas redundantemente en una cadena de conjunciones (A) oen una cadena de disyunciones ( V) se reemplazan por una sola variable. PAPAPA...Ap =P PVPVPV «VD =P 1) Leyde la doble nega 3) Leyes Conmutativas : En una proposicién, la conjuncién (A) la disyuncién (V) inclusiva y bicondicional (+) son conmutativas. 4) Leyes Asociativas: En una proposicién la doble conjuncién (A) la doble disyuncién inclusiva (V) 0 la doble bicondicional (<)se asocian indistintamente. 1) PAG@Ar) 2pVv(qvr) =(PVq)Vvr=(pvr)vg peGenseegersperneq 5) Leyes distributivas: En una proposicién la conjuncién (A), la disyuncién inclusiva (V), yla implicacién (=9),son distributivas.pAQVr) = (PAg)V(PAr) 2)pVv(qAr) =(pvq) A@Vr) 3)p 2 GAN =@2QAQP>" 4)p >= (qvr) =()> 9) V@>r) 6) Leyes De Morgan: En una proposicién la negacién (~) de una conjuncién (A) 0 de una disyuncién inclusiva (V) son distributivas. 1) ~@Aq) = ~pV~q 2)~(P vq) = ~pA~q 7) Leyes de la condicional: En una proposicién la condicional (=), equivale, a la disyuncin inclusiva(V) de la negacién del antecedente con el consecuente, y la negacién de una condicional equivale a una conjuncién del antecedente con la negacién del consecuente. Np>q=~pvg 2~@>QO = ~(~P VQ) =PA~q 8) Leyes de la bicondicional: lp @4g=(p >a) ACG>P) 2p q=(PAq)V(~pA~q) 3)p @q = ~(pdq) = ~(@Vvq) A~(p aq} = ~(pvqyv(p Aq) 9) Ley de absorcién: pA Vq)=p 4)p v (~p Aq) =p vq 2p Vv (Aq) =P 5)~p A (pV~q) =~pA~q 3)p A(~p Vq) =p Aq) | 6)~pV(pA~q)=~pv~q 10) Leyes de transposicién: 11) Leyes de exportaci6n: D(p Aq) =r =p > 317) 2) (Pi AP2AP3 Nm APn) 7 = [PrAP2 APs A APn—a] > (Pn 7) Seats12) Elementos neutros para la conjuncién y disyuncién: neutro de la conjuncion neutro de la disyuncion iy verdadero (tautologia) { F = falso (contradiccion) 4)p AF =F 5)V AV EV { A= conjuncion V = disyuncion inclusiva eV vv eV 13) Disyuncién Exclusiva: pAq =(p A~q)V(~P Aq) =(pvq) A(~pv~q) pVq)A~(p Aq) 14) La negacién conjuntiva: 15) La negaci6n alternativa: TAUTOLOGIA: Son aquellas formulas cuya columna del operador principal es siempre VERDADERO cualesquiera que sean los valores de verdad de las proposiciones componentes. CONTRADICCION: Son proposiciones compuestas que siempre son FALSAS cualesquiera que sea el valor de las proposiciones compuestas. CONTINGENCIA: Son proposiciones compuestas que no son ni TAUTOLOGIA ni CONTRADICCION, es decir son proposiciones que en algunos casos es FALSO, y en otros VERDADEROS (por lo menos uno es verdadero o por lo menos uno es FALSO). RESUMIENDO LAS TABLAS DE VERDAD. pta@{[v[} tat {[ [=e] ao [~p] ~¢ v v v F Vv e v v F F F - v F Vv F F v F F Vv F v 0 F v v F F Vv v F v Vv Fr 0 F F F Vv F v Vv Vv F v v 0 Notacion: Lanegacién Conjuntiva: | La negacién Alternativa: |