natural deduction
Anglisy
OvayAnarana iombonana
natural deduction
- karazana fikajiana porofo izay anehoana ny fisainana lojika amin'ny alalan'ny fitsipika momba ny famaritana izay mifandray akaiky amin'ny fomba fisainana "voajanahary", mifanohitra amin'ny rafitra axiomatic
- Ity pejy ity dia nadika avy amin'ny pejy natural deduction tao amin'ny Wikibolana amin'ny teny anglisy. (lisitry ny mpandray anjara)