meghatározni a "propozicionális logika", meg kell, hogy világosan megértse, mi a "nyilatkozat".
Tehát a kijelentés egy olyan javaslat, rangsorolt nyelvtanilag helyes, és hamis, vagy igaz.Ez a fogalom ki kell fejeznie egy bizonyos értelme.Például, a kifejezés "kanári madarak" a következő elemeket tartalmazza: "kanári" és a "Madár".
Ezért az egyik legfontosabb kezdeti elképzelések a logika és mond.Ezek a fogalmak leírására a konkrét helyzetet, amelyben a kijelentés sem valami, vagy elutasítást.
True kell tekinteni, mondván, ha nyomon követhető online valóságban a helyzet, ha azt körülvevő.Magukat "false" és a "valódi" határozza igaz állítás.
logikája nyilatkozatok áll az egyszerű és összetett kifejezéseket.Szóval, csak gondolom, hogy a nyilatkozatot, hogy nem tartalmaz-e az összetételét más kifejezéseket.És a komplexumban kifejezéseket, amelyek abból az egyszerű, logikusan összefüggő nyilatkozatai.
klasszikus propozicionális logika által képviselt általános elmélet levonás.Ez az a része a logika, amely leírja nem függ a szerkezet mondatok logikai kapcsolatok egyszerű kifejezéseket.
Nem is beszélve a kötőszavak - komplex nyilatkozatot, kombinálásával nyert két egyszerű kifejezéseket használva az "és".Az igazság az összefüggésben megerősíti a pontosság az összes nyilatkozatait felépítését.Abban az esetben, ha legalább az egyik tagját hamis, az egész együtt annak a jele, "hazugság".
együtt maga is szolgál, hogy létrehozzák a komplex kimutatások, amelyek alapján ezeket a feltételezéseket:
- bármilyen kifejezés (egyszerű és összetett) 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 benne.
Amikor csatlakozik a két kijelentés a "vagy" szó már megszerezte a szétválás.A mindennapi életben, ez a koncepció is megtekinthető szemszögéből két különböző jelentéssel.Először is, ez nem kizárólagos értelemben, ami azt jelenti, az érvényességét kifejezés, függetlenül az igaz expresszióját egy vagy két ilyen, ezek mind.Másodszor, így nincs értelme azt állítja, hogy a kifejezések egyike igaz, a másik - hamis.
képletek propozicionális logika tartalmazhat különleges karaktereket.Így a diszjunkció szimbólum V jelöli a tény, hogy a kifejezés igaz az igazság legalább egy olyan megállapítást tesz, és hamis, ha mindkét tagja hamis.
meghatározásakor a vonzata van egy nyilatkozatot, mondván, hogy az alap nem lehet igaz a rossz vizsgálatot.Más szóval, ez a koncepció olyan jelen igaz vagy hamis voltát a kifejezés értékét az eszközöket és módszereket a köztük lévő kapcsolatokat.
Annak ellenére, hogy a hatása meglehetősen bizonyos célokra hasznos, nem nagyon megfelel a megértése a kondicionált kapcsolat általában.Így sok fontos vonások körülveszi a készülék logikus viselkedés mondván ez a fogalom nem megfelelő leírását.
logikája nyilatkozatok kezelését célzó ezt a központi problémát, mivel a szétválasztás a helyes és helytelen érvelés rendszerek és rendszerezése, az első.Ahhoz, hogy a megfelelő eredményt, akkor kell összpontosítania a speciális karaktereket, amely képviseli az egyik vagy másik formája.Ezért a kijelölt érdeklődés az ilyen látszólag jelentéktelen szavak, mint "és", "és", stb
logikai kijelentések is, megvan a saját nyelve, amely a következő elemeket tartalmazza:
- az eredeti karakter - változók, állandók és logikai technikai jelek;
- tápszerek.
Ahhoz, hogy megértsük, amit már mondtam kell menni konkrét példákat.Például, az együttes jelképe & amp; diszjunkció - \ / vagy \ ° /.
