Skip to Content

Rachunek zdań

strict warning: Only variables should be passed by reference in /var/www/uczesie/modules/book/book.module on line 560.

Kolejne rozdziały stanowią wprowadzenie do języka i pojęć używanych w logice matematycznej. Niniejszy opisuje tzw. Rachunek Zdań.

Zapewne każdy zna arytmetykę liczb całkowitych. Dostępne są tam działania (dodawanie, mnożenie, dzielenie), konkretne liczby (jak 0, -5, czy 103534) oraz zmienne czyli literki w miejsce których można wstawić dowolną liczbę. Przykładowe wyrażenie arytmetyczne wygląda tak a * 7 + (bc) * h. Na rachunek zdań można patrzeć jak na arytmetykę wartości logicznych (prawda i fałsz).