| dbo:abstract
|
- Kijelentés alatt olyan mondatot értünk, amelyről egyértelműen eldönthető, hogy igaz vagy hamis. Gyakran kijelentésekből a "nem", "és", "vagy", "ha ... akkor", "akkor és csak akkor" kötőszavak (logikai alapműveletek) felhasználásával úgynevezett összetett állításokat képezünk, melyeknek igazságértékét a bennük szereplő kijelentések igazságértéke határozza meg. A kijelentéslogika segítségével az állítások igazságértékeit matematikai formalizálással meg tudjuk adni. A formalizálásra azért van szükség, mert a természetes nyelvben többértelműség is előfordulhat, így nehéz az érvek helyességét megállapítani. (hu)
- Kijelentés alatt olyan mondatot értünk, amelyről egyértelműen eldönthető, hogy igaz vagy hamis. Gyakran kijelentésekből a "nem", "és", "vagy", "ha ... akkor", "akkor és csak akkor" kötőszavak (logikai alapműveletek) felhasználásával úgynevezett összetett állításokat képezünk, melyeknek igazságértékét a bennük szereplő kijelentések igazságértéke határozza meg. A kijelentéslogika segítségével az állítások igazságértékeit matematikai formalizálással meg tudjuk adni. A formalizálásra azért van szükség, mert a természetes nyelvben többértelműség is előfordulhat, így nehéz az érvek helyességét megállapítani. (hu)
|
