Logik at Universität Mannheim

Flashcards and summaries for Logik at the Universität Mannheim

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 Mannheim

Exemplary flashcards for Logik at the Universität Mannheim on StudySmarter:

Was sind Junktoren ?

Exemplary flashcards for Logik at the Universität Mannheim on StudySmarter:

Was ist eine Konditionalaussage ?

Exemplary flashcards for Logik at the Universität Mannheim on StudySmarter:

Was ist der Satz vom Widerspruch ?

Exemplary flashcards for Logik at the Universität Mannheim on StudySmarter:

Wann ist ein Argument logisch gültig ?

Exemplary flashcards for Logik at the Universität Mannheim on StudySmarter:

Warum werden in der Logik nur Aussagesätze behandelt ?

Exemplary flashcards for Logik at the Universität Mannheim on StudySmarter:

Was ist die logische Kontraposititon ?

Exemplary flashcards for Logik at the Universität Mannheim on StudySmarter:

Logische Unabhängigkeit der atomaren Sätze ?

Exemplary flashcards for Logik at the Universität Mannheim on StudySmarter:

Wie ist die Menge der Aussagenlogik definiert ?

Exemplary flashcards for Logik at the Universität Mannheim on StudySmarter:

Wann ist eine AL erfüllbar ?

Exemplary flashcards for Logik at the Universität Mannheim on StudySmarter:

Was ist die Extension einer Aussage ?

Exemplary flashcards for Logik at the Universität Mannheim on StudySmarter:

Was ist eine Formalisierung ?

Exemplary flashcards for Logik at the Universität Mannheim on StudySmarter:

Welche Bindungsregel gilt bei der Quantorenlogik zusätzlich ?

Your peers in the course Logik at the Universität Mannheim 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 Mannheim on StudySmarter:

Logik

Was sind Junktoren ?

Junktoren sind Bindeglieder, sie verknüpfen atomare Aussagen zu komplexen Aussagen

Logik

Was ist eine Konditionalaussage ?

Konditionalaussagen drücken aus, unter welcher Bedingung ein Geschehen oder eine Handlung stattfindet

Logik

Was ist der Satz vom Widerspruch ?

Es gibt keinen Satz, der unter denselben Bedingungen sowohl wahr als auch falsch ist

Logik

Wann ist ein Argument logisch gültig ?

Ein logisch gültiger Schluss ist ein deduktiv gültiger Schluss


= Gültigkeit auf der logischen Form basiert bzw. dessen Gültigkeit unabhängig ist von der Bedeutung der in ihm vorkommenden nichtlogischen Ausdrücke 


->  Logisch gültige Schlüsse bilden eine Untermenge der deduktiv gültigen Schlüsse

Logik

Warum werden in der Logik nur Aussagesätze behandelt ?

Weil sie wahrheitsfähig sind

Logik

Was ist die logische Kontraposititon ?

1.Antezedens und Konsequens vertauschen

2.Beides verneinen

-> Wahrheitswerterhaltend

Logik

Logische Unabhängigkeit der atomaren Sätze ?

Der Wahrheitswert eines atomaren Satzes ist nie von dem Wahrheitwert eines anderen atomaren Satzes abhängig 

Logik

Wie ist die Menge der Aussagenlogik definiert ?

1 Jede Satzkonstante ist ein AL Sat

2 Wenn S1 dann auch non S1

3 Wenn S1 dann auch -> <-> und oder non

4 nichts sonst ist ein Al Satz

Logik

Wann ist eine AL erfüllbar ?

gdw. es eine AL-Belegung gibt bzgl. p wahr ist -> WW 1 in W Tafel


Logik

Was ist die Extension einer Aussage ?

Der tatsächliche Wahrheitswert der Aussage 

Logik

Was ist eine Formalisierung ?

Die Übersetzung eines natürlichen Satzes/Arguments in eine formale Sprache 

Logik

Welche Bindungsregel gilt bei der Quantorenlogik zusätzlich ?

Quantoren binden stärker als Junktoren

Kommazeichen zwischen Individuenzeichen und Variablenzeichen können weggelassen werden

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

Singup Image Singup Image
Wave

Other courses from your degree program

For your degree program Logik at the Universität Mannheim 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 Mannheim overview page

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 Mannheim 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