抄録
Axiomatic rejection for Aristotle's syllogistic is not fully arranged as a formal system because one of its rejection rules contains a meta-concept. In this paper, we restrict our discussion to the classical propositional logic and reconstruct the rejection system as a formal system with assumptions. Furthermore, we give the axiomatization of satisfiability through a similar way of the reconstruction of the rejection system.
