Och-introducering
Från Rilpedia
Satslogiska härledningsregler |
---|
|
Och-introducering eller introducering av konjunktion är en logisk härledningsregel inom satslogiken med formen:
D.v.s. om de båda enskilda satserna A och B är sanna så är satsen "A och B" också sann.