گویایی 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
11.¬¬𝐴→𝐴 ¬¬A→A ¬¬A→ADouble Negation Eliminationaxiom