Logiweb dictionary of logic

Up Help

0 0 logic

1 0 MP′_{d} 2 0 A1′_{i} 3 0 Hypothesize 4 0 A2′_{i} 5 0 A2′_{ii} 6 0 MP′_{h} 7 0 A2′_{iid} 8 0 MP′_{hd} 9 0 Mendelson 1.8 10 0 Mendelson 1.8_{i} 11 0 Repetition 12 0 Mendelson 1.47 b 13 0 Mendelson 1.47 c 14 0 Mendelson 1.47 e 15 0 Mendelson 1.11 d 16 0 A1′_{ih} 17 0 A2′_{ih} 18 0 A2′_{iih} 19 0 Mendelson 1.47 b_{h} 20 0 Mendelson 1.47 c_{h} 21 0 Mendelson 1.11 c 22 0 Mendelson 1.48 d 23 0 Mendelson 1.48 e 24 0 Mendelson 1.48 h 25 0 Mendelson 1.10 a 26 0 Mendelson 1.10 b 27 0 S1′_{i} 28 0 S1′_{ii} 29 0 S2′_{i} 30 0 S2′_{ih} 31 0 S9′_{ii} 32 0 Induction 33 0 Mendelson 3.2 a 34 0 Mendelson 3.2 b 35 0 Mendelson 3.2 b_{i} 36 0 Mendelson 3.2 c 37 0 Mendelson 3.2 c_{ii} 38 0 Mendelson 3.2 c_{iih} 39 0 Mendelson 3.2 d 40 0 Mendelson 3.2 d_{ii} 41 0 Mendelson 3.2 d_{iih} 42 0 Mendelson 3.2 f 43 0 Mendelson 3.2 f i 44 0 Mendelson 3.2 f ii 45 0 Mendelson 3.2 g 46 0 Mendelson 3.2 g i 47 0 Mendelson 3.2 g ii 48 0 Mendelson 3.2 h 49 0 Mendelson 3.2 h i 50 0 Mendelson 3.2 h ii

51 0 hyp
52 0 instance
53 0 conclusion

54 2 ∗ ⊵ ∗ 55 3 ∗ ⊵ ∗ ⊵ ∗ 56 2 ∗ ⊵_{h} ∗ 57 3 ∗ ⊵_{h} ∗ ⊵_{h} ∗ 58 5 Line ∗ : • ∗ ⊵∗ ≫ ∗; ∗ 59 5 Line ∗ : • ∗ ∘ ⊵ ∗ ≫ ∗; ∗ 60 5 Line ∗ : • ∗ ⊵ ∗ ∘ ≫ ∗; ∗ 61 6 Line ∗ : • ∗ ⊵ ∗ ⊵∗ ≫ ∗; ∗ 62 3 Line ∗ : • Hypothesis ≫ ∗; ∗ 63 4 Line ∗ : • ∗ ≫ ∗; ∗

64 4 Line ∗ : • ∗ ≫ ∗; ∗

The pyk compiler, version 0.grue.20050603 by Klaus Grue GRD-2005-07-04.UTC:07:55:10.732497 = MJD-53555.TAI:07:55:42.732497 = LGT-4627180542732497e-6