Vajad kellegagi rääkida?
Küsi julgelt abi LasteAbi
Logi sisse
Sulge

"tervikelementi" - 2 õppematerjali

LOOGIKA PÕHIREEGLID-SEMANTILINE KOLMNURK Loogika määratlemisest
348
pdf

LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK Loogika määratlemisest

kokku langeda. Analoogiliselt kehtiva arutlusega (vt definitsiooni 5.3) saab määratleda ka kehtiva järeldamise: järeldamine (järeldamise protsess) on kehtiv siis ja ainult siis, kui ei ole loogiliselt võimalik, et protsessi eeldused on tõesed väited, aga lõppjäreldus on väär. Järeldamise protsessis võib olla üks või mitu arutlust. Üht konkreetset arutlust võib järeldamise protsessis vaadelda kui üht järeldamise protsessi tervikelementi, kui üht järeldamise sammu. Kui järeldamise protsessis on ühe arutluse (sammu) lõppjäreldus teise arutluse (sammu) eeldus (või üks selle eeldustest), siis moodustavad need arutlused järeldamise ahela, milles esimese arutluse (sammu) lõppjäreldus on järeldamise protsessis vahetulemus. Järeldamise protsessis võib iga konkreetse arutluse (sammu) iga eeldus olla üks algsetest eeldustest või üks vahetulemustest. Järeldamisprotsessis võib üks vahetulemus olla

Õigus → Õigus
44 allalaadimist
LOOGIKA PÕHIREEGLID-SEMANTILINE KOLMNURK
197
pdf

LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK

kokku langeda. Analoogiliselt kehtiva arutlusega (vt definitsiooni 5.3) saab määratleda ka kehtiva järeldamise: järeldamine (järeldamise protsess) on kehtiv siis ja ainult siis, kui ei ole loogiliselt võimalik, et protsessi eeldused on tõesed väited, aga lõppjäreldus on väär. Järeldamise protsessis võib olla üks või mitu arutlust. Üht konkreetset arutlust võib järeldamise protsessis vaadelda kui üht järeldamise protsessi tervikelementi, kui üht järeldamise sammu. Kui järeldamise protsessis on ühe arutluse (sammu) lõppjäreldus teise arutluse (sammu) eeldus (või üks selle eeldustest), siis moodustavad need arutlused järeldamise ahela, milles esimese arutluse (sammu) lõppjäreldus on järeldamise protsessis vahetulemus. Järeldamise protsessis võib iga konkreetse arutluse (sammu) iga eeldus olla üks algsetest eeldustest või üks vahetulemustest. Järeldamisprotsessis võib üks vahetulemus olla

Matemaatika → Matemaatika ja loogika
33 allalaadimist


Sellel veebilehel kasutatakse küpsiseid. Kasutamist jätkates nõustute küpsiste ja veebilehe üldtingimustega Nõustun