BONUS 3

OTO PRAWA LOGICZNE WRAZ Z ICH SKRÓTOWYMI NAZWAMI

używane w trakcie przeprowadzania tzw. dowodów założeniowych (18):
DK (dołączanie koniunkcji) : 

-----------------
  

DA (dołączanie alternatywy) : 
-----------------
  

DR (dołączanie równoważności) : 


-----------------


DN (dołączanie negacji) : 
-----------------


OK (opuszczanie koniunkcji) :      
----------------- -----------------
 

OA (opuszczanie alternatywy) :      
 
----------------- -----------------
 

OR (opuszczanie równoważności) :  

----------------- -----------------
 

ON (opuszczanie negacji) : 

-----------------


NK (negowanie koniunkcji) : ()

-----------------
 
NA (negowanie alternatywy) : ()
-----------------


NI (negowanie implikacji) : ()

-----------------


NR (negowanie równoważności) : () ()

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

MPP (modus ponendo ponens) : 


-----------------


MTT (modus tollendo tollens) : 


-----------------


TP (transpozycja prosta) : 

-----------------

_________________________________________________________________________________________________________________

PI (przechodniość implikacji) : 


----------------

_________________________________________________________________________________________________________________

ZIK (zastępowanie implikacji koniunkcją) : 

-----------------
()
_________________________________________________________________________________________________________________

ZIA (zastępowanie implikacji alternatywą) : 

-----------------

________________________________________________________________

PRAWA TE NALEŻY SOBIE BARDZO DOBRZE PRZYSWOIĆ –

ŁĄCZNIE ZE SKRÓTOWYMI, SYMBOLICZNYMI OZNACZENIAMI.

Rozumiemy je tak: to co nad kreską można zamienić na to, co pod nią, a

czasami także na odwrót: to co na dole można zamienić na zapis górny.