Woe to him who would not be true, even though to be false were salvation!
有前提（大前提）為否定，而結論卻為肯定，可判定推論無效。