"ainultsiis" - 1 õppematerjal

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

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 c)Ainultsiis, kui on tõesedkõikkonjunktid d)Ainultsiis, kui on tõesedkõikdisjunktid e)Ainultsiis, kuitõesedkõikkonjunktidjakõikdisjunktid Vastus: a