Zmienna zdaniowa
Z Wikipedii
Zmienna zdaniowa - bezargumentowy symbol w rachunku zdań. Zmiennym zdaniowym w procesie zwanym wartościowaniem przyporządkowywane są wartości prawda lub fałsz.
Zmienna zdaniowa jest szczególnym przypadkiem symbolu relacyjnego dla zerowej liczby parametrów. Każda zmienna zdaniowa jest zdaniem rachunku zdań.
[edytuj] Źródła
- Tomasz Kubik: Elementy algebry i logiki. (PDF)