Startseite
Forum
Fragen
Suchen
Über Uns
Informatiker Board
»
Themengebiete
»
Theoretische Informatik
»
Beweisen Sie mit Hilfe der Resolution.
» Hallo Gast [
Anmelden
|
Registrieren
]
Letzter Beitrag
|
Erster ungelesener Beitrag
Druckvorschau
|
An Freund senden
|
Thema zu Favoriten hinzufügen
Beweisen Sie mit Hilfe der Resolution.
Autor
Beitrag
«
Vorheriges Thema
|
Nächstes Thema
»
F(x)
Grünschnabel
Dabei seit: 04.12.2014
Beiträge: 1
Beweisen Sie mit Hilfe der Resolution.
Meine Frage:
Hallo Leute,
ich hoffe ihr könnt mir weiterhelfen, ich komme mit der Aufgabe einfach nicht weiter.
Wie der Titel schon sagt:
Beweisen Sie mit Hilfe der Resolution:
Für alle Elmente x Für alle Elemente y ( P(a) u. (P(x) -> P(y) ) u. (P(y) -> Q(b) ) ) folgt semantisch aus Q(b)
[Leider konnte einige Symbole nicht angezeigt werden, daher die Beschreibung in Worten]
Lg,
F(x)
Meine Ideen:
Der erste Schritt wäre den Quantor einsetzen oder bzw. ersetzen ... ?
Dieser Beitrag wurde 1 mal editiert, zum letzten Mal von F(x): 04.12.2014
20:09
.
04.12.2014
20:03
Baumstruktur
|
Brettstruktur
Gehe zu:
Bitte wählen:
--------------------
Themengebiete
-- Theoretische Informatik
---- formale Sprachen
---- Automatentheorie
---- Berechenbarkeits- und Komplexitätstheorie
---- Logik
-- Praktische Informatik
---- Algorithmen
---- Softwaretechnik
---- Datenbanken
-- Technische Informatik
-- übergreifende Themen
---- Künstliche Intelligenz
---- Informatik und Gesellschaft
-- Informatik in der Schule
-- Sonstige Fragen
Sonstiges
-- Off-Topic
-- Ankündigungen
Informatiker Board
»
Themengebiete
»
Theoretische Informatik
»
Beweisen Sie mit Hilfe der Resolution.
© by
Informatikerboard.de
Forensoftware:
Burning Board
, entwickelt von
WoltLab GmbH