Mathematik online lernen im Mathe-Forum. Nachhilfe online
Startseite » Forum » Tableaukalkül und Relationen

Tableaukalkül und Relationen

Universität / Fachhochschule

Tags: Belegung, Relation.

 
Antworten Neue Frage stellen Im Forum suchen
Neue Frage
GrosseTanne123

GrosseTanne123 aktiv_icon

22:06 Uhr, 02.04.2021

Antworten
Hallo,

ich habe 1 Frage bezüglich der Belegungen die durch das Tableau-Kalkül zu erkennen sind und 1 bezüglich Relationen auf Mengen.

Zum Tableau-Kalkül: Ich habe die Vorgehensweise mit dem Tableau-Kalkül in den letzten Tagen
geübt und habe diese auch verstanden. Nun bin ich allerdings auf eine
Aufgabe gestoßen, bei der ich nicht weiß, wie man alle Belegungen daraus
ablesen soll: (A→B)→C Meine gezeichnete Lösung habe ich an diesen Post angehängt.

Zur den Relationen: Man hat folgende Mengen gegeben
R1:={(2,1),(3,1),(4,1),...,(3,2),(4,2),(5,2),...,(4,3),(5,3),(6,3),...}
R2:={(1,2),(1,3),(1,4),...,(2,3),(2,4),(2,5),...,(3,4),(3,5),(3,6),...}

Meine Frage ist nun, warum die Relation /= (ungleich) sich nicht hinter R1 und R2 verbirgt.
Ich hoffe ich konnte meine Fragen verständlich ausdrücken.

Mit freundlichen Grüßen

GrosseTanne123


Tableau-Kalkül

Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert):
"Ich möchte die Lösung in Zusammenarbeit mit anderen erstellen."
Online-Nachhilfe in Mathematik
Antwort
ermanus

ermanus aktiv_icon

17:57 Uhr, 08.04.2021

Antworten
Hallo,
den Tableau-Kalkül kenne ich leider nicht.
Aber zu den Relationen:
Das sind Relationen auf N\{0}, wenn ich das richtig interpretiere.
R1 ist die ">"-Relation und R2 die "<"-Relation.
Die "≠"-Relation wäre symmetrisch und nicht transitiv.
Es gilt natürlich R1,R2⊂≠ und R1∪R2=≠.
Gruß ermanus
GrosseTanne123

GrosseTanne123 aktiv_icon

19:29 Uhr, 09.04.2021

Antworten
Hallo,

vielen Dank für die Antwort. Wieso muss /= symmetrisch sein? Meines Verständnisses nach gibt es in R1 keine reflexiven Tupel
Antwort
ermanus

ermanus aktiv_icon

20:08 Uhr, 09.04.2021

Antworten
Hallo,
"≠" muss nicht symmetrisch sein, es IST symmetrisch!
x≠y⇔y≠x.
Gruß ermanus
Frage beantwortet
GrosseTanne123

GrosseTanne123 aktiv_icon

15:59 Uhr, 11.04.2021

Antworten
Hallo,

vielen Dank für die Antwort. Ich habe es nun verstanden.