WorksheetsFormel v Aussage
Total questions: 14
Worksheet time: 7mins
A ∧ (B ¬ C)
Logische Formel der Aussagenlogik
Logische Formel der Prädikatenlogik
Mathematische Aussage
keins der anderen
∀x (P(x) → Q(x)) Für Prädikate P und Q
Logische Formel der Aussagenlogik
Logische Formel der Prädikatenlogik
Mathematische Aussage
keins der anderen
∀x∃y (P(x, y)) ≡ ∃x∀y(P(x, y)) Für ein beliebiges Prädikat P
True
False
∀x ∈N (P(x) → Q(x))
Logische Formel der Aussagenlogik
Logische Formel der Prädikatenlogik
Mathematische Aussage
keins der anderen
A ∧ B ∧ C
Logische Formel der Aussagenlogik
Logische Formel der Prädikatenlogik
Mathematische Aussage
keins der anderen
A ∧ B ∨ C
Logische Formel der Aussagenlogik
Logische Formel der Prädikatenlogik
Mathematische Aussage
keins der anderen
(A ∧ B) ⇒ B
Logische Formel der Aussagenlogik
Logische Formel der Prädikatenlogik
Mathematische Aussage
keins der anderen
(A ∧ B) ⊨ B
Logische Formel der Aussagenlogik
Logische Formel der Prädikatenlogik
Mathematische Aussage
keins der anderen
(A ∧ B) ist eine Tautologie
Logische Formel der Aussagenlogik
Logische Formel der Prädikatenlogik
Mathematische Aussage
keins der anderen
∃x,y Q(x, y) für Prädikat Q
Logische Formel der Aussagenlogik
Logische Formel der Prädikatenlogik
Mathematische Aussage
keins der anderen
∃y∀x P(y) für Prädikat P
Logische Formel der Aussagenlogik
Logische Formel der Prädikatenlogik
Mathematische Aussage
keins der anderen
¬ (A ∧ B) ≡ ¬A ∨ ¬B
Logische Formel der Aussagenlogik
Logische Formel der Prädikatenlogik
Mathematische Aussage
keins der anderen
(A ∧ B) → (¬ B ∨ C)
Logische Formel der Aussagenlogik
Logische Formel der Prädikatenlogik
Mathematische Aussage
keins der anderen
∃x(P(x) ∧ (∀y (Q(x, y)))) Für Prädikate P und Q
Logische Formel der Aussagenlogik
Logische Formel der Prädikatenlogik
Mathematische Aussage
keins der anderen
