Propositional logic/Zombie/Tautology/Exercise
We consider the following quotation of Sven Walter from the article "Zombies, Dualismus und Physikalismus“ (Zeitschrift for philosophische Forschung, Bd. 65, H. 2 (2011), pp. 241-254, https://www.jstor.org/stable/pdf/41346224.pdf).
" () Zombies are imaginable.
() If Zombies are imaginable, then Zombies are possible.
() If Zombies are possible, then the physicalism is wrong.
Hence: the physicalism is wrong.“
Formalize the propositional rules used here, and show, with the help of truth tables, that they are tautologies.