Kurs logiki: lekcja 48. Rachunek zdań. Cz. 5: Implikacja
Znasz już niemal wszystkie najważniejsze funktory prawdziwościowe niezbędne do praktycznego stosowania rachunku zdań. Jednak pozostał jeszcze jeden funktor, najważniejszy i jednocześnie najbardziej zagadkowy. Zrozumienie i opanowanie go nie tylko dopełnia wiedzę o rachunku zdań, ale także pozwala zrozumieć istotę sukcesu zachodniej nauki. Tymi właśnie wielkimi celami zajmujemy się w dzisiejszej lekcji.
Poznasz funktor prawdziwościowy implikacji.
Zrozumiesz specyfikę i pewną zagadkowość konstrukcji matrycy funktora implikacji.
Poćwiczysz stosowanie funktora implikacji osobno oraz razem z innymi funktorami.
Pofilozofujesz razem z Karlem Raimundem Popperem na temat zasady falsyfikowalności i zastosowania funktora implikacji w naukach przyrodniczych.