Yes! I only want to add that VS40 is employing deductive logic (here a kind of reductio ad absurdum) in a way that illustrates one of the things deductive logic is good at: illustrating incoherent thinking. However, it is possible to construct a valid deductive syllogism that leads to an empirical falsity (i.e. the syllogism is valid, but not sound).
Empirical arguments (e.g. from the senses, feelings and prolepseis) depend largely on inference from revealed facts: inductive logic. Although none of that was formalized in Greek thinking of the time, Epicurus seems (to me at least) to have been a kind pf precursor on that path.