AxmPropVerum (1.13, Axiom): A13

Standalone kernel entity record from 1. Propositional Logic (1.01–1.14) — View in Complete Entity Database (#AxmPropVerum) →

Formula Display:
Proof Trees:

AxmPropVerum (1.13) — A13

Classical propositional calculus axiom schemas (A01–A13) and Modus Ponens.

Num Entity Database Record (Vertical Field Table)
1.13
Title A13 #AxmPropVerum #label-a13
Classification Axiom
Formula
0⊤
0\(\href{../symbols/top-const.html}{\top} \)
SML Kernel AST PA13_prf
Scheme of Types 0⊤
Kernel Note Verum / Truth Introduction Axiom (⊢ ⊤).
Verification Postulated (Kernel Axiom) · Standalone Entry (AxmPropVerum) → · (1.13) · #AxmPropVerum