Logisk konnektiv: Forskelle mellem versioner

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 som regnes til andre ordklasser eller ved forskellige former for omskrivninger.

 

Hvorvidt 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 som et logisk konnektiv idet sandhedsværdien ikke udelukkende afhænger af sandhedsværdierne af de enkelte udsagn men også af den tidslige rækkefølge.

 

 

 

== Negation <math>\neg</math> ==