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.
ϕ
ii.
ϕ
R: i
Forward
Cite te formula you want to reiterate
Click "Apply"
Preview shown for the
Point And Click
derivation type in the
The Logic Book
system
