Interpretações e contramodelos
11 Outubro 2018, 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.
11 Outubro 2018, 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.