Argumentação

Se chove, me molho. Não me molhei. Logo:

Premissas: 'Se chove, molha.' 'Não molha.' Conclusão:

Se chove, molha. Molha. Logo:

P1: Se estudo, passo. P2: Não passei. Conclusão:

Se o carro é verde, então耗 carb. O carro não耗carb. Logo:

Se faz sol, vou à praia. Não fui à praia. Logo:

Se estudio, passo. Não passei. Portanto:

Se o gato é black, miaula. O gato miaula. Então:

Se estudio, passo. Não estudei. Então:

Se chove, a rua molha. Não molhou. Logo:

Se o professor falta, alunos alegria. O professor faltou. Conclusão:

P1: Se chove, molha. P2: Molhou. Conclusão:

Se A→B e A são verdadeiros, então B é:

P1: Se corre, cansa. P2: Não cansou. Conclusão:

Se A→B e B→C e A são V, então:

Se A→B e ~B, então por modus tollens:

Se A→B e ~A, então:

Se A→B e B→C e C é falso, então:

Se A→B e B→A, então:

P1: A ou B. P2: não A. Conclusão:

Se A→B e ~B e ~A, então:

Se A→B e A→C e A, então:

Se A→B e B→C e ~C, então:

P1: A∧B. P2: ~A. Conclusão:

Se A→B e ~A, não podemos concluir:

Se A→B e B→C e A→C, então: