Zadanie dodatkowe nr 1 

 

Analiza matematyczna 

Oprócz  klasycznej  symboliki  logicznej  istnieje  symbolika  beznawiasowa,  wprowadzona  przez 

polskiego  logika  Jana  Łukasiewicza*  i  nazwana  od  nazwiska  jej  twórcy  symboliką  Łukasiewicza  albo 

symboliką  polską  (rzadziej  ‐  odwrotną  notacją  polską).  Zgodnie  z  tą  symboliką  spójnik  zdaniowy 

(oznaczony  symbolem  literowym:  A‐alternatywa,  K‐koniunkcja,  N‐negacja,  I‐implikacja,  E‐

równoważność)  umieszcza  się  zawsze  przed  argumentem  lub  argumentami  tego  spójnika.  Na 

przykład zdanie p

/

q w symbolice Łukasiewicza ma postać Apq, podobnie zamiast p

-

q można zapisać 

Kpq,  a  także  Nq  zamiast  ~q,  Ipq  zamiast  p

fl

q,  oraz  Epg  w  miejsce  p

‹

q.  Prawo  de  Morgana 

~(p

-

q)

‹

~p

/

~q w symbolice Łukasiewicza ma postać: ENKpqANpNq. 

A teraz zadanie: 

1) Zapisać w symbolice Łukasiewicza: (p

fl

s)

/

(p

fl

q)

/

(p

fl

r) 

‹

 (p

fl

q

-

r

-

s). 

2) Zapisać w symbolice klasycznej: IAIpqIrsItuIAprtKqsu.

 

 

Na  odpowiedzi  czekam  do  12.10,  godz.8.00.  Za  zadanie  można  uzyskać  1  pkt.  Odpowiedzi  można 

nadsyłać mailowo lub składać osobiście w sekretariacie Katedry (p.421). 

 

Miłego rozwiązywania! 

 

*

Jan  Łukasiewicz  ur.  1878,  zm  1956,  logik  i  filozof,  współtwórca  i  jeden  z  głównych  reprezentantów  tzw. 

warszawskiej szkoły logicznej; zajmował się filozofią, metodologią nauk, logiką matematyczną i historią logiki; 

stworzył  system  logiki  wielowartościowej  i  wiele  aksjomatycznych  systemów  rachunku  zdań;  wprowadził 

beznawiasową symbolikę logiczną.