4
 PR I N CI P ALE LE LE GI LO G ICE IPRO PR I ET Ă Ţ I LE O PER ATO R I LO RLO G ICI: C o mu t ati vi t ateao p erat o ri l o rde d isj u n c ţ ie ş i co n j u n c ţ ie: 1 )  C omut a t i vita t ea op eratoru l u i d e d i sj un c ţ i e: E xempl u: I on est e p ri ma r sau est e ş e f u l a d mi n ist ra ţ i ei p u b l i ce l oca l e este e ch i val ent cuIonest e ş ef u l a d mi n i st r a ţ i ei p u b lice loca l e sa ueste p ri ma r . 2 ) C omu t at i vi t at ea op erat oru l u i d e con j u n c ţ ie: E xempl u: Ionesteprimar în com u n ax  ş i este o r d on a t or princi p a l a l co mu n ei x est e ech i va l en t cuI on est e or d on ator pri n ci p al al comu n ei x ş i est e p ri mar î n comu n a x .  A so c i a t i v itateao p e r ato r i l or dedis j un c ţ i e ş i c on j un c ţ ie: 3 )  A soc i ati v i t ateaop e r a t o r u l u i d e d i s j u n c ţ ie: 4 )  A soc i ati v i t ateaop e r a t o r u l u i d e conj u n c ţ ie:  D i st ri bu t i vit at ea operatorul u i d e con j u nc ţ ie f a ţ ă de disj u n c ţ i e ş ia di sj u n c ţ iei fa ţ ă d e conjunc ţ ie: 5 ) D istri b utivit a teao p erat oru l u i d e c o n j un c ţ i e f a ţ ă d e d i sj u n c ţ ie: E xempl u: p=Ionest e p ri mar.  q=I on es te mem b r u al p art i d u l u i x.  r =Ionestememb r u al p art i d u l u i y . D ac ăş i n u mai dac ăI on est ep r i mar ş i es t emembrual part i du l u i xsau es t emem bru al p arti d ul u i y ,at u nci I on es t e p r i mar ş i es t e mem b ru al p artidul u i x sau Ion es t e p ri mar ş i es t e mem b r ual p artidul u i y . 6 ) D istributivit a teao p erat oru l u i d e d isj u nc ţ i e f a ţ ă d e c on j u n c ţ ie: E xempl u: p=Ionest e p ri mar.  q =Iones t e mem b ru al p arti d u l u i x. r =Ionestememb ru al alian ţ ei y . D ac ăş i nu mai d ac ăIonest ep ri marsauestememb r u al p arti d u l u i x ş i al al i an ţ ei y , atunci I onest e p ri mar sauest e memb rual p arti d ul u i x ş i Ionest e p ri mar sauest e memb rual al i an ţ ei y . 1  (p&q)  (q&p) (pVq) V r pV(qVr) (p&q)&r p&(q&r) p&(qVr) (p&q)V(p&r) pV(q&r) (pVq)&(pVr)

Principalele legi logice

Embed Size (px)

DESCRIPTION

legi logice

Citation preview

  • 5/20/2018 Principalele legi logice

    1/4

    PRINCIPALELE LEGI LOGICE

    I PROPRIETILE OPERATORILOR LOGICI:

    Comutativitatea operatorilor de disjuncie i conjuncie:

    1)Comutativitatea operatorului de disjuncie:

    Exemplu:Ion este primar sau este eful administraiei publice locale este echivalent cu Ion este administraiei publice locale sau este primar.

    2)Comutativitatea operatorului de conjuncie:

    Exemplu:Ion este primar n comuna xi este ordonator principal al comunei x este echivalent cueste ordonator principal al comunei x i este primar n comuna x.

    Asociativitatea operatorilor de disjuncie i conjuncie:

    3)Asociativitatea operatorului de disjuncie:

    4)Asociativitatea operatorului de conjuncie:

    Distributivitatea operatorului de conjuncie fa de disjuncie i a disjunciei faconjuncie:5)Distributivitatea operatorului de conjuncie fa de disjuncie:

    Exemplu: p=Ion este primar.q=Ion este membru al partidului x.r=Ion este membru al partidului y.Dac i numai dac Ion este primar i este membru al partidului x sau este membr

    partidului y, atunci Ion este primar i este membru al partidului x sau Ion este primar imembru al partidului y.

    6)Distributivitatea operatorului de disjuncie fa de conjuncie:

    Exemplu: p=Ion este primar.q=Ion este membru al partidului x.r=Ion este membru al alianei y.Dac i numai dac Ion este primar sau este membru al partidului x i al alianei y, at

    Ion este primar sau este membru al partidului x i Ion este primar sau este membru al alianei y.

    (p&q)

    (q&p)

    (pVq)V r pV(qVr)

    (p&q)&r p&(q&r)

    p&(qVr) (p&q)V(p&r)

    pV(q&r) (pVq)&(pVr)

  • 5/20/2018 Principalele legi logice

    2/4

    Legile de idempoten:

    7)

    8)

    II REFLEXIVITATEA I TRANZITIVITATEA IMPLICAIEI I A ECHIVALENEI:

    9)Reflexivitatea implicaiei:

    10)Reflexivitatea echivalenei:

    11)Tranzitivitatea implicaiei:

    12)Tranzitivitatea echivalenei:

    III RELAIILE DE ECHIVALEN NTRE FORMULELE LOGICE:

    13)Scrierea implicaiei cu ajutorul negaiei, respectiv a disjunciei:

    Legile absorbiei:

    14)

    Exemplu: Ion este primar i Ion este primar sau este cel mai bun gospodar al comunei, totulechivalent cu Ion este primar.

    15)

    Exemplu:Ion este primarsau Ion este primar i este cel mai bun bun gospodar al comunei, este echivalent cu Ion este primar.

    p&pp

    pVpp

    p

    p

    p p

    [(p q)&(q r)] (p r)

    [(pq)&(qr)] (pr)

    (pq) (pVq)

    [p& (pVq)]

    p

    [pV(p&q)]

    p

  • 5/20/2018 Principalele legi logice

    3/4

    Legile dublei negaii:

    16)Negaia lui non p implic p :

    Exemplu:Primarul difer de prefect.Dac nu este adevrat c primarul nu difer de prefect, atunci primarul difer de prefec

    17)Negaia lui non p este echivalent cu p:

    Exemplu:Prefectul este nalt funcionar public.Dac i numai dac nu este adevrtat c prefectul nu este nalt funcionar public, at

    prefectul este nalt funcionar public.

    Legile lui De Morgan:

    18)Negaia disjunciei:

    Exemplu: Nu este adevrat c un infractor vorbete frumos sau este panic este echivalent cuinfractor nu vorbete frumos i nu este panic.

    19)Negaia conjunciei:

    Exemplu:Este fals c prefectul este alesul colectivitii locale i eful administraiei publice loeste echivalent cu prefectul nu este alesul colectivitii locale sau nu este eful adiministraiei pu

    locale.

    IV LEGILE IMPLICAIEI MATERIALE:

    20)Adevrul decurge din orice:

    21)Falsul implic orice:

    V LEGILE REDUCERII LA ABSURD:

    (p) p

    (

    p) p

    (pVq) (p&q)

    (p&q) (pVq)

    p (q p)

    (p) (p q)

    [p (p)](p)

  • 5/20/2018 Principalele legi logice

    4/4

    22)

    23)

    Orice conjuncie implic orice parte a sa:

    24)

    25)

    Disjuncia este implicat de orice parte a sa:

    26)

    27)

    28)Legea lui Moduss Ponens:

    29)Legea noncontradiciei:

    30)Legea terului exclus:

    [(p q)&( p q)](p)

    (p&q)p

    (p&q)q

    p(pVq)

    q(pVq)

    [(p q)&p]q

    (p&

    p)

    pV(

    p)