Question

Escreva na forma mais simples a negação dessa preposição ~a=>b

Answer 1

Explicação passo-a-passo:

Logica Bivalente

• Dada duas proposições p e q :
• $\sf{p\Rightarrow q \iff ~\neg p\vee q }$

• Queremos saber escrever na forma mais simples a negação da seguinte proposição:
• $\sf{ \neg a\Rightarrow b }$

• Antes de nada vamos negar a proposição :

$\iff \sf{ \neg\Big(\neg a\Rightarrow b\Big) }$

$\iff \sf{ \neg\Big(\neg\neg a \vee b\Big) }$

• NB: a negação da negação resulta na própria preposição.

$\iff \sf{ \neg\Big( a\vee b \Big) }$

• Usando a LEI DE MORGAN vamos ter :

$\green{ \iff \boxed{\boxed{\sf{ \neg a \wedge \neg b } } } }$

ESPERO TER AJUDADO BASTANTE!)