Zajęcia TBSP z Logiki dla Prawników 2013

Agnieszka Guzik, Filip Leszczyński Prawa logiczne

Dołączanie

Dołączanie alternatywy

koniunkcji (DK):



(DA):





  

  

Dołączanie równoważności

(DR):

  

Dołączanie negacji (DN):

  



  

  

Opuszczanie koniunkcji

Opuszczanie alternatywy

(OK):

(OA):   

  

     

 

 









Opuszczanie

równoważności (OR):

Opuszczanie negacji (ON):

  

  

 

     



Negowanie koniunkcji

Negowanie alternatywy

(NK):

(NA):

 (    )

 (    )

    

    

Negowanie równoważności

Negowanie implikacji (NI):

(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

Modus Tollendo Tollens

(MPP):

  

(MTT):

  



 



 

Przechodniość implikacji

Transpozycja prosta (TP):

(PI):

  

  

  

    

  

Zastępowanie implikacji

Zastępowanie implikacji

koniunkcją (ZIK):

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

TOWARZYSTWO BIBLIOTEKI SŁUCHACZÓW PRAWA UJ

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