Logic szimbólumok - studopediya
Speciálisan létrehozott céljából logikai nyelv úgynevezett formális. hétköznapi nyelv szavai helyébe ott az egyes betűket és különféle speciális karaktereket. A formalizált nyelv - „a szimbolikus” nyelv, amelyen nincs szó a köznyelv. A hivatalos nyelv értelmes kifejezések helyébe betűk és szimbólumok, mint a logikai (logikai állandók) használható karakterek szigorúan meghatározott értéket.
Az irodalomban különböző logikai jelölés azonban két vagy több karakter variánsokat az alábbiakban közöljük.
- jelek, amelyek arra szolgálnak, hogy jelezze tagadás; olvassuk: „nem”, „ez nem igaz”;
- jelzéseket diszjunkció, úgynevezett összefüggésben; helyesen: „és”;
- jel jelzi a logikai ínszalag, úgynevezett nem-kizárólagos eltérést, Így hangzik: „vagy”;
- jel szigorú, vagy megszüntetése, a szétválasztás; helyesen: „sem, vagy”;
- jelzéseket a következménye; Így hangzik: „ha, akkor”;
- jelzéseket propozicionális egyenértékűség Így hangzik: „akkor és csak akkor, ha”;
- univerzális kvantor Így hangzik: „minden”, „minden”;
- egzisztenciális kvantor Így hangzik: „ott”, „van legalább egy”;
L, N, - a jelzéseket a modális operátor szükséges; helyesen: „szükséges, hogy”;
M - jel a modális üzemeltetője lehetőségét; helyesen: „lehetséges, hogy”.
Együtt a fenti, a logika több használt rendszerek és egyéb speciális karakterek, minden alkalommal elmagyarázni, hogy mi az adott szimbólum azt jelenti, és hogyan olvas.
Központozási mesterséges nyelv logikai használják, mint a matematika nyelvén, zárójelben.
A) „Aki azt hiszi, világosan, egyértelműen kijelenti,” -; A betű a javaslatot „Az ember azt hiszi, világosan,” In - azt mondja: „A férfi azt mondja egyértelműen,” - egy csomó „ha, akkor”;
B) „He - művelt ember nem igaz, hogy ő nem ismeri Shakespeare szonettek” -; És - a javaslat „Ő egy művelt ember,” B - „Ő nem ismeri Shakespeare szonettek” - egy csomó „és”
B) „Ha a fény egy hullám természete, akkor, amikor megjelenik formájában részecskefolyam (vörösvértestek) hibázni” -; A - „az a hullám természete fény” B - „fény képviseletében a részecske áramlás, a” C - „err”;
D) „Ha volt Párizsban, láttad a Louvre vagy az Eiffel-torony látható” - - „Te voltál Párizsban,” B - „Láttad a Louvre” C - „Láttad az Eiffel-torony.”