Kommilitonen im Kurs Logik an der Universität Mannheim. erstellen und teilen Zusammenfassungen, Karteikarten, Lernpläne und andere Lernmaterialien mit der intelligenten StudySmarter Lernapp. Jetzt mitmachen!
Jetzt mitmachen!
Logik
Wofür ist die Aussagenlogik zuständig ?
Beschäftigt sich ausschließlich mit komplexen Ausdrücken/ molekularen Sätzen
-> Beziehung zwischen zwei Sätzen
Logik
Was sind Junktoren ?
Junktoren sind Bindeglieder, sie verknüpfen atomare Aussagen zu komplexen Aussagen
Logik
Wovon hängt der Wahrheitswert einer Aussage ab ?
Wird eindeutig durch seine syntaktische Struktur und dem Wahrheitswert seiner Teilsätze festgelegt
Logik
Was ist eine Konditionalaussage ?
Konditionalaussagen drücken aus, unter welcher Bedingung ein Geschehen oder eine Handlung stattfindet
Logik
Was versteht man unter einer logischen Kontraposition ?
Unter der logischen Kontraposition versteht man den Umkehrschluss einer Implikation, also den Schluss von „Wenn A, dann B“ auf „Wenn nicht B, dann nicht A“.
-> Sie ist wahrheitswert enthaltend
Logik
Was ist ein Axiom ?
-> Ein Axiom bezeichnet einen Grundsatz der keines Beweises bedarf = unmittelbar einsichtig
-> In jeder Zeile eines formalen Beweises steht entweder ein Axiom oder eine Aussage, die mit Hilfe einer Ableitungsregel aus einem Axiom oder aus einer vorherigen Zeile abgeleitet wurde
Logik
Was ist ein Theorem ?
-> Eine Zeile eines formalen Systems
-> Auch Axiome können Theoreme sein
-> Alle ableitbaren aussagenlogischen Aussagen
Logik
Wonach werden Sätze bewertet ?
Danach ob sie wahr oder falsch sind
Logik
Wonach werde Argumente bewertet ?
Danach, ob sie gültig sind
Logik
Wovon hängt die Wahrheit eines Satzes ab ?
-> Bedeutung (meaning)
-> Tatsachen (fact)
Wie die Welt ist, nicht ob sie für wahr gehalten wird
Logik
Was ist der Satz vom Widerspruch ?
Es gibt keinen Satz, der unter denselben Bedingungen sowohl wahr als auch falsch ist
Logik
Was ist der Satz vom ausgeschlossenen Dritten ?
Wenn ein Satz einen Wahrheitswert hat, dann ist er entweder wahr oder falsch
Für deinen Studiengang Logik an der Universität Mannheim gibt es bereits viele Kurse auf StudySmarter, denen du beitreten kannst. Karteikarten, Zusammenfassungen und vieles mehr warten auf dich.
Zurück zur Universität Mannheim ÜbersichtsseiteStudySmarter ist eine intelligente Lernapp für Studenten. Mit StudySmarter kannst du dir effizient und spielerisch Karteikarten, Zusammenfassungen, Mind-Maps, Lernpläne und mehr erstellen. Erstelle deine eigenen Karteikarten z.B. für Logik an der Universität Mannheim oder greife auf tausende Lernmaterialien deiner Kommilitonen zu. Egal, ob an deiner Uni oder an anderen Universitäten. Hunderttausende Studierende bereiten sich mit StudySmarter effizient auf ihre Klausuren vor. Erhältlich auf Web, Android & iOS. Komplett kostenfrei. Keine Haken.
Bestes EdTech Startup in Deutschland
Du bist schon registriert? Hier geht‘s zum Login