Zmienna zdaniowa

Z Wikipedii, wolnej encyklopedii
Przejdź do nawigacji Przejdź do wyszukiwania

Zmienna zdaniowa – bezargumentowy symbol w rachunku zdań. Zmiennym zdaniowym, w procesie zwanym wartościowaniem, przyporządkowywane są wartości prawda lub fałsz.

Zdanie w sensie logiki (zdanie logiczne) – wypowiedź, która stwierdza określony stan rzeczy. Zdanie z języka J stwierdza (na mocy reguł semantycznych J) stan rzeczy s zawsze i tylko wtedy, gdy na mocy reguł semantycznych języka J: zdanie z jest prawdziwe zawsze i tylko wtedy, gdy s a z jest fałszywe zawsze i tylko wtedy, gdy nie jest tak, że s.

Zmienna zdaniowa jest szczególnym przypadkiem symbolu relacyjnego dla zerowej liczby parametrów. Każda zmienna zdaniowa jest zdaniem logicznym rachunku zdań.

Bibliografia[ | edytuj kod]

  • Tomasz Kubik: Elementy algebry i logiki. sprocket.ict.pwr.wroc.pl. [dostęp 2007-02-19]. [zarchiwizowane z tego adresu (2006-10-08)].




  • Reklama