Diskuze: mat logika.

Matematika a fyzika mat logika.

Avatar
style
Člen
Avatar
style:

Nazdar mohol by mi niekto vysvetlit preco pre

e(x) = 5, e(y) = 12.
Jazyk L = {=, <, +}, v interpretaci N
  1. N Z= (x < y ∨ x = y ∨ y < x) ? Ano.
  2. N Z= (x < y)? Ne.
  3. N Z= ¬(x < y)? Ne.
  4. N Z= (∀x)(∃y)(y < x)? Ne.
  5. N Z= ¬(∀x)(∃y)(y < x)? Ano.

je 2 ,3 a 4 nepravda? predsa 5<12 = 3 je negacia dvojky a taktiez je nepravda . SOm z toho celko mimo :D , dik za odpovede.

 
Odpovědět 28.11.2015 22:50
Avatar
David Janoušek:

Podle mě je to vcelku prosté. e je funkce, do které vkládáš argument funkce x a y. Ty pouze víš, jaká je funkční hodnota, ale nevíš co je x a y ani co je to za funkci, tzn. nemůžeš ze znalosti funkční hodnoty jednoznačně říct, že x < y a obráceně, když vůbec nevíš, co to je za čísla.

Akceptované řešení
+20 Zkušeností
+1 bodů
Řešení problému
 
Nahoru Odpovědět 29.11.2015 11:49
Děláme co je v našich silách, aby byly zdejší diskuze co nejkvalitnější. Proto do nich také mohou přispívat pouze registrovaní členové. Pro zapojení do diskuze se přihlas. Pokud ještě nemáš účet, zaregistruj se, je to zdarma.

Zobrazeno 2 zpráv z 2.