Nos seguintes pares de declarações, seja
a primeira declaração e
a segunda. Indique, para cada caso, se (5.1), (5.2) ou (5.3) se aplicam.
O tanque de gasolina de meu carro está vazio; não posso dar partida em meu carro.
O tanque de gasolina de meu carro está vazio; não posso dar partida em meu carro.
Passo 1
Temos um par de declarações, onde definimos
O exercício pede para classificar a inferência entre
e
segundo três padrões:
Passo 2
Interpretando o conteúdo, a premissa implícita é “Se o tanque está vazio, então não posso dar partida” — ou seja,
. Em seguida afirma-se
(“o tanque está vazio”) e conclui-se
(“não posso dar partida”).
Passo 3
Esse raciocínio segue exatamente o esquema
que é o modus ponens, ou seja, o padrão (5.1).
Resposta
(5.1)