Zajęcia prowadził: dr hab. Maciej Kandulski
Literatura
Zdanie w sensie logiki
Klasyczna definicja prawdy
Wnioskowanie
Reguła odrywania (Modus Poneus)
KLASYCZNY RACHUNEK ZDAŃ
Spójniki
Symbole alfabetu języka rachunku zdań
Zmienne zdaniowe
Zbiór formuł jezyka rachunku zdań
Podstawianie
