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

"modaalloogikas" - 2 õppematerjali

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

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

Loogiline ruut esitatakse horisontaalselt paigutatud ruuduna, mille ülemistes tippudes on üldised väited (A ja E) ning alumistes tippudes osaväited (I ja O); jaatavad väited (A ja I) paiknevad vasakul ning eitavad väited (E ja O) paremal. Atributiivsete väidete loogilist ruutu nimetatkse sageli kategooriliste väidete loogiliseks ruuduks. Loogilise ruudu ideestikku ja nimetust on kasutatud ka teistes loogikaharudes, nt 15 modaalloogikas, kuid traditsioonilise loogika raames tähistab väljend „loogiline ruut“ alati kategooriliste väidete loogilist ruutu. D5.8 Loogilise ruudu diagonaal kujutab väidete vasturääkivust ehk kontradiktoorsust: kui üks väide on tõene, siis teine on väär ja kui üks väide on väär, siis teine on tõene. Joonis 5.6. Vasturääkivuse ehk kontradiktoorsuse suhteid on loogilises ruudus kaks. Vasturääkivad (ik contradictories) väidetepaarid on üldjaatav ja osaeitav (A ja O) ning

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

LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK

alumistes tippudes osaväited (I ja O); jaatavad väited (A ja I) paiknevad vasakul ning eitavad väited (E ja O) paremal. Atributiivsete väidete loogilist ruutu nimetatkse sageli kategooriliste väidete loogiliseks ruuduks. Loogilise ruudu ideestikku ja nimetust on kasutatud ka teistes loogikaharudes, nt 15 modaalloogikas, kuid traditsioonilise loogika raames tähistab väljend ,,loogiline ruut" alati kategooriliste väidete loogilist ruutu. D5.8 Loogilise ruudu diagonaal kujutab väidete vasturääkivust ehk kontradiktoorsust: kui üks väide on tõene, siis teine on väär ja kui üks väide on väär, siis teine on tõene. Joonis 5.6. Vasturääkivuse ehk kontradiktoorsuse suhteid on loogilises ruudus kaks. Vasturääkivad (ik contradictories) väidetepaarid on üldjaatav ja osaeitav (A ja O) ning

Matemaatika → Matemaatika ja loogika
33 allalaadimist


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