Plaanid puhkusele minna? Võta endale majutus AirBnb kaudu ja saad 37€ kontoraha Tee konto Sulge
Facebook Like

Otsingule "alamtuletusi" leiti 4 faili

348
pdf

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

Tingimusliku (konditsionaalse) tõestuse puhul sisaldab tuletuse jada lõike, mis sõltuvad lisaks üldistele eeldustele ka hüpoteesist p kui täiendavast eeldusest. Sellist lõiku nimetatakse alamtuletuseks ning seda tähistatakse püstjoonega vasakul pool. Alamtuletuse sees võib olla veel täiendavaid alamtuletusi . Need tähistatakse täiendava joonega valemitest vasakul, ent peamisest joonest paremal pool. Seega võib joone kõrval olla veel jooni. Väljaspool konkreetset alamtuletust ei tohi selle alamtuletuse sammude vahetulemeid kasutada. Tingimusliku tõestuse lisaeeldust märgitakse mõnel pool kui AP (assumed premise). Joonis 9.1. Tingimuslikku alamtuletuse lõiku sisaldav tuletuse skeem. Alamtuletuse pikkus on m – n + 1 sammu. N9.3....

Õigus - Sotsiaal-Humanitaarinstituut
25 allalaadimist
30
docx

Loogika

Tingimusliku(konditsionaalse) tõestuse puhul sisaldab tuletuse jada lõike, mis sõltuvad lisaks üldistele eeldustele ka hüpoteesist p kui täiendavast eeldusest. Sellist lõiku nimetatakse ALAMTULETUSTEKS ning seda tähistatakse PÜSTJOONEGA VASAKUL POOL. ALAMTULETUSE sees VÕIB OLLA veel ALAMTULETUSI . TÕESUSPUU abil kontrollitakse, kas saab olla nii, et arutluse eeldused on tõesed, aga järeldus on väär. Kui kõik puus esinevad valemis on lammutatud literaalideni, siis nimetatakse seda puud LÕPETATUKS. SÜLLOGISMID LIITVÄIDETEGA Kui p, siis q nimetatakse TINGIMUSLIKUKS LAUSEKS Lause p on alus ehk ANTETSEDENT Lause q on tagajärg ehk KONSEKVENT HÜPOTEETILISED SÜLLOGISMID TINGIV SÜLLOGISM ehk hüpoteetiline süllogism on...

Loogika - Tartu Ülikool
37 allalaadimist
14
docx

Loogika eksamiks küsimused - vastused

Kana kaagutab, seega ta muneb.“ Millise süllogismi moodusega on tegu? Kehtiv modus tollens 9. Milline allpool toodud operaatoritest on aleetilises loogikas üks kahest peamisest operaatorist? Võimalikkuse operaator 10.Milline järgnevatest väidetest on väär?  Alamtuletuste sees ei tohi olla täiendavaid alamtulemusi.  Tingimuslik tõestus sisaldab alamtuletusi .  Väljaspool alamtuletust ei tohi kasutada alamtuletuse sammude vahetulemeid.  Väljaspool alamtuletust tohib kasutada alamtuletuse lõppjäreldust.  Kaudne tõestus sisaldab alamtuletusi. 11.On antud laused: „Kodakondsusamet väljastas eelmisel aastal üle tuhande trükiveaga passi.“ ja „Baaris külastajaid rannarõivaste ja rulluiskudega ei teenindata.“ Milline materiaalne...

Loogika - Tartu Ülikool
133 allalaadimist
197
pdf

LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK

LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK Loogika määratlemisest Sõna loogika näib olevat kujunenud kreeka väljendist logik¾ tscnh, mis tähendab mõtlemise või arutlemise kunsti. Kui püüda mõista, mis on loogika, siis üks võimalus on lähtuda selle sõna kasutamisviisidest tavakeeles. Eesti keelt kõneldes...

Matemaatika ja loogika - Eesti Ettevõtluskõrgkool Mainor
3 allalaadimist


Logi sisse ja saadame uutele kasutajatele
faili e-mailile TASUTA

Faili allalaadimiseks, pead sisse logima

Kasutajanimi / Email
Parool

Unustasid parooli?

UUTELE LIITUJATELE KONTO MOBIILIGA AKTIVEERIMISEL +50 PUNKTI !
Pole kasutajat?

Tee tasuta konto

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