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

Otsingule "alamtuletusteks" leiti 1 fail

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...

Loogika - Tartu Ülikool
37 allalaadimist


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