Matematické Fórum

Torpy · 08. 02. 2011 13:28

Zdravím,
mohl by mi prosím někdo poradit jak rozhodnout následující problém:
"Platí, že má-li $\psi$ jen nekonečné modely, pak $\neg\psi$ má jen konečné modely?"?

Předem díky za každou radu.

check_drummer · 08. 02. 2011 16:46

Nebál bych se tuto otázku zařadit do kategorie zajímavých z logiky.

Olin · 08. 02. 2011 18:14

Co sentence, kterou uvádí kolega Wotton zde?

check_drummer · 08. 02. 2011 20:08

Takže jestli to chápu správně, tak nemá. Co zkusit aspoň existenci:
1) Existuje $\psi$ , která má jen nekonečné modely a $\neg\psi$ má jen konečné modely?
A dále:
2) Existuje $\psi$ , která má jen nekonečné modely a $\neg\psi$ má jen nekonečné modely?

Wotton · 14. 02. 2011 13:37

Vyřešeno

Matematické Fórum

#1 08. 02. 2011 13:28

logika 1. řádu - konečné/nekonečné modely

#2 08. 02. 2011 16:46

Re: logika 1. řádu - konečné/nekonečné modely

#3 08. 02. 2011 18:14

Re: logika 1. řádu - konečné/nekonečné modely

#4 08. 02. 2011 20:08

Re: logika 1. řádu - konečné/nekonečné modely

#5 14. 02. 2011 13:37

Re: logika 1. řádu - konečné/nekonečné modely

Zápatí