Oi pessoas,
eu pensei em marcar isso aqui como off-topic, mas aí lembrei que a
gente teve uma discussão bem grande sobre linguagem neutra em agosto
do ano passado -
https://groups.google.com/a/dimap.ufrn.br/g/logica-l/c/gfesZC1aRW8/m/asH2QPYsAwAJ
e vi que não é off-topic não...
A versão muito c
Curioso. Devemos supor que o gerador é "completo"? (isto é, ele
sempre diz que o argumento é válido quando tal for o caso?)
Imagino que o autor do gerador não tenha se dado ao trabalho de
descrever em canto algum a definição de "argumento válido" com a qual
ele está trabalhando?
JM
On Thu, Apr
Colegas:
Como explicou Ciro, o Prêmio UNILOG corresponde ao resultado do
concurso/competição internacional entre os ganhadores dos prêmios
nacionais, entre os quais está o Prêmio nacional brasileiro Newton da Costa.
O prêmio brasileiro é outorgado pela SBL e o Prêmio UNILOG é de
responsabilidade d
Não exatamente independente: o Prêmio UNILOG é uma competição entre,
justamente, os vencedores dos respectivos prêmios nacionais, entre os quais
o nosso.
Enfim, acho que a coisa mais importante é que o "troféu" tinha vindo
aqui... kkk
Por sinal, o primeiro vencedor, em 2018, também era brasilei
Muito obrigado Maria! Pena que a gente não se encontrou ali, espero que
esteja tudo bem agora.
Il giorno martedì 12 aprile 2022 alle 02:06:57 UTC-3 martine...@gmail.com
ha scritto:
> Super (late) parabéns, Ciro!!
>
> Muitos abraços,
>
> M.
>
> On Tue, Apr 12, 2022, 00:18 Ciro Russo wrote:
>
>>
Oi colegas,
Quando coloco
p, p>q : q
http://micalevisk.github.io/TruthTableGenerator-plus/ (gerador de tabela
verdade do Micael Levi L. Cavalcante https://github.com/micalevisk)
a página diz "Argumento Válido".
Se coloco
p, p>q : r
a página diz "Argumento Inálido".
Mas
(p&~p), p>q, q>r : r
nã
