"suletudpuuga" - 1 õppematerjal

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

e)Universaalloogikaharusse Vastus: d 6) Millisetuletusreeglipõhjalsaabeeldustest (A → J &¬B → L)→ (C↔ D) ja (E ↔ F) → (A → J & ¬B → L) tuletada(E ↔ F) → (C ↔ D)? a)Konjunktsioonireegli b)Hüpoteetilisesüllogismireegli c)Neeldumisereegli d)Lihtsustusreegli e)Lisamisreegli Vastus:b 7) Millega on tegemistlõpetatudtõesuspuupuhul, kuiselles on avatudvähemaltüksharu? a)Mittekehtivapuuga b)Lahtisepuuga c)Avatudlõpetatudpuuga d)Avatudpuuga e)Suletudpuuga Vastus: d 8) Milliseljuhul ontegemist modus ponens’iga? a)A → B, B ⊨ A b)¬A → B, ¬A ⊨ B c) A → ¬B, ¬A ⊨ B d)A → B, ¬B ⊨ ¬A e) ¬A → ¬B, B ⊨ A Vastus: b 9) Mismäärabpredikaatarvutuseshulkavõikogust? a)Muutuja b)Predikaat c)Konstant d)Kvantor e)Metasümbol Vastus: d 10 )Millal on väidetestkonstrueerituddisjunktiivselnormaalkujulkoostatudvalemtõene? a)Kui on tõenevähemaltükskonjunktidest b)Kui on tõenevähemaltüksdisjunktidest