Jen estas esprimitaj kaj klarigitaj la naŭ bazaj reguloj kiujn oni uzas ĉe natura dedukto. Ilia celo estas montri kiam kaj kiel oni aldonu pli da certaj formuloj.
Vi trovos ekzemplojn (eksplikitajn) ĉe la sekva sekcio.
