Wersja z 01:37, 24 lut 2008 edytuj Stotr (dyskusja \| edycje) Redaktorzy 3518 edycji m poprawa linków ← poprzednia edycja		Wersja z 11:41, 29 lut 2008 edytuj anuluj edycję Abdel (dyskusja \| edycje) 3059 edycji drobne merytoryczne następna edycja →
Linia 1: '''Zmienna zdaniowa''' - ~~bezargumentowy symbol w~~wyrażenie [[rachunek zdań\|rachunku zdań]] za które wolno wstawić dowolne zdanie. Zmiennym zdaniowym w procesie zwanym [[wartościowanie (matematyka)\|wartościowaniem]] przyporządkowywane są wartości [[prawda (logika)\|prawda]] lub [[fałsz]]. Zmienna zdaniowa jest szczególnym przypadkiem [[symbol relacyjny\|symbolu relacyjnego]] dla zerowej liczby parametrów. Każda zmienna zdaniowa jest [[zdanie logiczne\|zdaniem]] rachunku zdań.

Zmienna zdaniowa: Różnice pomiędzy wersjami