Olá Rodrigo,
A única coisa que você precisa garantir é que não haja, no mesmo mundo
possível, copo inquebrável e copo quebrado. Todo o resto é permitido.
Quando você tem que "a partir do mundo em que o copo é inquebrável,
não há mundos possíveis em que ele está quebrado", é porque você já
sabe que
> Não entendi muito bem por que eu teria que garantir isso.
OK. Vamos ver então. Você concorda que não é possível que um copo seja
inquebrável e esteja quebrado ao mesmo tempo? Se você concorda, então
podemos afirmar que, num mesmo mundo possível, se o como é inquebrável
(~p) então ele não está qu
Olá,
Ops! Desculpe. Eu confundi tudo. Estou tão acostumado a trabalhar com
lógica epistêmica que quando alguém fala de S5 eu logo penso que
estamos falando de conhecimento. Só agora me dei conta de que você
está falando de necessidade e possibilidade mesmo. Então esqueçamos
conhecimento. Porém, ne
The CRIL CNRS lab (Centre de Recherche en Informatique de Lens --
http://www.cril.fr/) offers a PhD fellowship on Modal Logics for
Reasoning about Multi-Agents Systems. The successful candidate will
start working around September 2012 under the supervision of Tiago de
Lima. We are looking for
Olá,
Depois do email de Daniel Durante eu fiquei com uma dúvida. Que tal essa
frase aqui:
Todos os seres humanos com mais de 200 anos têm mais de 100 anos.
Daniel, o que você acha? É verdadeiro por vacuidade ou é verdadeiro pour
um outro motivo? E essa outra:
Todos os seres humanos com mai
Olá Márcio,
O problema parece estar aqui:
> Suppose, however, that Nixon's assertions about
> Watergate are evenly balanced between the true and the false, except for
> one problematic case,
Me parece que a afirmação (1) é a que fará a diferença, isto é, é a que
fará que a maioria das afirmaçõ
Olá,
Acho que o problema é que coleções são definidas pelos objetos que elas
contém. Nesse caso, uma coleção de figurinhas vazia é "equivalente" à
uma coleção bolinhas de gude vazia, ou será que não ? Por que não ?
Por outro lado, se considerarmos a "embalagem", então as coleções vazias
pode
