Documente Academic
Documente Profesional
Documente Cultură
1. Primitivas
Disyunción m. A m. A B
n. A B I ,m n. A→C
o. B→C
p. C I , m, n, o
Condicional m. A Sup m. A→B
(...) n. A
n. B o. B E→, m, n
n+1 A→B I→, m-n
Negación m. A Sup m. ¬¬A
… n. A E¬, m.
n. ⊥
n+1 ¬A I¬, m-n
2. Derivadas
Repetición n. A
m. A Rep, n
Silogismo diyuntivo n. A B
m. ¬A
o. B SD, n, m
EFSQ n. ⊥
m. A EFSQ, n.