Logisk konnektiv: Forskelle mellem versioner
Content deleted Content added
Trade (diskussion | bidrag) m Gendannelse til seneste version ved Pkj61, fjerner ændringer fra 87.104.14.157 (diskussion | bidrag) |
|||
Linje 217:
|}
== Kontradiktion <math>\bot</math> ==
En '''kontradiktion''' er en udsagnsform, som altid er falsk, men kan også opfattes som et konnektiv, hvis sandhedsværdi er falsk uanset input. Man kan eventuelt opfatte kontradiktionen som et konnektiv med nul inputs. På dansk bruger man også udtryk såsom ''selvmodsigelse'' og ''absurditet'' for kontradiktion.
{| border="1" align="center"
|-----
| colspan="2" align="center" | Sandhedstabel for '''Kontradiktion'''
|-----
! width="75px" | X
! width="75px" | <math>\bot</math>
|-----
| align="center" | 1 || align="center" | 0
|-----
| align="center" | 0 || align="center" | 0
|}
[[Kategori:Logik]]
[[ca:Connectiva lògica]]
[[de:Junktor]]
[[et:Konnektor]]
[[el:Λογικές συναρτήσεις]]
[[en:Logical connective]]
[[es:Conectiva lógica]]
[[eu:Eragile logiko]]
[[fa:رابطهای منطقی]]
[[fr:Connecteur logique]]
[[ko:논리 연산]]
[[id:Operator logika]]
[[is:Rökaðgerð]]
[[it:Connettivo logico]]
[[he:פעולה בוליאנית]]
[[hu:Logikai művelet]]
[[mk:Логичка операција]]
[[ms:Pengoperasi logik]]
[[nl:Booleaanse operator]]
[[ja:論理演算]]
[[pl:Funktor zdaniotwórczy]]
[[ru:Логическая операция]]
[[sk:Výroková spojka]]
[[sv:Logisk operator]]
[[th:ตัวดำเนินการทางตรรกศาสตร์]]
[[uk:Логічний сполучник]]
[[zh:逻辑运算符]]
| |||