Logiweb dictionary of proofreport

Up Help

0 0 proofreport
1 0 ˙0
2 0 ˙1
3 0 ˙2
4 0 ȧ
5 0 ḃ
6 0 ċ
7 0 ḋ
8 0 ė
9 0 ḟ
10 0 ġ
11 0 ḣ
12 0 i̇
13 0 j̇
14 0 k̇
15 0 l̇
16 0 ṁ
17 0 ṅ
18 0 ȯ
19 0 ṗ
20 0 q̇
21 0 ṙ
22 0 ṡ
23 0 ṫ
24 0 u̇
25 0 v̇
26 0 ẇ
27 0 ẋ
28 0 ẏ

29 0 ż

30 2 ṅonfree(∗, ∗)

31 2 ṅonfree^{∗}(∗, ∗)

32 3 ḟree⟨∗|∗ := ∗⟩

33 3 ḟree^{∗}⟨∗|∗ := ∗⟩

34 4 ∗≡⟨∗|∗ := ∗⟩

35 4 ∗≡⟨^{∗}∗|∗ := ∗⟩

36 0 S′

37 0 A1′

38 0 A2′

39 0 A3′

40 0 A4′

41 0 A5′

42 0 S1′

43 0 S2′

44 0 S3′

45 0 S4′

46 0 S5′

47 0 S6′

48 0 S7′

49 0 S8′

50 0 S9′

51 0 MP′

52 0 Gen′

53 0 L3.2(a)′

54 0 nani nase kita...:54
55 0 nani nase kita...:55
56 0 nani nase kita...:56

57 0 M3.2(b)

58 0 M3.2(c)

59 0 M3.2(d)(I)

60 0 M3.2(d)(II)

61 0 M3.2(f)

62 0 M3.2(g)

63 0 M3.2(h)(I) 64 0 M3.2(h)(II) 65 0 M3.2(h)

66 0 nani nase kita...:66

67 0 M3.2(d)_{h} 68 0 M1.10(a) 69 0 M1.10(b) 70 0 M1.10(b_{−}) 71 0 M1.10(b_{+}) 72 0 MP′_{h}+ 73 0 Tilføjhypotese_{+} 74 0 M1.7_{+} 75 0 M1.7 76 0 MP′_{h} 77 0 Tilføjhypotese 78 0 Gen′_{h} 79 0 M3.2(a) 80 0 M3.2(a)_{h} 81 0 M3.2(b)_{h} 82 0 M3.1(S1′)_{h} 83 0 M3.2(c)_{h} 84 0 M3.1(S2′)_{h} 85 0 M3.1(S5′)_{h} 86 0 M3.1(S6′)_{h} 87 0 M3.2(f)

88 1 ˙∗

89 1 ∗′ 90 2 ∗ ˙· ∗ 91 2 ∗ ˙+ ∗

92 2 ∗ =^{p} ∗

93 1 ∗^{P} 94 1 ˙¬ ∗ 95 2 ∗ ˙∧ ∗ 96 2 ∗ ˙∨ ∗ 97 2 ˙∀∗: ∗ 98 2 ˙∃∗: ∗ 99 2 ∗ ˙⇒ ∗ 100 2 ∗ ˙⇔ ∗ 101 2 ∗ ⊵ ∗ 102 2 ∗ ⊵_{h} ∗

The pyk compiler, version 0.grue.20050603 by Klaus Grue GRD-2005-07-04.UTC:13:01:21.823959 = MJD-53555.TAI:13:01:53.823959 = LGT-4627198913823959e-6