Predikátová logika
Seznam všech otázek
Rozhodněte, která věta v přírozeném jazyce odpovídá formuli
:
Která z následujících formulí není logicky pravdivá?
Které z následujících tvrzení je negací formule
?
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á?