konnektiver
Konnektiver er udsagnslogiske ord som hvis — så, og, eller og ikke, der bruges til dannelse af nye udsagn (udsagnsforbindelser) på grundlag af et eller flere andre udsagn. Læs mere i Den Store Danske udsagnslogik
Konnektiver er udsagnslogiske ord som hvis — så, og, eller og ikke, der bruges til dannelse af nye udsagn (udsagnsforbindelser) på grundlag af et eller flere andre udsagn. Læs mere i Den Store Danske udsagnslogik
konnektiver, som udtrykker nødvendighed og mulighed, hvilket giver modallogik; man kan tilføje konnektiver vedr. tid, hvilket giver temporallogik; man kan tilføje konnektiver vedr. vurderinger og påbud, hvilket giver deontisk logik; man kan tilføje konnektiver vedr. viden, hvilket giver epistemisk logik
er inden for grammatik ord, der forbinder sætningsdele. Læs mere i Den Store Danske diskurs tekstlingvistik
konnektiver defineres ved at opstille regler, som gælder for hhv. bevis og modbevis af udsagn, der indeholder konnektiverne. Således introduceres konnektivet "og" ved at forlange, at et udsagn, 'p og q', kan bevises, såfremt både 'p' og 'q' kan bevises
konnektiver. Formaliseres den klassiske udsagnslogik ved hjælp af naturlig deduktion, vil man således have en introduktionsregel for konjunktion. Denne regel siger, at man fra to vilkårlige udsagn A og B kan slutte til deres konjunktion, A∧B. Tilsvarende er modus
konnektiv "eller", formelt ∨, og for udsagn, hvor "eller" er hovedkonnektiv, fx "det sner eller det regner". En disjunktion er sand, hvis mindst ét af de indeholdte udsagn er sandt; ellers er disjunktionen falsk. I logikken opererer man også med den
Domslogik, i filosofien logisk undersøgelse af domme, som er opbygget udelukkende ved hjælp af udsagnslogiske konnektiver som 'og', 'eller', 'ikke' og 'hvis...så'; se udsagnslogik. Læs mere i Den Store Danske logik
logikken er et udsagn, som er sammensat af deludsagn forbundet vha. konnektivet "og", der i formel logik ofte betegnes ∧. En konjunktion er sand, hvis og kun hvis alle de indgående udsagn er sande. Læs mere i Den Store Danske udsagnslogik
konnektiver "eller" og "og". Således står x+y for sætningen "x eller y" og x∙y for "x og y". Ligningen x+y = 1 betyder, at sætningen "x eller y" er sand, hvorimod x+y = 0 betyder, at sætningen "x
konnektiver for nødvendighed og mulighed. Nødvendighed betegnes med □ eller L, og mulighed med ◇ eller M. Således betyder □p, at udsagnet p gælder med nødvendighed, og ◇p betyder, at p muligvis er sand. Der findes mange forskellige modallogiske systemer. Et vigtigt