Predikátová logika

Seznam všech otázek

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

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

  3. 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)?

  4. 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?

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

Test

Je dána funkce f(x):\ y=\frac{5}{x} a funkce g(x):\ y=\log(x-5)+\frac{1}{f(x)}. Najděte definiční obor funkce g


Hlavolam

Tři přátelé si společně uvaří večeři. Každý z nich jí polovinu toho, co by snědl sám, když vaří společně. Jaká je jejich celková spotřeba jídla, když by každý sám snědl 1 kg jídla?

Kopírovat obsah stránek, čí s ním jinak manipulovat bez svolení jeho autora, je zakázáno.

ISSN: 1803-7615 © maths.cz 2008-2025 © content: Matematika pro každého, Jakub Vojáček