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 logicznym rachunku zdań.
Bibliografia
- Tomasz Kubik: Elementy algebry i logiki. sprocket.ict.pwr.wroc.pl. [dostęp 2007-02-19]. [zarchiwizowane z tego adresu (2006-10-08)].
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.