Mi egy logikai nyilatkozatot ?

Nyilatkozatok biztosítják az alapot a rajz érvényes következtetések logika , hanem a matematika és a filozófia is használja a logika kimutatások építésére érvényes érvek és következtetések levonása . Annak ellenére, hogy lehet, hogy nem tűnik el , ha kint a terem , akkor használja a logika kimutatások köznyelvben a relé információkat a többi ember , és felhívni a saját conclusions.Logic mondatok

A nyilatkozatot egy olyan mondat , hogy kijelenti, valami , és hogy lehet ellenőrizni vagy igaz, vagy hamis . Mondat töredékek , kérdések és parancsok nem logikai állítások , mert nem deklaratív , teljes mondatokat .

Például: " Az autó kulcsok a fiókban " egy logikai állítás , mert ez egy teljes mondatot, és kijelenti, valami, amit lehet ellenőrizni , igaz vagy hamis . Meg tudja nézni , hogy ha valami egy logikai állítás hozzáadásával : " Az igaz, hogy ... ", hogy az elején a mondat . Ha még mindig van értelme az "Igaz, hogy ... " előtte , ez egy logikai állítás
feltételes utasítás

A feltételes logika nyilatkozat olyan nyilatkozat arról, hogy készült fel a két feltétel , ahol az egyik feltétel függ a másik . Az egész feltételes állítás , hogy igaz legyen , a függő feltétel igaznak kell lennie , ha a másik igaz Tekintsük például a következő feltételes állítás : "Ha tanulok , akkor kapok egy jó minőségű. " Ha a vizsgálat , és kap egy jó minőségű , akkor a feltételes állítás igaz; Azonban, ha tanulni, és ha nem kap egy jó minőségű , akkor a feltételes állítás hamis .
használata Logic kimutatások

kimutatások logika arra használják, hogy megalapozottan . A következtetés akkor érvényes, ha az összes helyiség vezető ez a következtetés igaz . Vegyük például az alábbi állítások : Matton

"Ha tanulok, akkor kap egy jó minőségű . " Photo

" tanultam . " Photo

Ha feltételezzük, hogy tanul garanciák egy jó minőségű , így az első feltevést igaz , és hogy te tanulmány , így a második premissza igaz , akkor megállapíthatjuk , hogy kapott egy jó minőségű .
Egyéb szempontok

a változók gyakran könnyen megláthassa a kapcsolat két logikai állítások , anélkül, hogy átírja a teljes nyilatkozatot minden alkalommal, amikor akar beszélni a kapcsolat a kettő között . Ehhez meg kell rendelni változó az egyes állítások . A példa a 3. szakaszban a két állítás készül a következők: " tanulok " és az " én kap egy jó minőségű. " Legyen P egyenlő " tanulok " és Q egyenlő "Én kap egy jó minőségű " :

Ha P, akkor Q

P ezért Q.