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 ).