Wyrażenie logiczne

Zdaniem w sensie logicznym nazywamy wyrażenie, które jest prawdziwe lub fałszywe.

Prawdę i fałsz nazywamy wartościami logicznymi. Prawdę oznaczamy symbolem 1, a fałsz symbolem 0. Zmienne zdaniowe p, q, r, s (także z indeksami) reprezentują dowolne zdania. Spójniki logiczne (albo: funktory KRZ) służą do konstrukcji zdań logicznie złożonych.

Źródła:

⠀ BUSZKOWSKI, Wojciech. Elementy logiki. Wydział Matematyki i Informatyki UAM. Zakład Teorii Obliczeń. Retrieved from http://buszko.home.amu.edu.pl/actcomod.pdf

⠀ BUSZKOWSKI, Wojciech. Elementy logiki. Wydział Matematyki i Informatyki UAM. Zakład Teorii Obliczeń. Retrieved from http://buszko.home.amu.edu.pl/actcomod.pdf