Law of the excluded middle

1. Axiom

Sei ϕ eine Aussage, dann gilt:

ϕ¬ϕ

bzw. äquivalent dazu:

¬¬ϕϕ

Date: nil

Author: Anton Zakrewski

Created: 2024-10-11 Fr 21:45