Question

Leia as seguintes premissas.“Se Cesar andar de bicicleta, então Marta ficará em casa. Cesar foi andar de bicicleta.”Aplicando a regra de inferência modus ponens, o que podemos concluir dessas premissas?

Answer 1

Transformando em linguagem simbólica:

p:  Cesar andar de bicicleta

q: Marta ficará em casa

Aplicando o modus ponens: (funciona a partir  de uma condicional entre duas proposições verdadeira)

p --> q, p |--> q

Cesar andar de bicicleta --> Marta ficará em casa, Cesar foi andar de bicicleta --> Marta ficará em casa.

Como fica na tabela verdade:

p q    p --> q

V V     V

V F      F

F V      V

F F      V

Assim podemos confirmar a validade dessa inferência.