Direction from left to right:
We assume
(False conjunctive.LA)
and show
(False conjunctive.RC) .
Formula (False conjunctive.RC) is true because it is identical to (False conjunctive.LA.2).
![[Graphics:indexgr427.gif]](indexgr427.gif)
![[Graphics:indexgr428.gif]](indexgr428.gif)
.