Questão de Raciocínio Lógico

Texto II. Proposições também são definidas por predicados que dependem de variáveis e, nesse caso, avaliar uma proposição como V ou F vai depender do conjunto onde essas variáveis assumem valores. Por exemplo, a proposição “Todos os advogados são homens”, que pode ser simbolizada por (∀x)(A(x) → H(x)), em que A(x) representa “x é advogado” e H(x) representa “x é homem”, será V se x pertencer a um conjunto de pessoas que torne a implicação V; caso contrário, será F. Para expressar simbolicamente a proposição “Algum advogado é homem”, escreve-se (∃x)(A(x) ∧ H(x)). Nesse caso, considerando que x pertença ao conjunto de todas as pessoas do mundo, essa proposição é V. Na tabela abaixo, em que A e B simbolizam predicados, estão simbolizadas algumas formas de proposições.