M
Matthias123
Guest
- ◊(~α•(~α⊃~B)) • ◊(~Β•(~Β⊃~C)) → ◊((~α•(~α⊃~B)) • (~Β•(~Β⊃~C)))
- ◊~((~α•(~α⊃~B)) • (~Β•(~Β⊃~C)))
So if it is possible that α could not exist, and that if α is the sufficient cause of B, then then the nonexistence of α would result in the non-existence of B, and this is true for not just singular entities, but multiple entities at the same time, this results in these multiple entities, given that all potentialities are actualized, will at one time be not.