Lause. Kui indiviidmuutuja ei esine valemis vabalt, siis valemist järeldub valem .
Tõestus.

Märgi kõik laused, mis sobivad tõestusse esimeseks.

Question

Lause.  Kui indiviidmuutuja    ei esine valemis    vabalt, siis valemist    järeldub valem   . 
 Tõestus. 
 
 Märgi kõik laused, mis sobivad tõestusse esimeseks.

Accepted Answer

Fikseerime interpretatsiooni ja vabade muutujate väärtused.

Answer

Fikseerime konkreetsed valemid    ja   .

Answer

Tõestame vastuväiteliselt, et valemist    järeldub valem   ¬∀x(F⇒G(x)).

Answer

Oletame, et järeldumine kehtib.

Answer

Eeldame, et   .

Crowdly

Lause. Kui indiviidmuutuja ei esine valemis vabalt, siis valemist järe...

Want instant access to all verified answers on moodle.ut.ee?