TOWARZYSTWO BIBLIOTEKI SŁUCHACZÓW PRAWA UJ

ul. Bracka 12 /302, 31-005 Kraków

www.tbsp.pl

Zajęcia TBSP z Logiki dla Prawników 2013

Agnieszka Guzik, Filip Leszczyński

Prawa logiczne

Dołączanie

koniunkcji (DK):



Dołączanie alternatywy

(DA):





  

  

Dołączanie równoważności

(DR):

  

Dołączanie negacji (DN):

  



  

  

Opuszczanie koniunkcji

(OK):

Opuszczanie alternatywy

(OA):   

  

     

 

 









Opuszczanie

równoważności (OR):

Opuszczanie negacji (ON):

  

  

 

     



Negowanie koniunkcji

(NK):

Negowanie alternatywy

(NA):

 (    )

 (    )

    

    

Negowanie implikacji (NI):

Negowanie równoważności

(NR):

 (    )

 (    )  (    )

   

   

   

TOWARZYSTWO BIBLIOTEKI SŁUCHACZÓW PRAWA UJ

ul. Bracka 12 /302, 31-005 Kraków

www.tbsp.pl

Zajęcia TBSP z Logiki dla Prawników 2013

Agnieszka Guzik, Filip Leszczyński

Modus Ponendo Ponens

(MPP):

  

Modus Tollendo Tollens

(MTT):

  



 



 

Transpozycja prosta (TP):

Przechodniość implikacji

(PI):

  

  

  

    

  

Zastępowanie implikacji

koniunkcją (ZIK):

Zastępowanie implikacji

alternatywą (ZIA):

  

  

 (     )

   

Niektóre  z  praw  mogą  być  stosowane  na  odwrót,  co  oznacza,  że  to,  co  znajduje  się  pod  kreską,
zamieniamy na to, co znajduje się nad kreską. Zapisujemy to za pomocą liter OD lub znaku      , np. NK
OD lub NK      . Te prawa to:

 Negowanie koniunkcji
 Negowanie alternatywy
 Negowanie implikacji
 Negowanie równoważności
 Transpozycja prosta
 Zastępowanie implikacji koniunkcją
 Zastępowanie implikacji alternatywą

może  również  oznaczać całe  wyrażenie  np.  (  p   q  ), zatem   będzie  mieć  wtedy  postać
  ( p   q ).