Logika dla prawników/Negacja
Z Wikibooks, biblioteki wolnych podręczników.
| « | Logika dla prawników Negacja |
» |
| Symbole logiczne | Koniunkcja |
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.