As I understand it, those 4 still think there are 5 nodes in the set (just that one is down) so you can still establish majority voting because the set size is 5.