Question

Leia a argumentação a seguir: “Se Tadeu usa o carro, então Tadeu vai ao trabalho. Se Tadeu usa bicicleta, então Tadeu não vai ao trabalho. Portanto, se Tadeu usa o carro, então ele não usa a bicicleta”. A representação simbólica da aplicação da Demonstração por Redução ao Absurdo da argumentação acima é:
ALGUÉM SABE A REPRESENTAÇÃO SIMBOLICA?

Answer 1

p -> q, r -> ~q, ~(p -> ~r) |-> c
 essa é a representação simbolica

Answer 2

P -> Q, R -> ~Q, ~(P -> ~R) |-> C