Proofs (2) Strict implication as Relevant Entailment

2023-2 Modal Logic (Segment 3)

 

Q) How might one use relevant logic to interpret C. I. Lewis’ strict implication as relevant entailment where we have:

Give proofs of the wffs K and T in Lewis’s S1, i.e., prove:

1. L(p ⊃ q) : ⊃: Lp ⊃ Lq

2. Lp ⊃ p