Questões de Concursos Prefeitura de Mogeiro PB

Com relação ao uso das regras de inferência, analise as seguintes afirmativas:

I- Regra da adição: Dada uma proposição p, dela se pode deduzir a sua disjunção com qualquer outra proposição, por exemplo, deduzir p ∨ q, ou p ∨ r.
II- Regra da simplificação: Permite deduzir de duas proposições dadas p e q (premissas) a sua conjunção, p ∧ q ou q ∧ p (conclusão).
III- Regra Modus ponens: conhecida também como regra da separação, permite deduzir da disjunção p ∨ q de duas proposições e da negação ~p (ou ~q) de uma delas a outra proposição q (ou p).
IV- Regra Modus tollens: permite, a partir das premissas p→q (condicional) e ~q (negação do consequente), deduzir como conclusão ~p (negação do antecedente).

Estão corretas as afirmativas:

Assinale a alternativa que indica a negação da proposição composta:

“O gato não mia ou não está doente”

Considere as seguintes proposições:

p: Carlos é engenheiro.
q: Carlos é pobre.

A contrapositiva da recíproca associada a condicional p→~q, é:

Dada duas proposições, p e q, podemos dizer que a alternativa que corresponde a resolução da tabela-verdade para a coluna:

~(p∧q)∨∼(q↔p)

É a seguinte: