Logik at Universität Düsseldorf

Flashcards and summaries for Logik at the Universität Düsseldorf

Arrow Arrow

It’s completely free

studysmarter schule studium
d

4.5 /5

studysmarter schule studium
d

4.8 /5

studysmarter schule studium
d

4.5 /5

studysmarter schule studium
d

4.8 /5

Study with flashcards and summaries for the course Logik at the Universität Düsseldorf

Exemplary flashcards for Logik at the Universität Düsseldorf on StudySmarter:

Definition Instanz eines Schemas

Exemplary flashcards for Logik at the Universität Düsseldorf on StudySmarter:

Junktoren AL 

Exemplary flashcards for Logik at the Universität Düsseldorf on StudySmarter:

Wahrheitsfunktional Definition

Exemplary flashcards for Logik at the Universität Düsseldorf on StudySmarter:

Definition Kontradiktion

Exemplary flashcards for Logik at the Universität Düsseldorf on StudySmarter:

Def. Atomar/komplex

Exemplary flashcards for Logik at the Universität Düsseldorf on StudySmarter:

Logisch unabhängig

Exemplary flashcards for Logik at the Universität Düsseldorf on StudySmarter:

Doppelte Negation

Exemplary flashcards for Logik at the Universität Düsseldorf on StudySmarter:

Reductio ad absurdum 

Exemplary flashcards for Logik at the Universität Düsseldorf on StudySmarter:

Klassische Schlussfiguren

Exemplary flashcards for Logik at the Universität Düsseldorf on StudySmarter:

Fallunterscheidung

Exemplary flashcards for Logik at the Universität Düsseldorf on StudySmarter:

Zusammenhang von Syntax und Semantik

Exemplary flashcards for Logik at the Universität Düsseldorf on StudySmarter:

Was sagen Existenz- und Allquantoren?

Your peers in the course Logik at the Universität Düsseldorf create and share summaries, flashcards, study plans and other learning materials with the intelligent StudySmarter learning app.

Get started now!

Flashcard Flashcard

Exemplary flashcards for Logik at the Universität Düsseldorf on StudySmarter:

Logik

Definition Instanz eines Schemas
Etwas ist eine Instanz eines Schemas genau dann, wenn es durch regelkonformes Ersetzen der schematischen Ausdrücke aus dem Schema gewonnen werden kann, wobei gleiche schematische Ausdrücke durch Gleiches ersetzt werden. 

Logik

Junktoren AL 
^ und Konjunktionszeichen
v oder Disjunktionszeichen
- Negationszeichen
-> wenn, dann Implikationszeichen

Logik

Wahrheitsfunktional Definition
Ein Ausdruck ist wahrheitsfunktional genau dann, wenn der Ausdruck Sätze zu neuen Sätzen derart miteinander verknüpft, dass der Wahrheitswert des verknüpften Satzes diesem allein aufgrund der Art der Verknüpfung und der Wahrheitswerte der verknüpften Teilsätze zukommt.

Alle Junktoren sind wahrheitsfunktional

Logik

Definition Kontradiktion
Eine Aussage ist eine Kontradiktion genau dann, wenn für jede Wahrheitswertbelegung der Teilaussagen die gesamte Aussage falsch ist.

Logik

Def. Atomar/komplex
Eine Aussage ist atomar, wenn sie keine Junktoren enthält. Alle anderen Aussagen sind komplex.

Logik

Logisch unabhängig
Zwei Aussagen p und q sind logisch unabhängig voneinander, wenn der Wahrheitswert der einen Aussage nicht den Wahrheitswert der anderen Aussage bestimmt und umgekehrt. 

Logik

Doppelte Negation
Die doppelte Verneinung ist, nach dem Bivalenzprinzip, äquivalent zu Bejahung.

Logik

Reductio ad absurdum 
Der Unterschied zwischen dem Beweis mittels Widerspruch und reductio ad absurdum: 
Bivalenzprinzip und Möglichkeit, von einer doppelt negierten Aussage zurück zur „normalen“ Aussage zu kommen
also
Beweis durch Widerspruch plus Übergang von einer doppelt verneinten Aussage zu der Aussage selbst. 

Logik

Klassische Schlussfiguren
Modus ponendo ponens: p, p -> q I= q 
modus tollendo ponens: -p, p v q I= q
modus ponendo tollens: p, -(p ^ q) I= -q
modus tollendo tollens: -q, p -> q I= -p

Logik

Fallunterscheidung
P v q, p -> r, q -> r I= r

Logik

Zusammenhang von Syntax und Semantik
Gleicher Aufbau von Implikationen und gültigen Argumenten 

Logik

Was sagen Existenz- und Allquantoren?
Für alles gilt: wenn es Metaphysiker ist, dann ist es Scholastiker
Für mindestens eines gilt: es ist ein Papagei und es kann sprechen 

Sign up for free to see all flashcards and summaries for Logik at the Universität Düsseldorf

Singup Image Singup Image
Wave

Other courses from your degree program

For your degree program Logik at the Universität Düsseldorf there are already many courses on StudySmarter, waiting for you to join them. Get access to flashcards, summaries, and much more.

Back to Universität Düsseldorf overview page

Erhebungsverfahren 2

Politikwissenschaft

Erhebungsverfahren 2

Metaphysik

Politik

What is StudySmarter?

What is StudySmarter?

StudySmarter is an intelligent learning tool for students. With StudySmarter you can easily and efficiently create flashcards, summaries, mind maps, study plans and more. Create your own flashcards e.g. for Logik at the Universität Düsseldorf or access thousands of learning materials created by your fellow students. Whether at your own university or at other universities. Hundreds of thousands of students use StudySmarter to efficiently prepare for their exams. Available on the Web, Android & iOS. It’s completely free.

Awards

Best EdTech Startup in Europe

Awards
Awards

EUROPEAN YOUTH AWARD IN SMART LEARNING

Awards
Awards

BEST EDTECH STARTUP IN GERMANY

Awards
Awards

Best EdTech Startup in Europe

Awards
Awards

EUROPEAN YOUTH AWARD IN SMART LEARNING

Awards
Awards

BEST EDTECH STARTUP IN GERMANY

Awards