Sprache der Aussagenlogik
Es sei
V
{\displaystyle {}V}
Aussagenvariable Sprache der Aussagenlogik
L
V
{\displaystyle {}L^{V}}
V
{\displaystyle {}V}
Jedes
p
∈
V
{\displaystyle {}p\in V}
L
V
{\displaystyle {}L^{V}}
Wenn
α
∈
L
V
{\displaystyle {}\alpha \in L^{V}}
¬
(
α
)
∈
L
V
{\displaystyle {}\neg (\alpha )\in L^{V}}
Wenn
α
,
β
∈
L
V
{\displaystyle {}\alpha ,\beta \in L^{V}}
(
α
)
∧
(
β
)
,
(
α
)
∨
(
β
)
,
(
α
)
→
(
β
)
,
(
α
)
↔
(
β
)
∈
L
V
{\displaystyle {}(\alpha )\wedge (\beta ),\,(\alpha )\vee (\beta ),\,(\alpha )\rightarrow (\beta ),\,(\alpha )\leftrightarrow (\beta )\in L^{V}}
