konnektiv
konnektiʹv (av latin con(n),eʹcto ’knyta ihop’, ’sammanfoga’, ’förbinda’, ’förena’) , i logiken en symbol eller operation som används för att bilda sammansatta uttrycksformer.
Ett binärt satskonnektiv sammanbinder två satser till en ny sats. Exempel på satskonnektiv som studeras i satslogiken är disjunktion, implikation och konjunktion.
Information om artikeln
Källangivelse