Matematické Fórum

Zdravím, prosím o radu ohledně predikátového počtu a množin, konkrétně o výrocích o zadané množině. U daných výroků máme určit, zda pro danou množinu platí či nikoliv. Potřebovala bych spíše ujistit, že postupuji správně. Největší nejasnost mám u výroků, které začínají existenčním kvantifikátorem.



Moje výsledky:
a) P
b) P
c) N
d) N
e) N
f) P
g) N
g) P ?   Třeba u toho jsem nejprve přemýšlela tak, že pro všechna A, B z množiny najdu C takové, že platí... Ale pak mi došlo, že asi bude záležet na pořadí kvantifikátorů? a že zkrátka musím dokázat, že existuje alespoň jedno C z množiny takové, že pro A, B platí.... a najednou jsem nemohla na takové C přijít, aby to platilo pro všechna A, B, jelikož jsem mohla zvolit A, B tak, že byli delší, než AC i BC

Moc děkuji za pomoc.