Question

CONSIDERE A PROPOSIÇÃO
P:-a => (-a v b => a ^ b)
Prove que qualquer que sejam
os valores lógicos de a e b, se tem
P=>q​

Answer 1

Resposta:

Nem todos os valores de a e b são possíveis para que a proposição ~a → (~a v b → a ^ b) seja logicamente verdadeira

Explicação passo-a-passo:

Sendo a e b falsos: ~a → (~a v b → a ^ b)

[verdadeiro] → ([verdadeiro] v [falso] → [falso] ^ [falso]

[verdadeiro] → ([verdadeiro] → [falso])

[verdadeiro] → (falso)

Esta proposição é logicamente falsa

OBS: a apresenta valor lógico oposto de ~a