Logik

08.05.2015, 15:56	Mathefreak1234	Auf diesen Beitrag antworten »
Logik Hallo Kennt sich jemand mit Logik aus? Aufgabe: Prüfen Sie ob es sich bei der Aufgabe um eine Kontratkion, Tautologie oder keines von beiden handelt: ((A->B) & (B->C) -> (A->C) Freu mich über Hilfe!
08.05.2015, 16:12	Gast0805	Auf diesen Beitrag antworten »
RE: Logik Offenbar werden hier 2 Aussagen zu einer einzigen zusammengezogen(=kontrahiert) ---> ?
08.05.2015, 16:19	LordKelvin	Auf diesen Beitrag antworten »
RE: Logik Hi Mathe-Freak, ich würde das als Implikation beschreiben, also keines von beiden. Vg
08.05.2015, 18:01	Elvis	Auf diesen Beitrag antworten »
Im Gegensatz zu LordKelvin bin ich der Meinung, dass es sich um beides handelt. So, lieber Mathe-Freak, nun darfst Du aussuchen, was Du für richtig hältst. Übrigens fehlt in Deiner Formel eine Klammer, oder es ist mindestens eine Klammer zu viel.
08.05.2015, 19:14	Dopap	Auf diesen Beitrag antworten »
und ich sehe es so: seien A,B,C logische Variable dann gilt: $\begin{eqnarray} (A\rightarrow B) \land (B \rightarrow C ) \Rightarrow A \rightarrow C \end{eqnarray}$ wobei $\begin{eqnarray} \rightarrow \end{eqnarray}$ die Verknüpfung Subjunktion bedeutet $\begin{eqnarray} \Rightarrow \end{eqnarray}$ ist eine Implikation (Relation ) , keine Verknüpfung. Das Ganze ist wahr, wenn $\begin{eqnarray} (A\rightarrow B) \land (B \rightarrow C ) \rightarrow (A \rightarrow C) \end{eqnarray}$ Wahrform ist.
31.08.2015, 22:57	Mathefreak1234	Auf diesen Beitrag antworten »
Danke so klingt es für mich im Endeffekt auch am logischsten, aber sicher bin ich mir immer noch nicht haha
Anzeige

1

Verwandte Themen

Die Beliebtesten »

Die Größten »

Die Neuesten »