Och-introducering

Satslogiska härledningsregler
	Modus ponens; Modus tollens; Och-eliminering; Och-introducering; Eller-eliminering; Eller-introducering; Dilemma;

Version från den 17 april 2009 kl. 17.39 av Calle (Diskussion)

(skillnad) ← Äldre version | Nuvarande version (skillnad) | Nyare version → (skillnad)

Texten från svenska Wikipedia

Och-introducering eller introducering av konjunktion är en logisk härledningsregel inom satslogiken med formen:

$\begin{array}{cc} A & \mathrm{(premiss}) \\ B & \mathrm{(premiss}) \\ \hline A \and B & \mathrm{(slutsats)} \end{array}$

D.v.s. om de båda enskilda satserna A och B är sanna så är satsen "A och B" också sann.