Versionen fra 29. maj 2011, 08:41 redigér Entropeter (diskussion \| bidrag) Autopatruljerede 394 edits m Nogle uklare formulering er rettet. ← Gå til forrige forskel		Versionen fra 18. jul. 2011, 19:26 redigér fjern redigering Entropeter (diskussion \| bidrag) Autopatruljerede 394 edits mNo edit summary Gå til næste forskel →
Linje 1: Et '''logisk konnektiv''' er en operation, som kombinerer nogle (ofte to) udsagn til ét, således at sandhedsværdien 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 bibetydinger, 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ærdien~~sandhedsværdierne af ~~de to sætninger~~sætningen ''Manden er høj'' og sætningen ''konen er lav'', som begge skal være 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 ~~sanhedstabeller~~sandhedstabeller. Et udtryk indenfor matematisk logik, kan være enten sandt eller 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.

Logisk konnektiv: Forskelle mellem versioner