Matematická logika

Které z následujících tvrzení výrokové logiky je tautologie?

Která z formulí je úplná konjuktivní normální forma výroku $A \Leftrightarrow B$ ?

Rozhodněte, která dvojice představuje navzájem ekvivalentní výroky:

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

Nalezněte (např. pomocí K. mapy) minimální vyjádření booleovské funkce $V = \neg (A \Rightarrow \neg B) \vee \neg (C \Rightarrow \neg A).$

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

Které z následujících tvrzení je tautologickým důsledkem tvrzení "Všichni kuřáci páchnou kouřem. Každý, kdo páchne kouřem, je bezohledný."

Piercův symbol $\downarrow$ NOR má následující význam: $A \downarrow B \Leftrightarrow \neg (A \vee B)$ . Vyberte, které vyjádření konjunkce pomocí Piercova symbolu je správné:

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)$

Tvrzení $(P \Rightarrow Q) \Leftrightarrow (Q \Rightarrow P)$ je:

Tvrzení $(P \Rightarrow Q) \Rightarrow (\neg Q \Rightarrow \neg P)$ je:

Tvrzení $(A \wedge \neg A)$ je:

Tvrzení $\neg (A \vee \neg A)$ je:

Tvrzení $\neg (P \wedge Q) \Rightarrow (\neg P \vee \neg Q)$ je:

Tvrzení $((A \Rightarrow B) \Rightarrow B) \Rightarrow B$ je:

Tvrzení $((A \Rightarrow B) \Rightarrow A) \Rightarrow A$ je:

364718705

Jaká bude hodnota výrazu 3 || 4?

Seznam všech otázek

Test

Hlavolam