naturlig deduktion
naturlig deduktion, en form av logiska, formella system inom vilka bevis kan
(12 av 80 ord)
Vill du få tillgång till hela artikeln?
Litteraturanvisning
D. Prawitz,
Natural Deduction: A Proof-Theoretical Study (
1965).
Källangivelse
Nationalencyklopedin,
naturlig deduktion.
http://www.ne.se/uppslagsverk/encyklopedi/lång/naturlig-deduktion