Konnektiv

Från Rilpedia

Texten från svenska Wikipedia

Konnektiv av latinets connecto, knyta samman, sammanfoga, förbinda, förena.

Logisk operator, Logisk grind
negation, NOT konjunktion, AND, NAND disjunktion, OR, XOR, NOR implikation ekvivalens, XNOR konnektiv sanningsfunktion sanningsvärdetabell de Morgans lagar

I satslogiken ett ord, en symbol eller en operation som används för att bilda sammansatta satser. Dessa är

• negation ("inte" (ibland läses det "icke")),
• konjunktion ("och")
• disjunktion ("eller"),
• implikation ("om...så...")
• ekvivalens ("om...och endast om...så...").

Inom lingvistiken används uttrycket särskilt om konjunktioner och subjunktioner.