En o calculo proposicional ye común prener como axiomas lochicos todas as formulas siguients, an que ϕ {\displaystyle \phi \,} , ψ {\displaystyle \psi \,} , y χ {\displaystyle \chi \,} pueden estar qualsiquier formula en o luengache: ϕ → ( ψ → ϕ ) {\displaystyle \phi \to (\psi \to \phi )\,} ( ϕ → ( ψ → χ ) ) → ( ( ϕ → ψ ) → ( ϕ → χ ) ) {\displaystyle (\phi \to (\psi \to \chi ))\to ((\phi \to \psi )\to (\phi \to \chi ))\,} ( ¬ ϕ → ¬ ψ ) → ( ψ → ϕ ) {\displaystyle (\lnot \phi \to \lnot \psi )\to (\psi \to \phi )} Cadaguno d'istos patrons ye un esquema d'axiomas, una regla ta chenerar un numero infinito d'axiomas.