Considere as proposições p, q e r associadas a três condições de um protocolo lógico. Analise as assertivas e registre V, para verdadeiro, e F, para falso.
( ) Se p=V, q=F e r=V, então (p^¬q)→ r assume valor verdadeiro.
( ) A proposição (p→q) v (q→p) é uma tautologia.
(__) A proposição (p v q) ^ (¬p v ¬q) é verdadeira exatamente quando p e q possuem o mesmo valor lógico.
(__) A proposição [(p→q) ^ p] ^ ¬ q é uma contradição.
(__) A proposição (p→r) v (q→r) é logicamente equivalente a (pvq) → r.
Assinale a alternativa que apresenta a sequência CORRETA dos itens acima, de cima para baixo: