Zdjęcie przedstawia kostkę Rubika leżącą na betonowej podstawie. Kostka ma ułożoną jedną ściankę w jeden kolor - to wzór błękitnego nieba z pierzastymi chmurami.
Kurs logiki: lekcja 44. Rachunek zdań. Część 1: Wprowadzenie, nazwa, zdanie i funktor
Źródło: Pixabay, domena publiczna.
Wyobraź sobie, że znajoma osoba opowiada ci, że zna parę logików, którzy żyją ze sobą w związku. Jednak jako ortodoksyjni logicy wyznają zasadę, że najważniejsza jest jasność myśli, w związku z czym komunikują się ze sobą wyłącznie za pomocą sformalizowanego języka logiki. Czy myślisz, że to byłoby na dłuższą metę możliwe? Jak wyglądałyby codzienne rozmowy takiej pary?
Twoje cele
Poznasz najważniejsze narzędzia logicznego rachunku zdań.
Zrozumiesz istotę i zastosowania logicznego rachunku zdań.
Poćwiczysz stosowanie podstawowych narzędzi logicznego rachunku zdań.
Pofilozofujesz z Gottfriedem Wilhelmem Leibnizem na temat granic formalizacji codziennej komunikacji.