Processing math: 100%

uni:6:fsv:start

This is an old revision of the document!

−Table of Contents

Formale Spezifikation und Verifikation
- Propositionallogik
  - Syntax
  - Semantik

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)