Logik in der Informatik: Online-Quiz für Philosophie-Schüler

Question 1

Ein Aussagesatz, der bei jeder beliebigen Belegung der Aussagenvariablen wahr ist, wird als was bezeichnet?

Accepted Answer

Tautologie

Answer

Kontravalenz

Answer

Kontradiktion

Answer

Implikation

Question 2

Welche der folgenden Aussagen ist eine gültige Schlussfolgerung aus den Prämissen "Alle Menschen sind sterblich" und "Sokrates ist ein Mensch"?

Accepted Answer

Sokrates ist sterblich

Answer

Alle Sterblichen sind Menschen

Answer

Sokrates ist unsterblich

Answer

Menschen sind alle sterblich

Question 3

Welcher logische Operator wird verwendet, um eine Verneinung auszudrücken?

Accepted Answer

¬

Answer

∧

Answer

∨

Answer

→

Question 4

Welche der folgenden Aussagen ist ein Beispiel für eine konjunktive Normalform?

Accepted Answer

(P ∧ Q) ∨ (P ∧ ¬Q)

Answer

¬(P ∨ Q)

Answer

(P → Q) ∧ (Q → P)

Answer

P ⊕ Q

Question 5

Welcher der folgenden Sätze ist ein Beispiel für einen kategorischen Aussagesatz?

Accepted Answer

Paris ist die Hauptstadt von Frankreich

Answer

Einige Hunde sind schwarz

Answer

Wenn es regnet, wird die Straße nass

Answer

Entweder ist es heute sonnig oder es regnet

Question 6

Welche wichtige Funktion haben Quantoren in der Prädikatenlogik?

Accepted Answer

Sie ermöglichen die Beschreibung allgemeiner Aussagen über einen Gültigkeitsbereich.

Answer

Sie bestimmen den Wahrheitswert von Aussagen.

Answer

Sie kombinieren Aussagen als logische Operatoren.

Answer

Sie dienen als Platzhalter für unbekannte Werte in Aussagen.

Question 7

In der Aussagenlogik werden Wahrheitswerte genutzt, um die Gültigkeit von Aussagen zu beschreiben. Erkläre den Begriff der Wahrheitswerte und ihre Bedeutung in diesem Zusammenhang.

Accepted Answer

Wahrheitswerte sind Eigenschaften von Aussagen, die angeben, ob sie wahr oder falsch sind.

Answer

Wahrheitswerte sind Operatoren, die Aussagen verbinden.

Answer

Wahrheitswerte sind Variablen, die in Aussagen vorkommen.

Answer

Wahrheitswerte sind Aussagen, die immer wahr oder immer falsch sind.

Question 8

Was ist in der Prädikatenlogik ein Gegenmodell?

Accepted Answer

Eine Interpretation, die eine Aussage nicht erfüllt.

Answer

Eine Interpretation, die eine Aussage erfüllt.

Answer

Eine Aussage, die von einer Interpretation erfüllt wird.

Answer

Eine Aussage, die von einer Interpretation nicht erfüllt wird.

Question 9

Welche der folgenden Aussagen beschreibt den Unterschied zwischen Standardinterpretationen und Herbrand-Interpretationen in der Prädikatenlogik?

Accepted Answer

Standardinterpretationen erlauben alle Elemente im Universum, während Herbrand-Interpretationen nur Elemente zulassen, die aus den Formeln abgeleitet werden können.

Answer

Standardinterpretationen verwenden Quantoren, Herbrand-Interpretationen nicht.

Answer

Herbrand-Interpretationen sind immer gültig, Standardinterpretationen nicht.

Answer

Standardinterpretationen und Herbrand-Interpretationen sind gleichwertig.

Question 10

Welche Aussage ist ein Beispiel für einen konjunktiven Satz?

Accepted Answer

Der Himmel ist blau und die Sonne scheint.

Answer

Entweder regnet es oder es schneit.

Answer

Wenn es regnet, wird der Boden nass.

Answer

Das Auto ist rot, wenn und nur wenn es neu ist.

Question 11

Welche Schlussregel ist in der Prädikatenlogik gültig?

Accepted Answer

Modus ponens

Answer

Modus tollens

Answer

Hypothetischer Syllogismus

Answer

Disjunktiver Syllogismus

Question 12

Welcher Quantor ist universell?

Accepted Answer

∀

Answer

∃

Answer

¬∀

Answer

¬∃

Question 13

Welche Aussage beschreibt eine Eigenschaft der formalen Logik?

Accepted Answer

Sie ist frei von Widersprüchen.

Answer

Sie verwendet Alltagssprache.

Answer

Sie ist auf konkrete Sachverhalte anwendbar.

Answer

Sie hängt von der Interpretation des Einzelnen ab.

Question 14

Welche der folgenden Aussagen ist ein logischer Satz?

Accepted Answer

2 + 2 = 4

Answer

Berlin ist die Hauptstadt Deutschlands.

Answer

Das Wetter ist schön.

Answer

Ich habe Hunger.

Question 15

Welche der folgenden Aussagen ist eine Implikation?

Accepted Answer

p → q

Answer

q → p

Answer

p ∨ q

Answer

p ∧ q

Question 16

Welche der folgenden Aussagen ist eine Disjunktion?

Accepted Answer

p ∨ q

Answer

p → q

Answer

q → p

Answer

p ∧ q

Question 17

Welche der folgenden Aussagen ist eine Negation?

Accepted Answer

¬p

Answer

p → q

Answer

q → p

Answer

p ∨ q

Question 18

Ist das folgende Argument gültig? Für alle x gilt: Wenn P(x) wahr ist, dann ist auch Q(x) wahr. P(a) ist wahr. Also ist Q(a) wahr.

Accepted Answer

Gültig

Answer

Ungültig

Answer

Bedingt gültig

Answer

Unentscheidbar

Question 19

Welche logische Verknüpfung entspricht einer ODER-Verknüpfung? (v)

Accepted Answer

v

Answer

^

Answer

&

Answer

~

Question 20

Welche Aussage ist eine Tautologie?

Accepted Answer

p ∨ ¬p

Answer

p → q

Answer

¬(p → q)

Answer

q → ¬p

Question 21

Welche Aussage ist äquivalent zu "Es gibt keine ungeraden Primzahlen"?

Accepted Answer

∀x (U(x) → ¬P(x))

Answer

∃x (U(x) ∧ P(x))

Answer

∀x (P(x) → ¬U(x))

Answer

∃x (¬U(x) ∧ P(x))

Question 22

Welche Aussage ist implikational?

Accepted Answer

Wenn es regnet, wird die Straße nass.

Answer

Berlin ist die Hauptstadt Deutschlands.

Answer

Alle Menschen sind sterblich.

Answer

Die Sonne ist ein Stern.

Question 23

Symbol für die logische Konjunktion:

Accepted Answer

∧

Answer

¬

Answer

∨

Answer

→

Question 24

Kontraposition der Aussage "Wenn es regnet, wird die Straße nass":

Accepted Answer

Wenn die Straße nicht nass ist, regnet es nicht.

Answer

Wenn die Straße nass ist, regnet es.

Answer

Wenn es nicht regnet, ist die Straße nass.

Answer

Wenn die Straße nicht nass ist, regnet es.

Question 25

Welche Aussage ist ein Widerspruch?

Accepted Answer

p ∧ ¬p

Answer

p ∨ ¬p

Answer

¬(p → q)

Answer

p → ¬p

Question 26

Welche der folgenden Aussagenformen beschreibt die Formel (¬P ∧ ¬Q) → R?

Accepted Answer

Kontraposition

Answer

Modus ponens

Answer

Modus tollens

Answer

Transitivität

Question 27

Erläutern Sie die Rolle von Modellen bei der Überprüfung der Gültigkeit logischer Aussagen und nennen Sie Beispiele für verschiedene Modelltypen.

Accepted Answer

Modelle sind gedankliche Konstrukte, die logische Aussagen darstellen und deren Gültigkeit beurteilen helfen.

Answer

Modelle sind mathematische Gleichungen, die logische Aussagen beweisen.

Answer

Modelle werden nur in der Prädikatenlogik, nicht aber in der Aussagenlogik verwendet.

Answer

Modelle spielen keine Rolle bei der Gültigkeitsprüfung logischer Aussagen.

Question 28

Welches ist das entscheidende Unterscheidungsmerkmal zwischen deduktiven und induktiven Schlussfolgerungen?

Accepted Answer

Deduktive Schlussfolgerungen sind immer gültig, während induktive Schlussfolgerungen möglicherweise nicht gültig sind.

Answer

Deduktive Schlussfolgerungen sind weniger präzise als induktive Schlussfolgerungen.

Question 29

Welcher der folgenden Grundbegriffe ist elementar für die formale Logik?

Accepted Answer

Begriff

Answer

Urteil

Answer

Schlussfolgerung

Answer

Widerspruch

Question 30

Welche der folgenden Aussagen ist eine Tautologie, eine Aussage, die immer wahr ist?

Accepted Answer

Entweder regnet es oder es regnet nicht.

Answer

Wenn es regnet, wird die Straße nass.

Answer

Es regnet und die Straße ist nass.

Answer

Wenn die Straße nass ist, regnet es.

Question 31

Welche der folgenden Aussagen ist eine Konjunktion?

Accepted Answer

Es regnet und die Straße ist nass.

Answer

Entweder regnet es oder es schneit.

Answer

Wenn es regnet, wird die Straße nass.

Answer

Es regnet nicht.

Question 32

Welche der folgenden Aussagen ist eine Disjunktion?

Accepted Answer

Entweder regnet es oder es schneit.

Answer

Wenn es regnet, wird die Straße nass.

Answer

Es regnet und die Straße ist nass.

Answer

Es regnet nicht.

Question 33

Welche der folgenden Aussagen ist eine Implikation?

Accepted Answer

Wenn es regnet, wird die Straße nass.

Answer

Es regnet nicht.

Answer

Es regnet und die Straße ist nass.

Answer

Entweder regnet es oder es schneit.

Question 34

Welche der folgenden Aussagen ist eine Negation?

Accepted Answer

Es regnet nicht.

Answer

Wenn es regnet, wird die Straße nass.

Answer

Es regnet und die Straße ist nass.

Answer

Entweder regnet es oder es schneit.

Question 35

Welche der folgenden Aussagen ist eine Existenzaussage?

Accepted Answer

Es existiert kein fliegender Elefant.

Answer

Alle Menschen sind sterblich.

Answer

Die Sonne ist ein Stern.

Answer

Kein Vogel ist ein Säugetier.

Question 36

Welche der folgenden Aussagen ist eine Allaussage?

Accepted Answer

Alle Menschen sind sterblich.

Answer

Es existiert kein fliegender Elefant.

Answer

Die Sonne ist ein Stern.

Answer

Kein Vogel ist ein Säugetier.

Question 37

Welche drei Gesetze sind die Basis der formalen Logik?

Accepted Answer

Gesetz der Identität, Gesetz der Widerspruchslosigkeit, Gesetz vom ausgeschlossenen Dritten

Answer

Gesetz der Syllogistik, Gesetz der Tautologie, Gesetz vom ausgeschlossenen Vierten

Answer

Gesetz der Widerspruchsfreiheit, Gesetz des Mittelwegs, Gesetz der Nicht-Widersprüchlichkeit

Answer

Gesetz der Doppelten Verneinung, Gesetz der Kontraposition, Gesetz der Hypothese

Question 38

Welche logische Operation verknüpft zwei Aussagen derart, dass das Ergebnis wahr ist, wenn mindestens eine Aussage wahr ist?

Accepted Answer

Disjunktion (ODER)

Answer

Implikation

Answer

Konjunktion (UND)

Answer

Negation

Question 39

Was ist die Aussageform eines gültigen aussagenlogischen Ausdrucks?

Accepted Answer

Eine Aussageform, die immer wahr ist, unabhängig von der Belegung der atomaren Aussagen

Answer

Eine Aussageform, die von der Belegung der atomaren Aussagen abhängt

Answer

Eine Aussageform, die immer falsch ist, unabhängig von der Belegung der atomaren Aussagen

Question 40

Welche der folgenden Aussagen ist KEINE Tautologie?

Accepted Answer

P → ¬P

Answer

(P → Q) → ((¬P) → (¬Q))

Answer

P ∨ ¬P

Question 41

Welche der folgenden Aussagen ist EINE Kontradiktion?

Accepted Answer

P ∧ ¬P

Answer

P ∨ ¬P

Answer

(P → Q) → ((¬P) → (¬Q))

Question 42

Welches der folgenden Systeme ist ein Beweisbarkeitslogik?

Accepted Answer

Klassische Aussagenlogik

Answer

Modale Logik

Answer

Temporale Logik

Answer

Fuzzy-Logik

Question 43

Welche der folgenden Aussagen ist eine wahre Aussage über die Prädikatenlogik erster Stufe?

Accepted Answer

Sie kann zur Darstellung von Beziehungen zwischen Objekten verwendet werden

Answer

Sie ist weniger ausdrucksstark als die Aussagenlogik

Answer

Sie ist nur für die Verarbeitung natürlicher Sprache relevant

Question 44

Welche der folgenden Aussagen ist eine korrekte Aussage über die Wissensrepräsentation in der Informatik?

Accepted Answer

Sie kann verwendet werden, um Wissen in einer Form zu speichern, die von Computern verarbeitet werden kann

Answer

Sie ist nur für die Verarbeitung natürlicher Sprache relevant

Question 45

Welche der folgenden Aussagen kann man eindeutig als wahr oder falsch einstufen?

Accepted Answer

Der Himmel ist blau.

Answer

Wie schön ist die Welt?

Answer

Das ist ein leckerer Kuchen.

Answer

Gehe nach Hause!

Question 46

Welches Symbol steht in der Logik für die Verknüpfung 'und'?

Accepted Answer

∧

Answer

∨

Answer

→

Answer

¬

Question 47

Welche Aussage ist die genaue Negation von 'Alle Hunde bellen'?

Accepted Answer

Es gibt mindestens einen Hund, der nicht bellt.

Answer

Kein Hund bellt.

Answer

Einige Hunde bellen nicht.

Answer

Alle Hunde bellen nicht.

Question 48

Welche logische Operation wird in Datenbankabfragen verwendet, um nur die Einträge zu finden, die mehrere Bedingungen gleichzeitig erfüllen?

Accepted Answer

Konjunktion (und)

Answer

Implikation (wenn...dann)

Answer

Negation (nicht)

Answer

Disjunktion (oder)

Question 49

Welcher logische Ausdruck stellt die Aussage 'Wenn es regnet, dann ist die Straße nass' korrekt dar?

Accepted Answer

Regen → Straße nass

Answer

Regen ∧ Straße nass

Answer

¬Regen → Straße nass

Answer

Regen ∨ Straße nass

Question 50

Welche logische Aussage ist immer wahr, unabhängig vom Wahrheitswert der Variablen A?

Accepted Answer

A ∨ ¬A

Answer

A ∧ ¬A

Answer

A → ¬A

Question 51

Was ist die Aufgabe eines logischen Beweisers?

Accepted Answer

Die Gültigkeit von logischen Argumenten zu überprüfen.

Answer

Logische Aussagen zu generieren.

Answer

Datenbanken zu erstellen.

Question 52

Wie wird Logik in der künstlichen Intelligenz eingesetzt?

Accepted Answer

Um Entscheidungen zu treffen und Probleme zu lösen.

Answer

Um Programme zu schreiben.

Answer

Um Daten zu speichern.

Question 53

Welche Aussage ist ein Beispiel für eine logische Regel, die in Expertensystemen verwendet werden könnte?

Accepted Answer

Wenn der Patient Fieber hat und Husten hat, dann hat er wahrscheinlich eine Grippe.

Answer

Der Patient hat Fieber.

Answer

Der Patient ist krank.

Question 54

Welche Aussage ist ein Beispiel für ein logisches Paradoxon?

Accepted Answer

Dieser Satz ist falsch.

Answer

Es regnet.

Answer

Alle Menschen sind sterblich.

Answer

Der Himmel ist blau.

Question 55

Welcher der folgenden logischen Operatoren verbindet zwei Aussagen so, dass beide Aussagen wahr sein müssen, damit die gesamte Aussage wahr ist?

Accepted Answer

UND

Answer

NICHT

Answer

IMPLIZIERT

Answer

ODER

Question 56

Welche der folgenden Schlussfolgerungen entspricht der Struktur des Modus Ponens?

Accepted Answer

Wenn A, dann B. A. Also B.

Answer

Wenn A, dann B. B. Also A.

Answer

Wenn A, dann B. Nicht B. Also nicht A.

Answer

Wenn nicht A, dann B. A. Also B.

Question 57

Welche der folgenden Aussagen ist ein Beispiel für eine Aussage der Prädikatenlogik?

Accepted Answer

Für alle x gilt: Wenn x eine Zahl ist, dann ist x größer als 0.

Answer

Wenn A, dann B.

Answer

A oder B ist wahr.

Question 58

In welchem Bereich der Informatik spielt Logik eine bedeutende Rolle?

Accepted Answer

Entwicklung künstlicher Intelligenz

Answer

Spieleentwicklung

Answer

Textverarbeitung

Answer

Bildbearbeitung

Question 59

Welche der folgenden Aussagen ist eine kontradiktorische Aussage?

Accepted Answer

A und nicht A

Answer

A oder nicht A

Answer

Wenn A, dann B

Question 60

Welche der folgenden Aussagen ist eine logische Implikation?

Accepted Answer

Wenn A, dann B

Answer

Nicht A

Answer

A und B

Answer

A oder B

Question 61

Welche Schlussfolgerung lässt sich aus den Prämissen A impliziert B und nicht B ableiten?

Accepted Answer

Nicht A

Answer

A oder B

Answer

B

Answer

A

Question 62

Welche der folgenden Aussagen ist eine Äquivalenz?

Accepted Answer

A äquivalent B

Answer

Nicht A

Answer

A impliziert B

Answer

A oder B

Question 63

Welcher Aspekt gehört nicht zum Konzept der Logik in der Informatik?

Accepted Answer

Die Entwicklung von Gedichten

Answer

Die Abfrage von Datenbanken

Answer

Die Entwicklung von Programmen

Question 64

Welcher logische Operator verknüpft zwei Aussagen so, dass beide erfüllt sein müssen, damit die zusammengesetzte Aussage wahr ist?

Accepted Answer

Konjunktion (Und)

Answer

Implikation (Wenn-dann)

Answer

Disjunktion (Oder)

Answer

Negation (Nicht)