modern számítógépek alapuló "ősi" elektronikus számítógépek, mint az alapvető működési elvek alapulnak bizonyos kívánságot.Ezek az úgynevezett törvényei matematikai logika.Az első ilyen fegyelem leírták (természetesen nem olyan részletes, mint a jelenlegi formájában) ókori görög tudós Arisztotelész.
Bemutatása egy külön ága a matematika, ahol tanulmányozzuk a propozicionális kalkulus, algebra, logika számos jól összehangolt megállapításait és következtetéseit.
Annak érdekében, hogy jobban megértsük a témában, elemezni fogalmak, amelyek segítségével a jövőben tanulni jogszabályok matematikai logika.
Talán a legfontosabb kifejezés a tanulmány fegyelem - nyilatkozatot.Ez a fajta nyilatkozatot, hogy nem lehet egyszerre igaz és hamis.Mindig jellemezve csak az egyik ilyen jellemzőkkel.Ez feltételesen elfogadta az igazságot, hogy az 1 érték, hamis - 0, és hívja magát egy nyilatkozatot néhány latin betű: A, B, C Más szóval, a képlet = 1 azt jelenti, hogy az állítás A igaz.A nyilatkozatok jöhet sok különböző módon.Röviden úgy a fellépések, hogy meg tudod csinálni velük.Megjegyezzük azt is, hogy a törvények matematikai logika lehetetlen megtanulni ismerete nélkül a szabályokat.
1. diszjunkcióját két állítás - a művelet eredményeként a "vagy".Ez lehet akár hamis vagy igaz.Használja a jelképe «v».
2. együttállás. eredmény az ilyen cselekmények elkövetését két állítás, lesz egy új nyilatkozatot csak akkor igaz, ha mindkét állítás igaz forrása.Használd az "i" szimbólum "^".
3. vonzata. Operation "Ha egy, akkor B".Az eredmény egy nyilatkozatot, hamis, ha az igazság az A és B használják a hamisság szimbólum «- & gt;».
4. Az egyenértékűséget.Működés «A akkor és csak akkor, ha B".Ez az állítás igaz, ha mindkét változó azonos értékelést.Használja a jelképe «& lt; - & gt;».
Van is egy sor művelet, hasonló a hatása, de ebben a cikkben, akkor nem kell figyelembe venni.
most vizsgálja részletesen az alapvető törvényei matematikai logika:
1. A kommutatív és kommutatív kimondja, hogy a változást a logikai műveletek kötőszavak vagy diszjunkcióban az eredményt nem befolyásolja.
2. asszociatív vagy asszociatív.E törvény szerint, a változók a műveletek együttes és a szétválás lehet csoportosítani.
3. Distribution vagy a forgalmazás.A lényege a törvény, hogy ugyanaz a változók az egyenletekben figyelembe lehessen venni arra megváltoztatása nélkül a logika.
4. A törvény de Morgan (inverzió vagy tagadás).Tagadja műveletek egyenértékű együttállása diszjunkció tagadása az eredeti változók.Denial of diszjunkcióját, viszont egyenlő a kötőszó a tagadása ugyanazon változók.
5. Double Negative.Tagadása nyilatkozatot eredményez kétszerese az eredeti kijelentés háromszor - annak tagadásával.
6. idempotency törvény az alábbiak szerint logikus kívül: xvxvxvx = x;szorzás: x ^ x ^ x ^ = x.
7. A törvény nem ellentmondás kimondja: a két kijelentés ha ellentmondásosak, ugyanakkor nem lehet igaz.
8. A törvény a kizárt közepén.Között a két egymásnak ellentmondó nyilatkozatokat egy - mindig igaz, más - hamis, nincs középút.
9. A törvény a felszívódás lehet írni úgy, hogy logikus kívül: XV (x ^ y) = x, a szorzás: x ^ (xvy) = x.
10. törvény kötés.Két szomszédos kötőszavak képesek akadnak össze, amely egy közösen alacsonyabb rangú.Amikor ez a változó, amelyben az eredeti együtt ragasztott eltűnik.Példa logikai kívül:
(x ^ y) v (-x ^ y) = y.
vettük csak a leggyakoribb törvényei matematikai logika, amely valójában nem sokkal több, mint az gyakran a logikai egyenletek szert hosszú és díszes megjelenését, amely lehet vágni alkalmazásával számos hasonló törvényeket.
Mint általában, a kényelem számít, és azonosítják az eredmények felhasználásával asztalt.A hatályos törvényeket, a matematikai logika, az asztal, amely általános szerkezetét a rács téglalap által festett terjesztése minden változó egy külön cellában.A nagyobb egyenlet, annál könnyebb megbirkózni vele táblázata felhasználásával.