Aussagenlogik
This is a modal window.
The media could not be loaded, either because the server or network failed or because the format is not supported.
Formal Metadata
Title |
| |
Subtitle |
| |
Title of Series | ||
Part Number | 2 | |
Number of Parts | 36 | |
Author | ||
License | CC Attribution - NonCommercial - NoDerivatives 3.0 Germany: You are free to use, copy, distribute and transmit the work or content in unchanged form for any legal and non-commercial purpose as long as the work is attributed to the author in the manner specified by the author or licensor. | |
Identifiers | 10.5446/68139 (DOI) | |
Publisher | ||
Release Date | ||
Language |
Content Metadata
Subject Area | |
Genre |
HM4mint Sondervideos2 / 36
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
34
35
36
00:00
Logical constantVariable (mathematics)Table (information)Bewertung <Mathematik>Well-formed formulaNegative numberMultiplication signContrast (vision)Letterpress printingComputer animation
Transcript: German(auto-generated)
00:05
Diesmal möchte ich bestimmen den Wahrheitswert folgender Formel
00:26
nicht falsch und b Das heißt, ich benutze jetzt keine Variable, sondern den Wahrheitswert, also die Konstante selbst und Konstante heißt es deswegen, weil falsch immer den festgelegten Wahrheitswert hat, nämlich falsch ist
00:47
Das heißt, wenn ich die Tabelle beginne und b und f hinschreibe, dann habe ich diesmal nicht ganz so viele Möglichkeiten
01:05
denn b kann falsch oder wahr sein, also wahr oder falsch, aber falsch bleibt falsch, was auch komme, es wird nie wahr Das heißt, ich habe hier nur zwei Fälle zu unterscheiden
01:24
So, und wieder machen wir das schrittweise, wir schauen uns erst mal an Falsch und b, was ist da von der Wahrheitswert ausgehend, von diesen Wahrheitswerten links? Nun, wir haben gesagt, so ein Ding, falsch und b, kann nur dann wahr sein, wenn beide Dinger wahr sind
01:46
Da falsch immer falsch ist, muss das also immer falsch sein So, und jetzt bilden wir davon die Negation, also nicht falsch und b
02:01
Das hat dann wiederum genau den gegenteiligen Wahrheitswert von falsch und b, es ist also wahr Das heißt, diese Formel hat für jede Belegung von b denselben Wahrheitswert, die ist immer wahr
02:49
Das heißt, diese Aussage hier, die ist immer wahr Und eine solche Aussage hat einen eigenen Namen, der ist hier in dieser Definition aufgelistet
03:06
Eine Formel, die für alle Bewertungen wahr ist, die heißt Tautologie oder allgemeingültige Formel Und im Gegensatz dazu ist eine Formel, die für alle Bewertungen falsch ist, eine Kontradiktion
03:24
oder auch ein Widerspruch oder eine unerfüllbare Formel Das heißt, wir können uns anstellen, wie wir wollen, wir kriegen es nie hin, dass diese Formel wahr ist Ja, dazu ist es ganz gut ein paar Beispiele zu sehen
03:44
Also, wenn ich schreibe a oder nicht a, dann weiß ich, diese Formel hier ist wahr, wenn a wahr ist oder nicht a
04:04
Aber eins von beiden ist immer wahr, das heißt, a oder nicht a ist immer wahr Das heißt, das ist hier eine Tautologie Wenn ich aber anschaue a und nicht a, dann kann a und nicht a ja nur wahr sein, wenn sowohl a als auch nicht a wahr ist
04:36
Da aber nicht a genau den gegenteiligen Wahrheitswert zu a hat, ist es nie der Fall
04:42
Also das hier ist immer falsch und demnach ein Widerspruch a und nicht a können nicht gleichzeitig erfüllt sein Ja, und das kann man noch ein bisschen allgemeiner sagen
05:01
Wenn ich jetzt irgendeine Formel a nehme, wir schreiben oft solche geschwungenen Buchstaben für Formeln Wobei wir diese Druckbuchstaben für Variablen definieren Also ist es da irgendeine Formel und zwar so, dass die eine Tautologie ist
05:29
Dann ist die Negation von a ein Widerspruch
05:42
So, ja, also ist der Wahrheitswert von a immer wahr, dann ist der von nicht a immer falsch Gut, und das gilt natürlich auch andersrum Ist a ein Widerspruch, so ist nicht a eine Tautologie
06:11
So, in diesem Video haben Sie also ein paar neue Vokabeln kennengelernt und Wahrheitstafeln
06:26
Und mit diesen Wahrheitstafeln werden wir uns in den nächsten Videos noch ausreichend beschäftigen
Recommendations
Series of 9 media