Lógica, perguntado por JdeArak, 11 meses atrás

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.​

Soluções para a tarefa

Respondido por vasfvitor
4

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.

Anexos:

JdeArak: vlw parceiro, tirou mimha dúvida
Perguntas interessantes