Loading [MathJax]/jax/output/CommonHTML/jax.js

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$

Semantik

Belegung	$\eta$
Foo	$⟦\phi⟧\eta$
Bar	$\&, \mid\mid$

uni/6/fsv/start.1404841453.txt.gz · Last modified: 2020-11-18 18:10 (external edit)