Escolar Documentos
Profissional Documentos
Cultura Documentos
2. A´∧ (B→A) → B´
4. [(C→D)→C] → [(C→D)→D]
5. A´∧ (A∨ B) → B
7. (P∨ Q)∧ P´ →Q
8. (P→Q) → (Q´→P´)
(Este resultado é chamado de contraposição (abreviado por cont)e será usado como uma
regra de dedução no exercício 10)
Prove que os argumentos dos exercícios 9 e 10 são válidos. Use as letras de proposições
dadas.
9. Se Jane é a mais popular, ela será eleita. Se Jane é a mais popular, então Carlos vai
renunciar. Portanto, se Jane é a mais popular, ela será eleita, e Carlos renunciará. (J, E, C)
10. A colheita é boa mas não há água suficiente.Se houver muita chuva ou se não houver
muito sol, então haverá água suficiente. Portanto, A colheita é boa ehá muito sol.
(C,A,V(chuva),S)
(Dica: Use o resultado do exercício 8 como uma regra de dedução)