Dysjunkcja

Logika to jeden z działów matematyki. 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. Wartość logiczną 1 zyskuje każde zdanie prawdziwe. Oznaczając prawdziwe zdanie możemy użyć arabskiej cyfry 1. Fałsz natomiast jest określany przez wartość logiczną 0. Mimo to najbardziej powszechne stosowanie jest oznaczeń 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. Tworzenie zdań złożonych polega na połączeniu zdań pojedynczych przy pomocy spójników (funktorów).

Dysjunkcja to operacja wyrażona słowami: „Nie zarazem p i q”. Operacja związana z użyciem tego spójnika polega na wspólnym niezachodzeniu stanu rzeczy określonych przez p i q. Innymi słowy operacja ta będzie fałszywa, gdy oby dwa argumenty ( p i q ) będą prawdziwe. W każdym innym przypadku będzie zachodzić tautologia, co oznacza, że operacja ta jest prawdziwa. Poniższa tabelka opisuje działanie dysjunkcji.