Uma proposição lógica é uma sentença declarativa que possui um valor lógico associado, verdadeiro ou falso. Em uma proposição é possível representa...

A proposição composta r: (p ^ ~q) -> q é uma estrutura condicional que pode ser lida como "se p e não q, então q". Para que a proposição r seja verdadeira, é necessário que a conclusão q seja verdadeira sempre que a condição (p ^ ~q) for verdadeira. Assim, podemos analisar as possibilidades de valores lógicos para p, q e r: - Se p for verdadeiro e q for falso, então a condição (p ^ ~q) será verdadeira, pois p é verdadeiro e ~q (não q) é verdadeiro. Nesse caso, a conclusão q é falsa, o que torna a proposição r falsa. Logo, essa opção não atende à proposição composta r. - Se p for verdadeiro e q for verdadeiro, então a condição (p ^ ~q) será falsa, pois ~q (não q) é falso. Nesse caso, a proposição r será verdadeira, pois a condição não é satisfeita e, portanto, não há necessidade de a conclusão ser verdadeira. Essa opção atende à proposição composta r. - Se p for falso e q for verdadeiro, então a condição (p ^ ~q) será falsa, pois p é falso. Nesse caso, a proposição r será verdadeira, pois a condição não é satisfeita e, portanto, não há necessidade de a conclusão ser verdadeira. Essa opção também atende à proposição composta r. - Se p for falso e q for falso, então a condição (p ^ ~q) será falsa, pois p é falso e ~q (não q) é verdadeiro. Nesse caso, a proposição r será verdadeira, pois a condição não é satisfeita e, portanto, não há necessidade de a conclusão ser verdadeira. Essa opção também atende à proposição composta r. Portanto, as opções que atendem à proposição composta r são: B) V, V, V C) F, V, V D) F, F, V E) V, F, V Assim, a alternativa correta é a letra B) V, V, V.