گویایی R
همچنین شناخته شده با:
منطق R
برابر انگلیک (انگلیسی):
Logic R
1. 𝐴→𝐴
A→A
A→A اینهمانی axiom ▲ Logic N⁎
2. 𝐴→(𝐴∨𝐵) | 𝐵→(𝐴∨𝐵)
A→(A∨B) | B→(A∨B)
A→(A∨B) | B→(A∨B) اندرهازش ∨ axiom ▲ Logic N⁎
3. (𝐴∧𝐵)→𝐴 | (𝐴∧𝐵)→𝐵
(A∧B)→A | (A∧B)→B
(A∧B)→A | (A∧B)→B زدایش ∧ axiom ▲ Logic N⁎
4. ((𝐴→𝐵)∧(𝐴→𝐶))→(𝐴→(𝐵∧𝐶))
((A→B)∧(A→C))→(A→(B∧C))
((A→B)∧(A→C))→(A→(B∧C)) اندرهازش ∧ axiom ▲ Logic B
5. ((𝐴→𝐶)∧(𝐵→𝐶))→((𝐴∨𝐵)→𝐶)
((A→C)∧(B→C))→((A∨B)→C)
((A→C)∧(B→C))→((A∨B)→C) زدایش ∨ axiom ▲ Logic B
6. 𝐴→((𝐴→𝐵)→𝐵)
A→((A→B)→B)
A→((A→B)→B) ستوارش axiom ▲ implication fragment of R
7. (𝐴→(𝐴→𝐵)) → (𝐴→𝐵)
(A→(A→B)) → (A→B)
(A→(A→B)) → (A→B) کوچکشدن axiom ▲ implication fragment of R
8. 𝐴→𝐵 → (𝐵→𝐶)→(𝐴→𝐶)
A→B → (B→C)→(A→C)
A→B → (B→C)→(A→C) پسوندیدن axiom ▲ implication fragment of R
9. 𝐵→𝐶 → ((𝐴→𝐵)→(𝐴→𝐶))
B→C → ((A→B)→(A→C))
B→C → ((A→B)→(A→C)) پیشوندیدن axiom ▲ implication fragment of R
10. (𝐴→(𝐵→𝐶)) → (𝐵→(𝐴→𝐶))
(A→(B→C)) → (B→(A→C))
(A→(B→C)) → (B→(A→C)) جایگشت axiom ▲ implication fragment of R