Question

Se Rafael não tivesse existido, Leonardo também não existiria. Leonardo existiu. Logo,

Answer 1

Se Rafael não tivesse existido, Leonardo também não existiria. Leonardo existiu. Logo, Rafael existiu.

Sejam:

p: Rafael não existe

q: Leonardo não existe

Assim,

~p: Rafael existe

~q: Leonardo existe

A questão descrita no enunciado pode ser substituída por:

p -----> q (Se p, então q)

A proposição "Leonardo existiu" pode ser descrita por ~q

Pelo método dedutivo, temos que:

p -----> q

~q

________

~p

Logo, Rafael existiu.