Look the notation that is in the following question. I like it very much! math.stackexchange.com/questions/3350974/…

@MattF. I think it is important to study philosophical logic because mathematics assumes several axioms of logic. Since there is not only one type of logical system, it is necessary to understand why certain branches of mathematics accept one axiom and reject another (for example, the principle of excluded middle in the case of Constructive Mathematics) . Also, mathematics assumes some rules of inference, so it is worth understanding a little about these things to have a better understanding of the foundation of mathematics.