Predikátová logika

Rozhodněte, která věta v přírozeném jazyce odpovídá formuli $(\forall x)(A(x) \Rightarrow F(x))$ :

Která z následujících formulí není logicky pravdivá?

Které z následujících tvrzení je negací formule $((\exists x)A(x) \wedge (\forall y)B(y)) \Rightarrow (\exists x)\neg C(x)$ ?

Nechť L obsahuje jeden unární predikátový symbol s(x) a jeden binární funkční symbol f(x,y). Která z následujících formulí není pravdivá v interpretaci I = <N, s, +>, kde N jsou přirozená čísla, s(x) znamená, že x je sudé a f(x,y) intepretujeme jako součet x + y?

Je následující formule logicky pravdivá? $(\forall x)(A \wedge B) \Rightarrow ((\forall x)A \wedge (\forall x)B)$

Seznam všech otázek

Test

Hlavolam