Results for th10 base translation from Spanish to English

base
basis

base:
baseline:

)==reglas y teoremas=="fbf → fórmula bien formada"====reglas then====regla then-1* a ⊢ b→aregla then-2* a→(b→c) ⊢ (a→b)→(a→c)regla then-3* a→(b→c) ⊢ b→(a→c)regla frg-1* a→b ⊢ ¬b→¬aregla th1* a→b, b→c ⊢ a→c===teoremas th===teorema th1* (a→b)→((b→c)→(a→c))teorema th2* a→(¬a→¬b)teorema th3* ¬a→(a→¬b)teorema th4* ¬(a→¬b)→ateorema th5* (a→¬b)→(b→¬a)teorema th6* ¬(a→¬b)→bteorema th7* a→ateorema th8* a→((a→b)→b)teorema th9* b→((a→b)→b)teorema th10* a→(b→¬(a→¬b))nota: ¬(a→¬b)→a (th4), ¬(a→¬b)→b (th6), y a→(b→¬(a→¬b)) (th10), entonces ¬(a→¬b) se comporta como a∧b.
)rule then-1*: a ⊢ b→arule then-2*: a→(b→c) ⊢ (a→b)→(a→c)rule then-3*: a→(b→c) ⊢ b→(a→c)rule frg-1*: a→b ⊢ ¬b→¬arule th1*: a→b, b→c ⊢ a→ctheorem th1: (a→b)→((b→c)→(a→c))theorem th2: a→(¬a→¬b)theorem th3: ¬a→(a→¬b)theorem th4: ¬(a→¬b)→atheorem th5: (a→¬b)→(b→¬a)theorem th6: ¬(a→¬b)→btheorem th7: a→atheorem th8: a→((a→b)→b)theorem th9: b→((a→b)→b)theorem th10: a→(b→¬(a→¬b))note: ¬(a→¬b)→a (th4), ¬(a→¬b)→b (th6), and a→(b→¬(a→¬b)) (th10), so ¬(a→¬b) behaves just like a∧b (compare with axioms and-1, and-2, and and-3).