Question

Use tabela-verdade para verificar a validade dos argumentos a se-

guir:

a. Se neva, então faz frio.

Não está nevando.

Logo, não está frio.​

Answer 1

Esta em anexo, tiver dúvida manda no comentário.

A ⊨ B significa que A semanticamente* acarreta B

*Semântica é o estudo do significado.

Na imagem, aqueles números 1,2,3,4,5 é a ordem do raciocínio.