added l11 :)

2025-10-21 20:00:35 +00:00 · 2024-05-12 18:02:17 +03:00 · 2024-05-12 18:02:17 +03:00 · 290caaddfe
commit 290caaddfe
parent 13844c17b9
1 changed files with 2 additions and 0 deletions
--- a/main.typ
+++ b/main.typ
@ -56,6 +56,8 @@ $bold(L_9): (B→C)→((B→¬C )→¬B)$

 $bold(L_10): ¬B→( B→C)$

+$bold(L_11): B∨¬B$
+
 $bold(L_12):  ∀x F (x)→F (t)$  (in particular, $∀x F (x)→F (x)$)

 $bold(L_13):  F (t)→∃ x F( x)$  (in  particular, $F (x)→∃ x F (x)$)