Mathematik online lernen im Mathe-Forum. Nachhilfe online
Startseite » Forum » Prämissen,Konklusion,Logik

Prämissen,Konklusion,Logik

Universität / Fachhochschule

Sonstiges

Tags: Aussagenlogik Informatik, logik, Sonstiges

 
Antworten Neue Frage stellen Im Forum suchen
Neue Frage
Tenchi

Tenchi aktiv_icon

22:06 Uhr, 27.03.2013

Antworten
Heyho,

ich habe ein Problem. Wir haben eine Aufgabe durchgearbeitet, die ich immer noch nicht ganz verstanden habe. Ich zerbrech mir auch deswegen schon seit einigen Tagen den Kopf.
Und zwar geht es um folgendes:
Der logische Schluss P1,P2,...,Pn Q ist genau dann korrekt, wenn sich aus dem Erfülltsein aller Prämissen P1,P2,...,Pn das Erfültsein der Konklusion Q ergibt. Ist der logische Schluss notP Q,PQ korrekt?

Lösung:
|PQnotPnotQnotPQ10011110010110100110|

Aufgrund der zweiten Zeile ist es falsch.

Ich weiß aber nich genau warum, bzw. ich verstehe es einfach nicht richtig. Ich stehe i.wie auf den Schlauch. Könnte mir jemand vllt helfen und mir das etwas erklären? Vllt verstehe ich es ja dann oder bekomme zumindest einen Denkanstoß in die richtige Richtung, weil im Moment verstehe nur Bahnhof. Die Tabelle an sich, also was die Implikation und so bedeutet, verstehe ich schon, nur nicht in den Zusammenhang mit der Aufgabe.

Danke im Vorraus!

Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert):
"Ich bräuchte bitte einen kompletten Lösungsweg." (setzt voraus, dass der Fragesteller alle seine Lösungsversuche zur Frage hinzufügt und sich aktiv an der Problemlösung beteiligt.)
Online-Nachhilfe in Mathematik
Neue Frage
Tenchi

Tenchi aktiv_icon

09:59 Uhr, 28.03.2013

Antworten
Ich habe die Tabelle nochmal korrigiert, weil die nicht richtig angezeigt wurde
Antwort
Eva88

Eva88 aktiv_icon

10:39 Uhr, 28.03.2013

Antworten
Für mich sieht das wie eine Tabelle aus der Digitaltechnik aus.

Der Ausgang ist immer 1 wenn P oder Q=1 sind.

In diesem Fall eine einfache Oder Funktion mit 2 Eingängen

und 1 Ausgang.


Tenchi

Tenchi aktiv_icon

12:49 Uhr, 28.03.2013

Antworten
Ah, es muss natürlich notP Q sein, ist ja in der Angabe auch so, da hab ich mich verschrieben >.<'

Es ist eine Wahrheitstabelle. Wie ich auf die 1 und 0 komme, weiß ich.

Bloß ich komme nicht darauf, warum die Konklusion falsch ist. Das ist mein Problem.

Antwort
HenriLeon

HenriLeon aktiv_icon

00:39 Uhr, 30.03.2013

Antworten
Weil die Implikation nicht aussagt wenn die Voraussetzung nicht erfüllt ist

vgl Tabelle 1.+2.Zeile - in beiden sind die Prämissen erfüllt - einmal ist die Konklusion erfüllt einmal nicht


Es wird klar wenn man die Implikation in Normalform aufschreibt: (pq)q or (not p)
Diese Frage wurde automatisch geschlossen, da der Fragesteller kein Interesse mehr an der Frage gezeigt hat.