Logisk konnektiv: Forskelle mellem versioner
Content deleted Content added
Glenn (diskussion | bidrag) m +links |
Glenn (diskussion | bidrag) m +links |
||
Linje 3:
Et '''logisk konnektiv''' er en [[afbildning]], som kombinerer nogle (ofte to) [[udsagn]] til ét, således at [[sandhedsværdi]]en for det samlede udsagn udelukkende afhænger af sandhedsværdierne for de indgående udsagn. På dansk udtrykkes logiske konnektiver ofte med ''bindeord'', men bindeord kan også have [[bibetydning]]er, som ikke er indeholdt i de logiske konnektiver, ligesom mange logiske konnektiver udtrykkes ved ord fra andre ordklasser eller ved forskellige former for omskrivninger.
Sandhedsværdien af sætningen ''Manden er høj og konen er lav'' afhænger udelukkende af sandhedsværdierne af sætningen ''Manden er høj'' og sætningen ''konen er lav'', som begge skal være [[Sande (logik)|sande]] for at den samlede sætning skal være sand. Ordet ''og'' fungerer herved som logisk konnektiv.
Sætningen ''Peter spiste morgenmad og tog på arbejde'' angiver, at Peter først spiste og så tog på arbejde i modsætning til sætningen ''Peter tog på arbejde og spiste morgenmad'', hvor morgenmaden indtages på arbejde. Her fungerer ''og'' ikke udelukkende som et logisk konnektiv, idet sandhedsværdien både afhænger af sandhedsværdierne af de enkelte udsagn og af deres tidslige rækkefølge.
Man vil typisk beskrive logiske konnektiver ved hjælp af sandhedstabeller. Et udtryk indenfor matematisk logik, kan være enten sandt eller [[Falsk (logik)|falsk]]. I og med der kun findes disse to "tilstande" skelner man mellem sandt og falsk ved hhv. et ettal og et nul.
De mest brugte logiske konnektiver og deres [[sandhedstabel|sandhedstabeller]] er angivet nedenfor.
| |||