Lógica Proposicional - Dedução e Validação de Argumentos

Se o programa possui erros de sintaxe sua compilação produz uma mensagem de erro Se o programa não possui erros de sintaxe sua compilação produz um programa executável Se tivermos um programa executável podemos executálo para obter um resultado Não temos como executar o programa para obter um resultado Logo a compilação do programa produz uma mensagem de erro p q p r s Considere O programa possui erros de sintaxe 𝑝 𝑞 Compilação produz uma mensagem de erro 𝑟 Compilação produz um programa executável Podemos executálo para obter um resultado 𝑠 1 𝑝 𝑞 𝑝 𝑞 2 𝑝 𝑟 𝑝 𝑟 3 𝑟 𝑠 𝑟 𝑠 4 𝑠 Por 4 e 3 concluímos 6 𝑟 Por 6 e 2 concluímos 7 𝑝 Por 7 e 1 concluímos 𝑞 Concluímos que a compilação produz mensagem de erro Considere p O programa possui erros de sintaxe q Compilação produz uma mensagem de erro r Compilação produz um programa executável s Podemos executálo para obter um resultado pq pq 1 pr pr 2 r sr s 3 s 4 Por 4 e 3 concluímos r 6 Por 6 e 2 concluímos p 7 Por 7 e 1 concluímos q Concluímos que a compilação produz mensagem de erro