Questões de Raciocínio Lógico - Equivalências - Proposições Logicamente Equivalentes para Concurso

As fórmulas bem formadas (FBF), na Lógica de Primeira Ordem, seguem regras sintáticas específicas. Assinale a alternativa que apresenta a única fórmula bem formada (FBF) na Lógica de Primeira Ordem.

Considere a proposição P referente aos números naturais.

P: se n² é par, então n é par.

Sua contrapositiva é:

André, Bruno e Carlos são professor, engenheiro e advogado, não necessariamente nessa ordem. Ao compararmos a idade dos três, o advogado, que é o melhor amigo de Bruno, é o mais novo. Além disso, sabemos que o engenheiro é mais novo que Carlos.

Com isso, é correto afirmar que

Aline, Beatriz, Carla, Diana e Elaine saíram no mesmo horário até um evento. Sabe-se ainda que:

− Aline chegou primeiro do que Diana, mas depois do que Elaine no evento;

− Beatriz chegou antes de Carla, que, por sua vez, chegou primeiro do que Aline no evento.

É correto concluir que 

Considere a afirmação abaixo:

“Se Ana estuda muito ou pratica esportes, então Marcos é inteligente e dedicado”.

Assinale a alternativa que representa uma sentença logicamente equivalente a essa afirmação.