Ítélet”, logikai művelet - studopediya
Az emberek közötti kommunikáció egyik formájaként információcsere - etocheredovanie kérdések és válaszok. Minden kérdés „kifejezi, hogy szükség van a tudás információt a környező tárgyi világ, fejezzük ezt a tudást formájában ítéletek Ítéletek képes kifejezni közvetlenül megfigyelni, hogy a tényeket:” Az utcán eső „” Ez a háromszög - egyenlő szárú, „stb, de az ítélet .. kifejezni és kijelentéseket fiktív tárgyakat, vagy még nem prois-menetelő eseményekre: „Mermaid ül az ágak”, „Summer forró lesz”, stb Ebben az esetben az y és d e n s - néhány, a nyilatkozatok, amelyek lehetnek igaz vagy hamis. például az ítélet „hófehér”, „5 * 5 = 25” és Steen és ítélet „Föld lapos”, „2-2 = 5” hamis. Közvetlen kormányzati megfigyelt tényeket, akkor általában elfogadják, mint igaz. Valótlan állítás merülnek fel leginkább azért, mert a vágy, hogy vágyálom vagy hibák miatt érvelés vagy feltételezéseket.
Ítéletek oszlanak állami és magán. Magán ítélete vyrazhayutkonkretnye (privát) tények Példák a saját ítélete, „2 + H = 4” „Ma volt eső,” Általános javaslatok jellemzik a tulajdonságait csoportok tárgyak vagy jelenségek-Ing. Példák az általános kijelentések: „Ha egy zápor, az utca nedves”, „Minden téren egy paralelogramma”, stb Általános javaslatok igaz lehet a ka-Coy része a tárgy, és a hamis, a többi tárgyat. Például, az az állítás: „A kutyák nem szeretik a macskák” spraved-Livo a nagy kutyák száma, de nem minden. Assertion-set "x * y> 0" igaz az x = 1 és y = 1, és ugyanabban az időben a hamis az x = 0 egy tetszőleges pillanatban.
Általános megítélés hívják azonosan igaz. ha ez érvényes bármely tárgy említett ítélet. Tekintsük a példát. A nyilatkozat „x 2 = 0” tart bármilyen valós (anyag-kormányzati) számokat. A nyilatkozat „A macska négy lába” igaz minden a macskák. Azonos igaz kijelentések különösen értékes, ha azok kifejezetten a természetes kapcsolatot a dolgok. Például, az az állítás «a + b = b + a” érvényes minden vesche kormányzati számok, és kifejezi a törvény számtani - »A re-beállítások összeg nem változik.«
A nehéz helyzetekben a választ a kérdésekre által kifejezett összetett ítéletek ínszalagok és vagy nem. Például az „Ez az ember értelmes és szép” egy olyan vegyület javaslat sostoyachschee sor egyszerű állítások :. „Ez egy okos ember”, és „Ez az ember szép”
Ítélet alkotja más megítélés felhasználásával logikai művelet az úgynevezett kompozit ítéletet. Ne vegyület, azaz a logikai művelet nélkül, értékelések nevezzük egyszerű vagy elemi.
Bundle és kompozit sorsú írások mindig magában egyidejű igazság együttes stavlyayuschih ítéletek. Például: szép és okos. Az ítélet lesz igaz, ha ugyanabban az időben lesz egy szép és intelligens. Ha rassmatrivemy idő csak akkor lesz egy szép
Bundle vagy összetett értékelések játszhat kettős lényeges szerepet. Például a mondat: „Ma egy virágzás vagy virágzás” csomagot, vagy lehet helyettesíteni elválasztó „egy”. És az „Az eső lesz, délután vagy este,” három lehetséges helyzetek: „Rain lesz egy nap”, vagy „Rain lesz este.” vagy „Rain lesz éjjel és nappal.” Az első példában, játszik vagy ínszalag-Sec döntő szerepet, míg a második - ötvözi.
A gép minden alkalmazások és matematikai dis-ítéletek csak kéne kezelni az összes szalagok. Ők egy csomó, vagy érteni, csak szélesebb Coy egyesítő szerepet. Például, az a kijelentés ".x = 0 vagy y = 0" ínszalag vagy jelentése vagy "x = 0" vagy "(y = 0" vagy "x = 0"= 0, és" általános szabály. Állítás vegyületet vagy egy csomó matematikai tekinthető igaz, ha igaz, legalább az egyik komponens az ítélet, és a hamis, hamis, ha annak minden részét megtagadása ilyen általános megállapítások alapján a következő két következtetési szabályok :. tagadása és tagadására egyetemesség.
1. Tagadás egyetemesség. Hogy megtagadja az általános megállapítás elegendő ahhoz, hogy legalább egy ellenpélda. Például ott szokott azt állítják, hogy „minden macska fekete” hamis. Cáfolni elegendő példaként bármely macska egy másik szín. A második példa: a nyilatkozat „Minden páratlan számok egyszerű” rossz. Tagadás, például, a 9. számú Ez a szám páratlan, de ez nem egyszerű, mivel a 9 = 3 * 3.
2. Az tagadása létezését. Ahhoz, hogy tagadják az állítólagos kell bizonyítani, hogy hamis az összes eset.
Minden logikai művelet tekinthető végrehajtott művelet a logikai állítások, és jelzik az egyes saját nevét.
4. Pozitív és negatív logika. Ha az elektromos áramkörök logikai elemek számítógépes egység kijelzi a nagy potenciállal és alacsony potenciálját obrazhaet nulla, akkor a logikai nevezzük pozitív (lásd 1. ábra a). Ha éppen ellenkezőleg a nagy potenciállal mutatja a nulla és alacsony potenciális a obrazhaet egység, a logika az úgynevezett negatív (1b ábra). Ez a szabály nevezzük logikai megállapodást.