Glossaris |
| Inici Temes |
Glossari Lògica / Terme
Deducció natural
Mètode de validació molt intuïtiu basat en nou regles d’inferència.
Enllaç permanent: Deducció natural - Data: 2013-06-15 09:06:40
< Contraexemple | Glossari Lògica | Enunciat >
|
||||||
|
Glossari Lògica / Terme Deducció naturalMètode de validació molt intuïtiu basat en nou regles d’inferència.
Enllaç permanent: Deducció natural - Data: 2013-06-15 09:06:40 < Contraexemple | Glossari Lògica | Enunciat > |
Actualitzacions |
|||||
