22 lines
379 B
Plaintext
22 lines
379 B
Plaintext
Logik
|
|
- Sluta utsagor (En Proposition, logiska konstanter)
|
|
- "Earth is flat": False/0
|
|
- "Om x² = 4, så är x = \pm 2": True/1
|
|
-
|
|
- Öpna utsagor (Logiska variablar): p, q, ...
|
|
-
|
|
|
|
T0: för alla värden är det sant
|
|
- Pv!P
|
|
|P|!P|Pv!P|
|
|
|-|--|----|
|
|
|0|1 |1 |
|
|
|1|0 |1 |
|
|
F0: Falskt för alla värden
|
|
- P^!P
|
|
|P|!P|P^!P|
|
|
|-|--|----|
|
|
|1|0 |0 |
|
|
|0|1 |0 |
|
|
|