The Logic Resource Center
Public Alpha
Systems
Open options
Systems
The Logic Resource Center
Public Alpha
Systems
Open options
Systems
Reiteration
Constants
Systems
LRC_F
The Logic Book
LRC
LRC_P
LRC_O
Start a Problem
→
Reiteration
i
i.
ϕ
⋮
i
ii.
ϕ
R: i
Forward
Cite the formula you want to reiterate
Enter it again
Hit Return
Preview shown for the
Typed Forward Strict
derivation type in the
LRC_P
system
