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