Questões de Concurso Público Petrobras 2018 para Analista de Sistemas Júnior - Processos de Negócio

Dado um número inteiro qualquer, então, ou ele é par, ou é ímpar.

Diante dessa premissa, considere a seguinte sentença:

Se dois números inteiros são pares, então a soma desses números é um número inteiro par.

Essa sentença é logicamente equivalente à sentença

Sejam p e q duas proposições lógicas simples tais que o valor lógico da implicação (~p) → (~q) é FALSO.

O valor lógico da proposição p˅(~q) é igual ao valor lógico da proposição

Considere o seguinte argumento, no qual a conclusão foi omitida:

Premissa 1: p → [(~r) ˅ (~s)]

Premissa 2: [p ˅ (~q)] ˄ [q ˅ (~p)]

Premissa 3: r ˄ s

Conclusão: XXXXXXXXXX

Uma conclusão que torna o argumento acima válido é

Considere o seguinte argumento:

Premissa 1: [(~A) ˄ (~G)] → (~P)

Premissa 2: P

Conclusão: A ˅ G

A validade do argumento pode ser deduzida, respectivamente, a partir da aplicação das regras de inferência