Metamath Proof Explorer

Table of Contents - 1.1. Pre-logic

This section includes a few "housekeeping" mechanisms before we begin defining the basics of logic.

1. Inferences for assisting proof development
   1. idi
   2. a1ii