O caso de West

O vídeo aplica a lógica de predicados no caso de West. O objetivo deste problema é deduzir se um homem chamado West é criminoso ou não, e é baseado na seguinte informação: “Todo americano que vende armas para o país hostil é considerado um criminoso”.Faz-se então a dedução da afirmação para a lógica, com suposições e premissas.

Fundamentos de Lógica Matemática

Sistemas de Informação