W logice formalnej, np. rachunku zdań, negacja ma różne zapisy:
- osobny symbol
- tylda
- prim
- makron
Odczytuje się to nieprawda, że p lub nie jest tak, że p. Inny symbol negacji – zwłaszcza jako funkcji boolowskiej i bramki logicznej – to angielska partykuła NOT.
Definicja w logice dwuwartościowej
Tablica prawdy dla negacji | |
0 | 1 |
1 | 0 |
Niech będzie dwuelementowym zbiorem wartości logicznych: Negacja jest funkcją ze zbioru w zbiór określoną następująco:
- ,
czyli
-
- .
Negację zdania p uważa się za prawdziwą, gdy zdanie p jest fałszywe, zaś za fałszywą, gdy zdanie p jest prawdziwe:
- 1 – prawda (lub zdanie prawdziwe),
- 0 – fałsz (lub zdanie fałszywe).
Własności
W klasycznym rachunku zdań negacja pojawia się w szeregu tautologii, tj. formuł prawdziwych zawsze, bez względu na prawdziwość zdań składowych. Odpowiadają im pewne tożsamości opisujące dopełnienie zbioru.
Zasada niesprzeczności (zwana także zasadą sprzeczności) głosi, że z dwóch zdań sprzecznych najwyżej jedno jest prawdziwe (lub równoważnie, co najmniej jedno jest fałszywe):
- ,
gdzie jest znakiem koniunkcji (oznacza spójnik ‘i’).
Przykład:
- Niech będzie zdaniem Mam ciastko.
- Wówczas ma postać: Nie mam ciastka.
- Ich koniunkcja to Mam ciastko i nie mam ciastka (jest to zdanie fałszywe).
- Zaprzeczenie tej koniunkcji (Nieprawda, że mam ciastko i nie mam ciastka) jest zdaniem prawdziwym.
Zasada wyłączonego środka mówi, że z dwóch zdań sprzecznych co najmniej jedno jest prawdziwe:
- ,
gdzie jest znakiem alternatywy (oznacza spójnik lub).
Przykład:
- Niech zdanie ma postać: Jutro będzie padał deszcz.
- Wówczas to Jutro nie będzie padał deszcz.
- Jedno z nich jest prawdziwe (możemy nie wiedzieć które).
- Ich alternatywa (Jutro będzie padał deszcz lub jutro nie będzie padał deszcz) jest zawsze prawdziwa.
Złożenie dwóch negacji jest równoważne wyjściowemu zdaniu:
-
Podwójne przeczenie się znosi, lub po łacinie: duplex negatio affirmat, tzn. podwójne przeczenie, to tyle co twierdzenie.
Przykład:
- Niech zdanie oznacza: Warszawa jest stolicą Polski (jest to zdanie prawdziwe).
- Wówczas ma postać: Warszawa nie jest stolicą Polski (jest to zdanie fałszywe).
- Natomiast można zapisać: Nieprawda, że Warszawa nie jest stolicą Polski (jest to zdanie prawdziwe i równoważne zdaniu ).
Inne
Negację zawierają też prawo kontrapozycji i prawa De Morgana.
Zobacz też
Przypisy
Bibliografia
- Kazimierz Ajdukiewicz: Zarys logiki. Warszawa: Państwowe Zakłady Wydawnictw Szkolnych, 1957. OCLC 749403627.
- Andrzej Grzegorczyk: Zarys logiki matematycznej. Wyd. 4. Warszawa: Wydawnictwo Naukowe PWN, 1975. OCLC 749328557.
- Andrzej Mostowski: Logika matematyczna. Kurs uniwersytecki. Warszawa: 1948, seria: Monografie matematyczne t. 18. OCLC 250092935.
- Helena Rasiowa: Wstęp do matematyki współczesnej. Wyd. 5. Warszawa: PWN, 1975, seria: Biblioteka Matematyczna, t. 30. OCLC 749626864.
- Kenneth A. Ross, Charles R.B Wright: Matematyka dyskretna. E. Sepko-Guzicka (tłum.), W. Guzicki (tłum.), P. Zakrzewski (tłum.). Warszawa: Wydawnictwo Naukowe PWN, 1996. ISBN 83-01-12129-7.
- Jerzy Słupecki, Katarzyna Hałkowska, Krystyna Piróg-Rzepecka: Logika matematyczna. Wyd. 2. popr. i uzup. Warszawa: Wydawnictwo Naukowe PWN, 1999. ISBN 83-01-12958-1.
Linki zewnętrzne
This article uses material from the Wikipedia Polski article Negacja, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Treść udostępniana na licencji CC BY-SA 4.0, jeśli nie podano inaczej. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Polski (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.