525
edits
Changes
Jump to navigation
Jump to search
m
Dedução Natural para a Lógica de Primeira Ordem Clássica (view source)
Revision as of 22:00, 5 October 2020
, 22:00, 5 October 2020no edit summary
* Regras para os ''quantificadores'' e para a ''igualdade'': <!--
--><p>ver [[Dedução Natural para a Lógica de Primeira Ordem Intuicionista]]</p>
* ''Efeitos das regras clássicas da negação'' sobre os quantificadores<!--
