Question

A proposição (p↔~q)∧( p∧q) se caracteriza como

Answer 1

Resposta:

Para avaliarmos a validade dessa proposição composta, construamos sua tabela-verdade:

p     q     ~q     p↔~q     p∧q      (p↔~q)∧( p∧q)

V    V      F         F             V                 F

V    F      V         V             F                 F

F    V      F         V             F                 F

F    F      V         F             F                 F

Assim, percebemos que seu valor lógico é sempre F, independentemente dos valores lógicos atribuídos a p e a q. Assim, trata-se de uma proposição logicamente falsa, ou uma contradição.