Difference between revisions of "Formalismos dedutivos"
Jump to navigation
Jump to search
m Tag: 2017 source edit |
m Tag: 2017 source edit |
||
| Line 4: | Line 4: | ||
== Para reflexão == | == Para reflexão == | ||
| − | * '' | + | * Uma questão terminológica: ''prova'' ou ''demonstração''? [https://groups.google.com/a/dimap.ufrn.br/d/msg/logica-l/S-9hikoKNQs/hiKu9O0-EQAJ] [https://groups.google.com/a/dimap.ufrn.br/d/msg/logica-l/-AgRQtppdNQ/-A31IoAKL40J] [https://groups.google.com/a/dimap.ufrn.br/d/msg/logica-l/1PKaK3WzMT0/MU00E9xe8xsJ] [https://groups.google.com/a/dimap.ufrn.br/d/msg/logica-l/PPDpTxuVUWY/3d7cDt6uCXIJ] |
== Veja também == | == Veja também == | ||
Revision as of 21:08, 3 September 2020
- Estilos de formalismo dedutivo
[VIDEO]
