egyenértékűség működés egyesíti két állítás azonos igazság értékeket

egyenértékűség működés egyesíti két állítás azonos igazság érték. Ezért ez egyenértékű, egyrészt, igaz állítás, de a másik - hamis állítások. Ellenkező esetben, a nyilatkozatok nem tekinthetők egyenértékűnek. Ebből kiindulva ez a konstrukciója egyszerű igazság táblázat egyenértékűség szimbólum, amely arra szolgál, mint a nyíl az átellenes végein (táblázat. 5).

Ekvivalencia lehet szavakba önteni a természetes nyelv „akkor és csak akkor, ha” és mint ilyen, gyakran megtalálható a készítmény tudományos definíciók.

Továbbá tablespace meghatározása logikai műveletek (kivéve a tagadás) lehet meghatározni egyéb, a kötelező alkalmazása tagadás. Valóban, a táblázatos módszerrel (fület. 6), láthatjuk, hogy ez a kifejezés (x → y) és (¬y → ¬x) egyenértékűek, azaz (X → Y) ↔ (¬u → ¬x).

Minden sor az első és a második vonzata fordítottja (reverz) kapott permutációs negatívok tag és második tag első egymással megegyezik. Következésképpen ezeket a következményeket egyenértékűek.

Az igazság táblázat segítségével ellenőrizheti, hogy a másik logikai műveletek által meghatározott másik két, a második művelet mindig negatív lesz. Például egy diszjunkció lehet kifejezni a összefüggésben (X Ú y) ↔ (¬x Ù ¬y).

Eljárás létrehozó igazság bonyolult kimutatások kialakított egyszerű táblázat segítségével javasoltak amerikai logikus CS Pier és nagyon kényelmes. Mint láttuk, ez a módszer kombinációján alapul az igazság értékeit egyszerű mondatokat, és az azt követő, az igazság kijelentések bonyolult alkalmazásával kialakított tagadása műveletek összefüggésben, diszjunkció és vonzata. Például, ha van két állítások, a számos különböző kombinációi igazság értékeket egyenlő 4, amikor három - 8, négy - 16, és ennek következtében, egy adott számú n értéke 2 # 8319;. Ezért is nehéz észrevenni, hogy a meghatározás az igazság egy komplex megnyilatkozás csökken lényegében a számítás értéke alapján az igazság egyszerű mondatokat. Ezt a benyomást erősíti, ha mi jelöljük az igazságtól, mint az 1. és hazug, mint 0, és összekapcsolják őket, hogy egy tagadás, konjunkció, diszjunkció, stb Illusztrációként, kiszámítjuk az igazság értékét a következő kifejezés: (X Ú y) → (x Ù z).

Egy bizonyos készség, akkor felgyorsíthatjuk a számítási folyamat, fizető fő figyelmet az alapvető művelet, amely összeköti a két rész a képlet. Ebben a példában (táblázat. 7.) elegendő megjegyezni, hogy a hamis következtetés akkor történik, amikor igazi előzménye és ennek következtében hamis. Ezért könnyen meghatározza a lehetséges értékek az x és y a diszjunkciót (X Ú y) és az értékek az X és Z együtt (x Ù z). Ez rövidített számítási módszere komplex kifejezések igazság alapján létrehozó fő logikai művelet az adott formula.