The Logic Resource Center

The Logic Resource Center

Public Alpha

The Logic Resource Center

Public Alpha

© 2025 The Logic Resource Center, LLC

Identity Introduction

Since everything is identical to itself this rule allows you to say so whenever you want without taking on any assumptions.

Constants: =
Systems: LRC_F OLI The Logic Book LRC LRC_P LRC_O

Start a Problem →

Identity Introduction

⋮

i.

τ'=τ''

=I

Forward

Enter a term when prompted
Click "Apply"

Backward

Select a goal identity
Click "Apply"

Preview shown for the Point And Click derivation type in the LRC system