Não é ambiguidade sintática, é só "pôr em evidência" o operador de
possibilidade, segundo a regra ensinada no colegial:

Possivel ( p )  ^ Possivel ( - p )
---------------------------------------------
Possivel ( p ^ - p )

:-) :-) :-)

Carlos

2016-10-25 10:00 GMT-02:00 Joao Marcos <[email protected]>:

> Atualmente não é completamente fora de questão encontrar no Brasil
> filósofos que traduzem "actual contradictions" como "contradições
> atuais"...
>
> JM
>
> 2016-10-25 13:33 GMT+02:00 'Samuel Gomes' via LOGICA-L <
> [email protected]>:
> > ... Melhor do que isso, só se fosse brazuca e traduzisse algo como "real
> contradition" como "contradição sobre os números reais"...
> >
> > --
> > Você está recebendo esta mensagem porque se inscreveu no grupo
> "LOGICA-L" dos Grupos do Google.
> > Para cancelar inscrição nesse grupo e parar de receber e-mails dele,
> envie um e-mail para [email protected].
> > Para postar neste grupo, envie um e-mail para [email protected].
> > Visite este grupo em https://groups.google.com/a/
> dimap.ufrn.br/group/logica-l/.
> > Para ver esta discussão na web, acesse https://groups.google.com/a/
> dimap.ufrn.br/d/msgid/logica-l/140bdcd5-1c4f-47f2-ba7c-
> 03e364f0eb2f%40dimap.ufrn.br.
>
>
>
> --
> http://sequiturquodlibet.googlepages.com/
>
> --
> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L"
> dos Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para [email protected].
> Para postar neste grupo, envie um e-mail para [email protected].
> Visite este grupo em https://groups.google.com/a/
> dimap.ufrn.br/group/logica-l/.
> Para ver esta discussão na web, acesse https://groups.google.com/a/
> dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhtLTgzOChv80jWpnDEhXd%3Dd-
> V5kZeNfPzDWp-uU1Y%3D1g%40mail.gmail.com.
>

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para [email protected].
Para postar neste grupo, envie um e-mail para [email protected].
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGJaJ%2B9SRzS5GwvqDePVjipkd0ykPgegxY5tfo0u_in0Fb6QYg%40mail.gmail.com.

Responder a