W poprzednich lekcjach omówiliśmy wiele rodzajów wnioskowań. Intencją autora każdego wnioskowania jest, po pierwsze, żeby wnioskowane stanowiło spójną całość, po drugie, żeby wniosek był przekonujący, po trzecie zaś, żeby wniosek nie był sprzeczny z innymi przekonaniami, które autor wygłosił w trakcie rozmowy. O ile wiesz już dobrze, jak osiągać pierwszy i drugi cel, o tyle do trzeciego najlepiej nadaje się rachunek zdań, a w szczególności dwa funktory prawdziwościowe, które stanowią temat niniejszej lekcji.
Poznasz bliżej zasady stosowania dwóch funktorów prawdziwościowych: negacji i koniunkcji.
Poeksperymentujesz z innymi, niestosowanymi w rachunku zdań funktorami prawdziwościowymi.
Poćwiczysz stosowanie negacji i koniunkcji.
Poćwiczysz stosowanie koniunkcji do testowania dłuższych wywodów.