Äquivalenz (Logik)
1. Definition
Seien \(A,B\) Formeln (?), so ist die Äquivalenz definiert durch
| \(A\) | \(B\) | \(A \Leftrightarrow B\) |
|---|---|---|
| w | w | w |
| w | f | f |
| f | w | f |
| f | f | w |
Seien \(A,B\) Formeln (?), so ist die Äquivalenz definiert durch
| \(A\) | \(B\) | \(A \Leftrightarrow B\) |
|---|---|---|
| w | w | w |
| w | f | f |
| f | w | f |
| f | f | w |
Date: nil
Created: 2024-10-11 Fr 21:24