Question

1. sejam as proposiçoes

a:1+2=3
b:a lógica e uma banana.
traduza para linguagem coerente.
a) ~a^b
b)~b^~a
c)~b~a

Answer 1

a) $1+2\neq3$ e a lógica é uma banana

b) a lógica não é uma banana e $1+2\neq3$

c) Temos uma dupla negação. Então, as negações se cancelam e ficamos com

$\sim\left(\sim a \right )\\ \\ \equiv \sim \left(1+2\neq 3 \right )\\ \\ \equiv 1+2=3$