Potřeboval bych poradit s tímto: Příklad (stačí 1), kde je následující formule pravdivá:
V je obecný kvantifikátor, E je existenční kvantifikátor, => je logická spojka implikace
V x. Ey . P(x,y) => Ey. V x. P(x,y)
2x
Je to sice už pár let, ale výrokovou logiku jsme se ve škole celkem hodně učili.
Jestli jsem to správně pochopil, tak to P(x,y) má označovat nějakou relaci.
Dejme tomu, že P bude relace "být chytřejší než".
Nechť x označuje zástupce množiny všech psů.
Nechť y označuje zástupce množiny všech lidí.
Formule potom bude znít následovně:
Jestliže pro všechny psy (česky řečeno: ke kterémukoli psovi) existuje nějaký člověk, který je chytřejší, pak existuje nějaký člověk takový, že je chytřejší než kterýkoli pes.
Kdyby ta implikace byla obráceně, tak by to byla tautologie. Pro relaci "být chytřejší než" nám ale formule platí i v tomto případě.
Neneseme odpovědnost za správnost informací a za škodu vzniklou jejich využitím. Jednotlivé odpovědi vyjadřují názory jejich autorů a nemusí se shodovat s názorem provozovatele poradny Poradte.cz.
Používáním poradny vyjadřujete souhlas s personifikovanou reklamou, která pomáhá financovat tento server, děkujeme.