„Axiomatikus-deduktív módszer” változatai közötti eltérés
[ellenőrzött változat] | [ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
a Bottal végzett egyértelműsítés: Eukleidész –> Eukleidész (matematikus) |
|||
16. sor:
<center>
<math>\cfrac{\Gamma \vdash A\,\mbox{, }\Gamma \vdash '\mbox{Ha }A\,\mbox{, akkor }B\,'}{\Gamma \vdash
</center>
|