Komplex nyilatkozata - studopediya
A komplex feladat - az egyik, hogy van kialakítva, egyszerű kimutatások segítségével logikai művelet (műveletek) a összefüggésben, diszjunkció, hallgatólagosan, egyenértékűség és tagadás. Így a komplex kimutatás „A lépcsőzetes esik, a napok egyre rövidebbek, és a vonuló madarak mentek melegebb táj” három egyszerű kijelentések, amelyek leírható betűket, mint az A, B, C (mindegyik szimbolikusan képviseli egy egyszerű javaslat részeként komplex mint egy osztatlan egység). Ezt fejezi ki a képlet :. A karakter „” megfelel az „és”. A matematikai logika „” jelöli összefüggésben, és az összetett kijelentés nevű konjunktív.
Diszjunktív összetett ítéletek: „Megyek utazni déli vonattal vagy repülni egy repülőgép.” Formula őt. ahol „” kifejezés olyan szigorú diszjunkció. Szigorú, mert nem tudjuk ugyanakkor, hogy repülni egy repülőgép, és menjen vonattal, ami azt jelenti, hogy vagy, vagy a másik. Mindig az egyik. Variabilitás választékát ad laza eltérésre. Példa: „Ez egy tanuló vagy kerékpáros sakk” van kifejezve a képlet. Csak akkor lehet egy sakkozó, nem egy kerékpáros, és fordítva, és talán mindkettő egyszerre, a nyilatkozat nem változott. Hagyományos tétel: „Ha a tehenek javítja a takarmány a tejhozam növelése” által expresszált → összefüggésben (a) igaz, ha mindkét (vagy az összes) igaz egyszerű ítélete. Szigorú diszjunkció (a) igaz, ha csak egy egyszerű ítéletem igaz. Lax diszjunkció (és) igaz, ha legalább egy egyszerű állítás igaz. A következmény (A → B) igaz minden esetben, kivéve egyet: mikor és - igaz és B hamis. Az egyenértékűség (a) igaz, ha mindkét ítéletei igazak, vagy mindkettő hamis. Tagadás (a) ad az igazság a hazugság, és fordítva. Ha a képlet magában foglalja a három változó (n = 3), majd egy igazság táblázat ez a képlet (beleértve az összes lehetséges kombinációját az igazság vagy a hamis annak változók) áll 2 3 = 8 sor; n = 4 lesz 2 4 = 16 vonalak, és így tovább az n-változós - .. 2 n sort.
Azonosan igaz formula egy olyan formula, amely bármilyen kombinációja értékek annak tagváltozóival értéket veszi az „igaz”. Azonosan hamis képlet, amely ennek megfelelően kapja csak az érték „false”. Működőképes formula lehet venni, mint az értéke „igaz” és „hamis”. Itt van a bizonyíték azonosan igaz formula. Az elosztási algoritmus és értékeket a változók az A és (különösen a három: a, b, c) lehet például. így: az oszlopban az első, és írja 4-szer az "igazság„(I)”és 4-szer„hazugság”,„(A)”; oszlopában, az írás egy első 2-szer „és a” 2-szer „L”, majd ugyanezt megismételjük, és így tovább. d.
És és és és L L L L
ÉS ÉS ÉS ÉS L L L L
IL IL IL IL
L L L L ÉS ÉS ÉS ÉS
L L L L ÉS ÉS ÉS ÉS
LI LI LI LI
ÉS ÉS ÉS ÉS ÉS ÉS LL
És és és és és és A
L ÉS ÉS ÉS ÉS ÉS ÉS
L u L L L L
És és és és és és és és
7. gyakorlat. Vedd szimbolikusan használ logikai egyesületek, az alábbi állítások: pl az ember természeténél fogva jó (a) és a tisztességes (c) .a.
- Felébred reggel, én is egyetemre menni, vagy otthon maradni, és akkor is, ha úgy döntök, hogy egyetemre menni, nem tudom elérni, valamint tartózkodik otthon, hogy valahol a nap folyamán, és szélsőséges esetekben, nem tudok felébredni. - Ha szerelmes vagyok, tudok fordulni mindent megtenni a lehetetlent.
8. gyakorlat. Mi a logikai kopula, amely ezekben a nehéz döntéseket?
1) reggel a dia Sasha leült, repülő gém teljes a boldogság, jeges hegyek (NA Nekrasov) 2) Ha hülye, mindig próbáljuk megmutatni, és nagyobb hangsúlyt a figyelmet. 3) eltitkolja vagy bűnrészesség bűnözők felér egy bűncselekmény, és büntetendő. 4) Hogyan határozható meg a jóság az ember? Jó, ha udvarias, vagy ha történt valami jó neked, vagy ha az egészet úgy jó.
9. gyakorlat. Készítsen egy táblázatot igaz vagy hamis értéket megnyilatkozások bonyolult, válaszd ki a nyelvet megnyilatkozások bonyolult például megfelelő rögzített adatok formájában szimbolikus
10. gyakorlat. Példákat releváns megítélést konjunktív és diszjunktív normál forma.