Uma concessionária de veículos permite o test-drive de três modelos, que chamaremos de A, B e C. Sabe-se que:
1-Nenhum cliente que fez o test-drive de algum modelo, fez o test-drive de todos os três.
2-Todos os clientes que fizeram o test-drive do modelo A compraram algum dos três modelos.
3-Todos os clientes que fizeram o test-drive do modelo B também fizeram o test-drive do modelo C.
4-Quem comprou um dos três modelos fez antes o test-drive deste modelo
(a) Considerando as proposições abaixo, relativas a um cliente qualquer,
t_A: fez o test-drive do modelo A
t_B: fez o test-drive do modelo B
t_C: fez o test-drive do modelo C
c_A: comprou o modelo A
c_B: comprou o modelo B
c_C: comprou o modelo C
e os símbolos lógicos , escreva as premissas 1 a 4, quando lidas para esse cliente.
e) Nenhum cliente comprou os dois modelos A e B (juntos).
Está correto, pois se fez t_B fez tb t_C, (premissa 3: Todos os clientes que fizeram o test-drive do modelo B também fizeram o test-drive do modelo C.) e para comprar o modelo A ele teria que fazer o t_A (premissa 4: Quem comprou um dos três modelos fez antes o test-drive deste modelo)
Assim, para comprar A e B juntos seria necessário fazer o test-drive nos 3 modelos o que fere a premissa 1(Nenhum cliente que fez o test-drive de algum modelo, fez o test-drive de todos os três.)
Boa sorte!
PS : todas as outras afirmações não podem ser deduzidas das premissas 1-4.