Przejdź do zawartości

Logika dla prawników/Negacja

Z Wikibooks, biblioteki wolnych podręczników.
Spis treści

Negacja

[edytuj]

Negacja przybiera postać wyrażenia "nieprawda, że ...". Jeśli używamy litery "p" na określenie zdania, to zaprzeczenie "p" oznaczymy zwrotem "~p". Podwójna negacja daje zdanie prawdziwe, wedle wzoru: ~~p = p. W tablicy prawdy negację ujmujemy systemem zero - jedynkowym:

p ~ p
0 1
1 0

Binegacja

[edytuj]

Binegacja jest koniunkcją negacji. Oznacza się ją symbolem "↓" we wzorze p ↓ q ("ani p ani q"). Powstaje z użyciem spójników "ani" oraz przeczenia ("ani ... nie jest, ani ... nie jest"). Przykładowo: "Ani Kowalski nie jest robotnikiem, ani Nowak nie jest robotnikiem." Prawda wystąpi, jeśli żaden z nich nie jest robotnikiem, a fałsz jeśli choć jeden z nich jest robotnikiem.

p q p ↓ q
0 0 1
0 1 0
1 0 0
1 1 0

Czasem binegacja jest zastępowana negacją alternatywy.


Powrót do spisu treści