Conditional Proof, Part I: Use the rule of Conditional Proof to derive the following conclusions from

their premises. Make sure you have a scope marker for the conditional proof sequence!

#$1.1.$ GsupT

$($TvvS$)$sup$($K$)/($:$).$GsupK

Jsup$($KsupL$)$

Jsup$($MsupL$)$

$$L$(,)/($:$).$J$($KvvM$)$

#$2.1.$ Avv$($B$*$C$)$

C$$A$(,)/($:$).$CsupB

#$4.1.$ Asup$($BvvC$)$

A$$C

$($A$*$B$)$sup$($D$)/($:$).$AsupD