(1) Hole particle current from E to B (2)Electron particle current from B to E (3)Recombination current in B (4) Hole particle current originating in E and reaching C (5)Reverse electron particle current from c to B (6) Reverse hole particle current from b to c (What is difference between \current\ and\particle current ? OE F Schubert, Rensselaer Polytechnic Institute, 2003
Axiom Schemata for F Axiom Schema 1 A ∨ A ⊃ A Axiom Schema 2 A ⊃ (B ∨ A) Axiom Schema 3 A ⊃ B ⊃ (C ∨ A ⊃ (B ∨ C)) Axiom Schema 4 ∀xA ⊃ Sxt A where t is a term free for the individual variable x in A Axiom Schema 5 ∀x(A ∨ B) ⊃ (A ∨ ∀xB) provided that x is not free in A