Formale Logik und Verifikation
Grundlagen der Theoretischen Informatik
Grundlagen der Theoretischen Informatik
26
0.0 (0)
Kartei Details
Karten | 26 |
---|---|
Sprache | Deutsch |
Kategorie | Informatik |
Stufe | Universität |
Erstellt / Aktualisiert | 12.04.2017 / 09.06.2021 |
Lizenzierung | Keine Angabe |
Weblink |
https://card2brain.ch/box/20170412_formale_logik_und_verifikation
|
Einbinden |
<iframe src="https://card2brain.ch/box/20170412_formale_logik_und_verifikation/embed" width="780" height="150" scrolling="no" frameborder="0"></iframe>
|
Wofür steht /\
Konjunktion
UND Verknüfpung
Wofür steht V
Disjunktion
ODER Verknüpfung
Wofür steht →
Implikation
Daraus folgt
Wofür steht ⇔
Äquivalenz
Gleichwertig
Für was stehen diese Zeichen
|- , |=, <, →
logische Implikation
⇒
Was ist ein Literale
Eine elementare Aussage,
sinvollerweise mit einem Buchstaben abgekürzt
Wie nennt man eine elementare Aussage
Literal
Was ist eine aussagenlogische Formel
Es ist eine Verknüpfung von endlich vielen Literalen mit logischen Operratoren