12/07/2017

experiência


Conjunto de tópicos:
  1. ∴ p∧¬Kp [instância de ¬O]
  2. ∴ (p∧¬Kp)→◊K(p∧¬Kp) [instância de PC, substituindo a linha 1 pela variável p em PC]
  3. ∴ ◊K(p∧¬Kp) [de 1 e 2, por modus ponens]
teste
  • teste
  • teste

21/07/2016

teste5

06/08/2015

22/04/2014