Propozicionális logika

Ahhoz, hogy határozza meg a „propozicionális logika”, meg kell értenünk, mi a „nyilatkozat”.

Tehát az a kijelentés egy olyan mondat, rangsorolt nyelvtanilag helyes, és hamis, vagy igaz. Ez a fogalom kell kifejezni egy bizonyos jelentése. Például az „kanári madár van egy” a következő elemeket tartalmazza: „kanári” és a „madár”.

Ezért az egyik legfontosabb kezdeti koncepciók logika és mondanak. Ezek a fogalmak kell mutatniuk egy konkrét helyzetben, amikor az állítás sem valami vagy elutasítást.

Úgy ítélik meg, hogy egy igaz állítás, ha a jelzővonal valóságban a helyzet, amikor azt körülvevő. Önmagukban, a „hamis” és a „valódi” határozza meg az igazságot a kimutatásokban.

Propozicionális logika áll az egyszerű és összetett kifejezéseket. Szóval, csak gondolom, hogy a nyilatkozatot, hogy nem tartalmazza az összetételében más kifejezéseket. És a komplexumban kifejezések származnak egyszerű, logikailag összefüggő nyilatkozatokat.

Klasszikus propozicionális logika leírható az általános elmélet a levonás. Ez az a része a logika, amely leírja nem függ a nyilatkozatokat logikai kapcsolat az egyszerű kifejezéseket.

Nem is beszélve a kötőszavak - is nehéz feladat kombinálásával kapott két egyszerű kifejezéseket használva az „és”. Az igazság az, hogy minden együtt megerősítik nyilatkozatait felépítését. Abban az esetben, ha legalább az egyik tagja egy hamis, az egész együttes jele „hazugság”.

Önmagában is együtt alkotják a komplex nyilatkozatokat, melyek alapján ezeket a feltételezéseket:

- bármilyen kifejezés (és az egyszerű és komplex) lehet igaz vagy hamis;

- az igazság az összetett kijelentések függ az igazság a szereplő állítások, és a logikai kapcsolatok is.

Ha két kimutatások segítségével a „vagy” szó már kapott az eltérésre. A mindennapi életben ez a koncepció is szemszögéből nézve két különböző jelentése van. Először is, nem kizárólagos értelemben, ami azt jelenti, az igazság kifejezése, függetlenül a valódi kifejezése az egyik, vagy azok azok a kettő. Másodszor, kiküszöbölve az értelemben azt állítja, hogy a kifejezések egyike igaz, a másik - hamis.

Propozicionális formulák tartalmazhat különleges karaktereket. Így a szétválasztás szimbólum V jelzi, hogy a kifejezés igaz, ha az igazság legalább egy olyan megállapítást tesz, és hamis, ha mindkét lány hamis pénisz.

Annak megállapítására, az kihatással van az az állítás, hogy az alap állítások nem lehet igaz a rossz vizsgálatot. Más szóval, ez a fogalom magában függőség igaz vagy hamis voltát a kifejezés értékét a komponensek és módszerek azok kapcsolatait.

Annak ellenére, hogy a hatása nem elég hasznosak lehetnek bizonyos célokra, ez nem nagyon megfelel a hagyományos értelemben a kommunikáció általában. Tehát, ha az eszközt körülveszi sok fontos jellemzői a logikai viselkedését a kimutatások adott fogalom nem lehet megfelelő leírását.

Propozicionális logika megoldását célzó olyan központi feladat, mert az elválasztás helyes és helytelen áramkörök érvelés és rendszerezése először. Ahhoz, hogy a megfelelő eredmény, akkor kell, hogy összpontosítson a speciális karaktereket, amely képviseli az egyik vagy másik formában. Ezért érdeklődést mutatott ilyen látszólag jelentéktelen szavakat, mint a „vagy”, „és”, stb

Logic kimutatások még megvan a saját nyelve, amely a következő elemeket tartalmazza:

- az eredeti karakterek - változók logikai állandók és műszaki szimbólumok;

- képleteket.

A jobb megértés, amit már azt mondta, hogy kell menni a konkrét példákat. Például az összefüggésben használja a szimbólum diszjunkció - \ / vagy \ ° /.