Interpretações e contramodelos
10 Outubro 2017, 18:00 • Ricardo Santos
Limitações do método das tabelas de verdade. A análise exaustiva faz muitos cálculos inúteis. Um método mais directo: a construção de contramodelos como prova de invalidade.
10 Outubro 2017, 18:00 • Ricardo Santos
Limitações do método das tabelas de verdade. A análise exaustiva faz muitos cálculos inúteis. Um método mais directo: a construção de contramodelos como prova de invalidade.