Questões de Concurso Público TCE-RN 2009 para Assessor Técnico de Informática

Com relação a lógica sentencial e de primeira ordem, julgue o item que se segue.

As proposições “Se Mário é assessor de Pedro, então Carlos é cunhado de Mário” e “Se Carlos não é cunhado de Mário, então Mário não é assessor de Pedro” são equivalentes.

Com relação a lógica sentencial e de primeira ordem, julgue o item que se segue.

A negação da proposição (∃x)(x+3 = 25) pode ser expressa corretamente por (∀x)(x + 3 ≠ 25).