Matematiska och logiska bevis

I matematik och logik består ett bevis av ett antal ordnade påståenden och är normalt deduktivt eller blir deduktivt om det skrivs ut fullständigt. Påståenden som anförs i beviset utan stöd av andra påståenden är

• Författare:
• Dag Prawitz