Prawa logiczne

background image

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

 (    )

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

   

   

   

background image

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


Wyszukiwarka

Podobne podstrony:
kmd prawa logiczne id 236768 Nieznany
prawa logiczne
PRAWA LOGICZNE
Prawa logiczne
Prawa logiczne w algebrze Boole'a
Prawa logiczne, Studia Administracja, Logika
prawa logiczne, Prawo UKSW I rok
prawa logiczne, PJWSTK, 0sem, KNW
Prawa logiczne 2
Prawa logiczne w algebrze Boole'a
prawa logiczne
prawa logiczne
kmd prawa logiczne id 236768 Nieznany
Podstawowe prawa logiczne
Prawa logiczne w algebrze Boole a
prawa logiczne
Prawa logiczne Czajka EWSPA
Prawa logiczne

więcej podobnych podstron