Questões da Prova CESPE - 2009 - TCE-RN - Assessor Técnico de Informática

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).

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

Se A, B, C e D são proposições, em que B é falsa e D é verdadeira, então, independentemente das valorações falsa ou verdadeira de A e C, a proposição será sempre verdadeira.

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.