Och-introducering
| Den här artikeln behöver källhänvisningar för att kunna verifieras. (2018-12) Åtgärda genom att lägga till pålitliga källor (gärna som fotnoter). Uppgifter utan källhänvisning kan ifrågasättas och tas bort utan att det behöver diskuteras på diskussionssidan. |
Satslogiska slutledningsregler |
---|
|
Predikatlogiska slutledningsregler |
|
Andra slutledningsregler |
|
Denna tabell: visa • redigera |
Och-introducering eller introducering av konjunktion är en logisk härledningsregel inom satslogiken med formen:
Det vill säga om de båda enskilda satserna A och B är sanna så är satsen "A och B" också sann.