6-A1 Pivalinsäurepyrrolidid aus Pivaloylchlorid und Pyrrolidin 6-A2 tert-Butylcyclohexenylketon aus Pivalinsäurepyrrolidid (6-A1) und dem von 1- Bromcyclohexen (4-A3) abgeleiteten Grignard-Reagenz
Nucleophile Substitutionen an Carbonsaurederivaten 6-A1 Pivalinsaurepyrrolidid aus Pivaloylchlorid und Pyrrolidin 6-A2 tert-Butylcyclohexenylketon aus Pivalinsaurepyrrolidid (6-A1) und dem von 1- Bromcyclohexen (4-A3) abgeleiteten Grignard-Reagenz
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