logikai művelet
logikai művelet
Széles körben általánossá öt logikai művelet. Ez a tagadás (ábrázolják jel ¬), összefüggésben (jel), diszjunkció (v jelzés), a hatása (jel) és az egyenértékűség (jel).
Nyilatkozat ¬A (értsd „Nem») azt jelenti, hogy az állítás hamis. Más szóval, ¬A értéke igaz, ha hamis, és hamis, ha A igaz.
Mondván AB (read «A és B») egy nyilatkozat arról, hogy igaz, és az A. és B. Igaz, ha a két állítás igaz az A és B
Mondván A v B ( «A vagy B») igaz, ha igaz, legalább egy olyan megállapítást tesz az A és B
AB nyilatkozat így szól: „A maga után vonja B» vagy «ha a A. B». Ez hamis, ha A igaz, B hamis, igaz, minden más esetben.
Végül AB állítás igaz, ha a kifejezést az A és B közül vagy mindkettő igaz, vagy mindkettő hamis.
Utalni a szerkezetét kapcsolatok használata zárójelben, ahogy történik algebra jelölésére a végrehajtás sorrendje aritmetikai műveletek. Például ¬AB megnyilatkozás azt «A hamis és B igaz”, és a nyilatkozatot ¬ (AB) - «Igaz, hogy az A és B egyaránt igaz.” És ahogy algebra, hogy csökkentsék a számát zárójelben meghatározott elsőbbséget ínszalagok hálózati csatlakozás. Fent már felsorolt egy csomó érdekében lazítás kommunikáció. Például, a összefüggésben kötődik erősebb, mint közvetve, így az ABC kijelentés értelmezni, mint egy (BC), de nem olyan (AB) C. Ez megfelel annak a ténynek, hogy az algebra a + b. c egy + (b. c), de (a + b). c.
Íme néhány példa az összetett utasításokat.
Ismert nyelv twister azt mondja: „sínylődött a kócsag, gém kiszáradt, meghalt egy gém.” Ez a kijelentés felírható: „Heron sínylődött” „Heron sohla” „Heron meghalt.”
Az arány a 0
[(AB) (AB) v (¬A ¬B)] [(AB) v (¬A ¬B) (AB)]
Az olvasó lefordítani hétköznapi nyelven a következő nyilatkozatot:
„A fény be van kapcsolva”, „lámpa nem világít” „Nincs áram a» v «Biztosítók Cső» v «kiégett izzót.”
Ha feltételezzük, hogy a nyilatkozatok csak akkor lehet igaz vagy hamis, és ezen túlmenően, mintegy mondván semmit nem lehet mondani, hogy ezek a szalagok ahhoz, hogy kifejezze az összes elképzelhető design a kimutatásokban. Elegendőek még két zsinór, például tagadása együtt vagy diszjunkció, és tagadás. Egy ilyen helyzet áll elő, különös tekintettel azokra az állításokra matematika. Ezért a matematikai logika más szalagok nem használják.
Azonban a természetes nyelv tükrözi nagyobb változatosság értékelésére állítások, mint a felosztás igaz és hamis. Például, az az állítás lehet tekinteni, mint értelmetlen, megbízhatatlan, bár lehetséges ( „az erdőben, valószínűleg a farkasok”). Ezek a kérdések középpontjában bizonyos szakaszokon a logika, amelyekben más szalagok vannak. Nagy jelentőséggel bír a modern tudomány, ezek a szakaszok (ellentétben a klasszikus matematikai logika) nem rendelkezik, és nem fogjuk kezelni őket.