The Logic Resource Center
Public Alpha
Systems
Open options
Systems
The Logic Resource Center
Public Alpha
Systems
Open options
Systems
The Constants
AND
The constant "and" expresses
conjunction
.
Systems
LRC_F
Typed Forward Strict
&E: Conjunction Elimination
&I: Conjunction Introduction
Point And Click
&E: Conjunction Elimination
&I: Conjunction Introduction
OLI
Point And Click
&I: Conjunction Introduction
&EL: Conjunction Elimination Left
&ER: Conjunction Elimination Right
Comm&: Conjunction Commutivity
DeM: De Morgan
The Logic Book
Point And Click
&E: Conjunction Elimination
&I: Conjunction Introduction
Com: Commutation
Assoc: Association
DeM: De Morgan
Idem: Idempotence
Exp: Exportation
Dist: Distribution
Equiv: Equivalence
LRC
Typed Forward Strict
&E: Conjunction Elimination
&I: Conjunction Introduction
Point And Click
&E: Conjunction Elimination
&I: Conjunction Introduction
LRC_P
Typed Forward Strict
&E: Conjunction Elimination
&I: Conjunction Introduction
Point And Click
&E: Conjunction Elimination
&I: Conjunction Introduction
LRC_O
Typed Forward Strict
&E: Conjunction Elimination
&I: Conjunction Introduction
Point And Click
&E: Conjunction Elimination
&I: Conjunction Introduction
Start a Problem
→
