For example: By rule 1, p is a formula.
Για παράδειγμα : Από τον κανόνα 1, το p είναι ένας τύπος.