Tagadás nyilatkozatok - studopediya
A mindennapi beszéd gyakran használunk részecske „nem” vagy a „igaz, hogy” ha valami megtagadva. A matematikában is kell építeni mondatok, amelyekben valami megtagadva.
Például azzal, hogy # 8710; ABC jelennek négyszögletes, azt tagadja, hogy # 8710; ABC - téglalap alakú. Ugyanakkor, megtagadva a hamis állítás igaz, és megszerezni tagadja az igaz állítás, megkapjuk hamis.
Legyen adott egy nyilatkozatot A. Definiáljuk a tagadás nyilatkozatokat.
A tagadás nyilatkozatok nevezett állítást, amely igaz, ha a megnyilatkozás hamis, és hamis, ha ez az állítás igaz.
A tagadás a nyilatkozatok jelzett: # 256;. Azt olvassuk: „nem” vagy „Nem igaz, hogy A”.
1. A "3 + 4 = 7" - ez egy igaz állítás. Forma tagadása ezt az állítást.
# 256;: "3 + 4 ≠ 7" (három plusz négy nem egyenlő a 7 „), ez lesz a hamis állítás.
2. A "7> 9" - ez egy hamis állítás.
`B:„Nem igaz, hogy 7> 9" vagy »7 nem több, mint 9«. „Nincs több” szó „kisebb vagy egyenlő”, így a karakterek `Vzapishetsya:«7≤9», ez egy igaz állítás.
Meghatározása tagadás nyilatkozatokat lehet rögzíteni egy úgynevezett igazság táblázat.
Úgynevezett igazság táblázat egy olyan táblázat, amely be van állítva az igazság értékét összetett utasításokat különböző kombinációi igazság értékeket alkotó elemi kijelentéseket.
TABLE utasítások tagadja az igazság: