uni:6:fsv:start
This is an old revision of the document!
Table of Contents
Formale Spezifikation und Verifikation
Formal = Mittels Logik
Propositionallogik
Syntax
| Propositionale Variablen | $A, B, C, \ldots$ |
|---|---|
| Junktoren | $\neg, \wedge, \vee, \Rightarrow, \Leftrightarrow$ |
| Formel | $\phi, \psi, \ldots$ |
| Konstanten | $\top, \perp$ |
| Belegung | $\eta$ |
Semantik
uni/6/fsv/start.1404839286.txt.gz · Last modified: 2020-11-18 18:10 (external edit)