Karteikarten
Definitions
Karten in diesem Stapel (3)
- 1L term(T1) constant
(T2) variable
(T3) built from above plus n-ary f - 2L formulae(F1) Atomic i.e. \(\equiv\)tt' or \(Pt_1t_2...t_n\)
(F2) built from atomic using \(\vee,\wedge,\to,\forall,\exists\) - 3Countableinjection X to natural no.s or surjection natural numbers to X
Informationen
- Beschreibung
- Karteikarten am Definitions, erstellt von Jade Low am 27/05/2015.
- Erstellt von
- Jade Low
- Aufrufe
- 4
- Bewertung