2023-2 Modal Logic (Segment 3)
Q) Routley-Meyer Semantics for Relevant Logic has this:
Prove (using the semantics) the following:
1. A & B .–▶. A v B
2. ¬¬A ◀– –▶ A
3. ¬(A & B) ◀– –▶. ¬A v ¬B
4. ¬A –▶ B .–▶. ¬B –▶ A
'Logic > Relevance Logic' 카테고리의 다른 글
| Proofs (2) Strict implication as Relevant Entailment (0) | 2024.01.14 |
|---|