 Both P4i and P5i are theorems of classical propositional logic.Note that these are axiom schemes, which represent infinitely many specific instances of axioms.For example, P1 might represent the particular axiom instance formula_25, or it might represent formula_26