Difference between revisions of "Formalismos dedutivos"
Jump to navigation
Jump to search
Tag: 2017 source edit |
m Tag: 2017 source edit |
||
| Line 1: | Line 1: | ||
| − | * '''Estilos''' de formalismo dedutivo | + | * '''Estilos''' de formalismo dedutivo<!-- |
| − | [VIDEO] | + | --><p>[VIDEO]</p> |
== Para reflexão == | == Para reflexão == | ||
| − | * | + | * ''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]
