• Artykuły
  • Forum
  • Ciekawostki
  • Encyklopedia
  • Zmienna zdaniowa

    Przeczytaj także...
    Rachunek zdań – dział logiki matematycznej badający związki między zmiennymi zdaniowymi (zdaniami) lub funkcjami zdaniowymi, utworzonymi za pomocą funktorów zdaniotwórczych (spójników zdaniowych) ze zdań lub prostszych funkcji zdaniowych. Rachunek zdań określa sposoby stosowania funktorów zdaniotwórczych w poprawnym wnioskowaniu.Symbol relacyjny lub predykat – jest to uogólnienie zmiennych zdaniowych rachunku zdań w rachunku predykatów pierwszego rzędu.
    Fałsz – jedna z dwóch podstawowych wartości logicznych. Drugą jest prawda. Fałsz jest niezgodnością treści sądu (zdania) z tym, do czego się odnosi.

    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. [zarchiwizowane z tego adresu].




  • Reklama

    Czas generowania strony: 0.873 sek.