Prawa rachunku zdań

W dzisiejszym artykule chciałabym zająć się temat związanym z logiką. Logika to dział matematyki, który z rokiem na rok staje się bardziej popularny wśród młodzieży. Dzięki logice wiele nieoczywistych rzeczy staje się oczywistym. Obracając się w tym dziale posługujemy się zdaniami lub formami zdaniowymi. One zaś mogą być prawdziwe lub fałszywe w sensie logiki. Dlatego też nie każde zdanie w języku potocznym (mówionym) będzie zdaniem w sensie logiki.

Na początku warto zadać sobie pytanie: „Czym tak właściwie jest prawda oraz fałsz oraz jak je określamy w logice?”.
W tym dziale matematyki wartość logiczną 1 zyskuje każde zdanie prawdziwe w sensie logiki. Oznaczając prawdziwe zdanie powinniśmy użyć arabskiej cyfry 1. Rzadko kiedy można spotkać się z oznaczeniem za pomocą litery P (z języka polskiego p jak prawda), bądź litery T ( z angielskiego t jak true). Fałsz natomiast jest określany przez wartość logiczną 0, literę F (f jak fałsz oraz f z angielskiego jak false). Jednakże najbardziej powszechnymi oznaczeniami zdań logicznych na świecie są arabskie cyfry 0 i 1.

Każde zdanie oznajmujące, któremu można nadać wartość logiczną prawda (1), fałsz (0) jest zdaniem logicznym. Forma zdaniowa jest argumentem, któremu nie możemy nadać wartości logicznej, a więc nie możemy określić czy jest ono prawdziwe lub fałszywe.
Przykładami zdań logicznych mogą być zdania:
I Wojna Światowa wybuchła w 1914. (1)
2+3=5 (1)
4+2=41 (0)
II Wojna Światowa zaczęła się w 2022 roku. (0)
Formami zdaniowymi są:

Czy masz psa?
Szybciej!
Prawo rachunku zdań zatem pozwala nam tworzyć różnego zdania złożone. Ponadto, prawo rachunku zdań zakłada, że każde zdanie logiczne jest albo prawdziwe albo fałszywe. Dzięki temu, możemy określać prawdziwość lub fałszywość operacji takich jak koniunkcja, równoważność, alternatywa itd.