Ensino Médio ⇒ Tautologia

[Auto Excluído (ID:17906)]

Sendo p e q proposições lógicas, pode-se afirmar que a proposição composta (([tex3]\overline{p}[/tex3] [tex3]\rightarrow[/tex3] q) [tex3]\wedge[/tex3] ([tex3]\overline{\overline{p} \wedge q}[/tex3])) [tex3]\wedge[/tex3] [tex3]\overline{ (p \vee \overline{p}) \wedge ((q \vee \overline{p}) \rightarrow \overline{(q \vee p))}}[/tex3] é equivalente a:

a) p [tex3]\vee[/tex3] q.
b) p [tex3]\wedge[/tex3] q.
c) p [tex3]\vee[/tex3] [tex3]\overline{q}[/tex3].
d) [tex3]\overline{p}[/tex3] [tex3]\rightarrow[/tex3] [tex3]\overline{q}[/tex3].
e) [tex3]\overline{p \rightarrow q}[/tex3].

[petrasMOD]

Qual o significado desse conectivo lógico [tex3]\overline{p}[/tex3]? Seria ~p?

[csmarceloMOD]

Sem título.png (34.07 KiB) Exibido 591 vezes