Lógica modal: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m ajustes usando script |
|||
Linha 22:
*'''possível''' se e somente se ela é ''não necessariamente falsa'' (independente de ser realmente verdadeira ou falsa);
*'''necessária''' se e somente se ela é ''não possivelmente falsa'';
*'''
Claramente, se quisermos definições dessas noções de forma não circular, precisaremos pegar algum dos operadores (possibilidade ou necessidade) como primitivo, ou então analisar essas noções em termos de outras que não incluam nem possibilidade nem necessidade, e que sejam elas mesmas definidas de forma não circular.
|