Matematické Fórum

Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.

Nástěnka
! 04. 11. 2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
17. 01. 2016 (Jel.) Rok 2016 s novými a novějšími krystaly od kolegy Pavla!
17. 01. 2016 (Jel.) Nabídka knih z oborů matematiky, fyziky, chemie
23. 10. 2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.

Nejste přihlášen(a). Přihlásit

#1 19. 11. 2016 18:31

ZedChu
Zelenáč
Příspěvky: 7
Reputace:   
 

Realizace jazyka M predikátové logiky

Ahoj,

snažím se naučit se predikátovou logiku a v jednom cvičení jsem narazil na problém. Mám najít realizaci pro jazyk s rovností L={n, *}. Formule:

∀x((∀y(x*y=y*x))→x=n)

A musí platit x*n=x ^ n*x=x.

Zkoušel jsem dát operaci * jako násobení, univerzum přirozená čísla, n jako jedna. No ale tak to nevychází, když dám třeba x -> 3, y -> 4, tak vyjde implikace (1 -> 0)=0. Nebo tu logiku nějak špatně chápu?

Díky za pomoc.

Offline

 

#2 29. 12. 2016 17:17

check_drummer
Příspěvky: 2348
Reputace:   64 
 

Re: Realizace jazyka M predikátové logiky

↑ ZedChu:
Ahoj, co zvolit univerzum obsahujcíí jediný symbol "n"?


Cimrmanův botanický kvíz:
Co mají společného byliny kozlík a pivoňka?

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson