Zmienna zdaniowa – bezargumentowy symbol wrachunku zdań. Zmiennym zdaniowym, w procesie zwanymwartościowaniem, przyporządkowywane są wartościprawda lubfałsz.
Zmienna zdaniowa jest szczególnym przypadkiemsymbolu relacyjnego dla zerowej liczby parametrów. Każda zmienna zdaniowa jestzdaniem logicznym rachunku zdań.
| pojęcia podstawowe | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| funktory zdaniotwórcze |
| ||||||||||
| prawa rachunku zdań – jego tautologie |
| ||||||||||
| powiązane pojęcia |
