Nyilatkozat (logikai)
Nyilatkozat - egy javaslatot, amely kifejezi az ítélet. Ha az ítélet tartalmát (a szó) egy mondat igaz, és ez a kijelentés azt mondja, hogy ez igaz. Hasonlóképpen, az úgynevezett hamis állítás, ami a kifejezés egy hamis ítéletet. Az igazság és a hazugság nevezzük logikai vagy igazat, propozicionális értéke [1].
A nyilatkozat kell kijelentő mondat. Megnyilatkozások általában szembe felszólító, kérdő, és bármely más javaslatok értékelése igaz vagy hamis voltát, amelyek nem [2].
tartalom
Ugyanezen ítélet lehet kifejezni különböző nyelveken és különböző szimbolikus formák egy adott nyelven belül. Ha az ítélet tartják kapcsolatban bármilyen különleges formája a nyelvi kifejezés, hogy hívják a nyilatkozatot. Az „ítélet” az, amely eltérített mi a szimbolikus formában. [3]
Logikai állítások osztható elemek (vagy komplex), és elemi. Vegyület logikai állítások - megnyilatkozást tartalmazó logikai állandók. Összetett kifejezések épülnek egyéb nyilatkozatokat. Logikai érték határozza kijelentések bonyolult logikai értékű összetételét és azok, propozicionális logika állandó, amellyel épül [1].
Elemi logika nyilatkozatai - nyilatkozatok nem releváns a vegyületet. Egy példa az elemi kijelentés szolgálhat 5 <7. Примером составного логического высказывания может служить если 5 <7, то 5 — чётное число [1] .
A logikai állandó (konstans logika [4], a logikai műveletet [5]) - távú neve megtartja ugyanazt az értéket minden megnyilatkozások és nem függ egy adott megnyilatkozás tartalmat. Logikai állandókat csatlakozáshoz használt egyszerű mondatokat a komplex [6]. Logic állandó osztva kvantifikátorok és logikai egyesületek (az ínszalag). A szavak nem; Igaz, hogy; és; vagy; if. akkor; akkor és csak akkor, sem. sem; következetlen; sz. none; sz. de; de ezek szinonimái a következő logikai művelet, szóval mindenki számára. a helyzet, hogy; néhány. az esetben, ha azok jönnek szinonimák mennyiségileg. A logikai konstansokat kifejezésére gondolatok Alkalmi érvelés és tudományos bizonyítékok. [1]
A matematikai logika logikai állandók a következők szerint jelöljük szimbólumok: [6]
Logic szakszervezetek a nyelv részévé propozicionális logika, kvantifikátorok tovább bevezetésre elsőrendű logika nyelve, amely egy kiterjesztése a propozicionális logika nyelv [7].
A logikai alany -, hogy mit mondanak a mondat (nyilatkozat) [8], akkor mik a szereplő javaslatok jóváhagyására vagy elutasítást. [9] Egy logikai állítmány - szereplő mondat (megnyilatkozás) az információkat a logikai alá [10].
A szerepet játszott a prostnye logika és összetett nevek, szerepe a logikai predikátumok - előrejelzője (vagy predikátumok [11]). Az utóbbiak közé tartozik a tulajdonságok és kapcsolatok [9]. Előrejelzői szolgálnak tárgya igazság kijelző, amely tárgyak egy bizonyos osztályba az „igaz” vagy „hamis”. A tulajdonságok egyetlen prediktor, amely leírja egy külön téma, és a kapcsolatok - sok-jellemző egy pár, három, stb tételek [11] [12]. Szükségtelen megnyilatkozás esetében Multi-prediktor tartalmaz több logikát, hogy [13].
Propozicionális formában (forma megnyilvánulás predikátum [9]) hiányos logikai állítás, ahol az egyik a tárgyak helyébe egy alany változó. Behelyettesítve ilyen változó értéke propozicionális formában megnyilatkozás alakítjuk [1]. Mivel az objektum változók természetes nyelv a közhasználatban képviselő osztályok az objektumok és cserélhető formalizált nyelvek speciális karaktereket. A forma hasonló a nyilatkozatot, de ez sem nem igaz, sem nem hamis (halványan igaz), mivel nem lehet tudni, hogy mi a megerősítés vagy a tagadás. [9]
nyilatkozatok forma igényli kiegészítései, hogy a jóváhagyás megtagadása vagy ítélet vonatkozik minden, vagy nem minden tárgy annak az osztálynak, amely adott generikus név. A funkció ezeket a mutatókat működnek kifejezett vagy hallgatólagos kvantifikátorok. Nem lehet értékelni, igaz vagy hamis propozicionális formában, mint az ember - csak. A fenti mondat hasonló kifejezés y - csak. Ebben a formában, akkor kap az állítás helyett egyetlen közös név: Ivanov - csak, vagy beírja a kvantorokat: Néhány ember tart. Kimutatások segítségével kvantifikátorok kifejezni több - állami és magán - vélemények [9].