Junte-se ao IDNLearner.com e acesse uma mina de conhecimento. Encontre as soluções que você precisa de maneira rápida e simples com a ajuda de nossos especialistas em diversas áreas do conhecimento.

Imagine que você é um profissional contratado para transformar o texto a seguir em fórmulas bem formadas na lógica proposicional e utilizar as regras de prova para chegar à conclusão:
"Se estiver chovendo, não vou ao trabalho". "Se estiver chovendo, então não saio de casa. Se não saio de casa, então não vou ao trabalho. Logo, se estiver chovendo, não vou ao trabalho.