naturlig deduktion
naturlig deduktion, en form av logiska, formella system inom vilka bevis kan föras från hypoteser som senare avslutas i beviset.
De mest kända systemen för naturlig deduktion formulerades 1934 av Gerhard Gentzen, som med det ville närmare anknyta till informell (”naturlig”) bevisföring. Av större teoretiskt intresse är emellertid att hans system analyserade deduktiva slutledningar i ett antal ”atomära” steg av två slag, introduktionsregler och eliminationsregler, som visade sig
Litteraturanvisning
Information om artikeln
Källangivelse