8/18/2019 Exercícios Com Respostas - Regras de Inferência

1/3

Exercícios

Prove que cada conclusão nos exercícios abaixo é válida:1. Se o programa é eficiente, executa rapidamente. programa é eficiente ou tem algum bug.

 !o entanto, o programa não executa rapidamente. "ogo, ele tem um bug.#. Se $ane é a mais popular, ela será eleita. Se $ane é a mais popular, então %arlos vai

renunciar. Portanto, se $ane é a mais popular, ela será eleita e %arlos renunciará.&. ' col(eita é boa, mas não (á água suficiente. Se (ouver muita c(uva ou se não (ouver muitosol, então (averá água suficiente. Portanto, a col(eita é boa e (á muito sol.

). Se o an*ncio for bom, o volume de vendas aumentará. an*ncio é bom, ou a lo+a vaifec(ar. volume de vendas não vai aumentar. Portanto, a lo+a vai fec(ar.

. ' -*ssia era uma potncia superior e, a /ran0a não era suficientemente poderosa ou !apoleão fe um erro. !apoleão não fe um erro, mas se o exército não perdeu, então a/ran0a era poderosa. Portanto, o exército perdeu e a -*ssia era uma potncia superior.

8/18/2019 Exercícios Com Respostas - Regras de Inferência

2/3

8/18/2019 Exercícios Com Respostas - Regras de Inferência

3/3

). Se o an*ncio for bom, o volume de vendas aumentará. an*ncio é bom, ou a lo+a vai fec(ar. volume de vendas não vai aumentar. Portanto, a lo+a vai fec(ar.

Sentença lógica:

(* → ;) ∧ (* ∨