Matematické Fórum

marros11 · 02. 03. 2010 15:12

Ahoj mam problem s formalizaci vety do PL1. Zadani:
Následující větu formalizujte pomocí PL1 a určete interpretaci, která je její model i interpretaci,
která není modelem. Pokud některá interpretace neexistuje, zdůvodněte proč.

Existuje někdo takový, že pokud je líný, potom je každý líný.

Dekuji za jakkoukoli radu a pomoc pri reseni.

Kondr · 02. 03. 2010 17:38

A co je na tom zajímavého?

$\exists x:(Liny(x)\Rightarrow \forall y: Liny(y))$

marros11 · 02. 03. 2010 19:23

↑ Kondr:
nevim jak mam urcit interpretaci a co je model a co neni model, tomudle nerozumim. Ten formalni zapis je mi uz jasny, dekuji za nej...

Kondr · 02. 03. 2010 19:29

Interpretace, která je modelem, je třeba taková, že jsou lidé x a y, x není líný a y je líný.

Interpretace, která není modelem nemůže pro nenulový počet lidí nastat.

marros11 · 03. 03. 2010 06:48

↑ Kondr:
Dekuji za vysvetleni prikladu, ted uz tomu rozumim.

Matematické Fórum

#1 02. 03. 2010 15:12

Formalizace vety pomoci PL1

#2 02. 03. 2010 17:38

Re: Formalizace vety pomoci PL1

#3 02. 03. 2010 19:23

Re: Formalizace vety pomoci PL1

#4 02. 03. 2010 19:29

Re: Formalizace vety pomoci PL1

#5 03. 03. 2010 06:48

Re: Formalizace vety pomoci PL1