Um fato estranho é lógicas para-consistentes obedecerem ao princípio do terço excluso.
P/ex. o sistema do prof. Newton da Costa, apresenta como axioma o princípio do terço excluso (p˅~p), apesar do sistema ser para-consistente, ou seja, incluir um terceiro valor.
Como uma lógica trivalente obedeçe ao princípio do terço excluso?
Assinar:
Postar comentários (Atom)
Nenhum comentário:
Postar um comentário