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