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
F= = F + “ = ” + 2 Axiom Schemata Axiom Schema 6 x = x. Axiom Schema 7 x = y ⊃ (SzxA ⊃ SzyA) where A is an atomic wff. A first order theory is a first-order theory with equality if it has a binary predicate = such that the wffs above are theorem of the theory
Substitutivity of Equivalence Let A,M and N be wffs and let AMN be the result of replacing M by N at zero or more occurrences (henceforth called designate occurrences) of M in A. 1. AMN is a wff. 2. If |= M ≡ N then |= A ≡ AMN
Some Properties 1. ∆n is consistent. 2. Γ ⊆ ∆n ⊆ ∆n+1 ⊆ ∆Γ 3. ∆Γ is complete. 4. If ∆Γ ` A then there exists n ∈ N such that ∆n ` A. 5. A ∈ ∆Γ iff ∆Γ ` A 6. ∆Γ is consistent
Stressed Words & Unstressed Words in a Sentence What is a syllable? A word part and the basic unit of English rhythm What is a stressed syllable? ba NAAAA na
