Från Rilpedia

Du har inte behörighet att redigera denna sida, av följande anledning:

Du kan se och kopiera denna sidas källtext:

<noinclude>{{rpsv.from.wpsv}}</noinclude> {{Härledningsregler}} '''Och-eliminering''' eller '''eliminering av konjunktion''' är en logisk [[härledningsregel]] inom [[satslogik]]en med formen: :<math> \begin{array}{cc} A \and B & \mathrm{(premiss)} \\ \hline A & \mathrm{(slutsats)} \end{array} </math> eller :<math> \begin{array}{cc} A \and B & \mathrm{(premiss)} \\ \hline B & \mathrm{(slutsats)} \end{array} </math> D.v.s. om satsen "A och B" är ett sant påstående så är de enskilda satserna A respektive B också sanna påståenden. [[Kategori:Härledningsregler]]

Tillbaka till Och-eliminering.