Lógica modal: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Linha 183:
: <math> M, w \vDash \varphi </math>
[http://samirgorsky.vilabol.uol.com.br/ e] define-se indutivamente como se segue:
:* para cada <math> p \in At, M, w \vDash p </math> se <math>w \in V(p)</math>;
| |||