Fichas
Definitions
Fichas del conjunto (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
Información
- Descripción
- Fichas sobre Definitions, creado por Jade Low el 27/05/2015.
- Creado por
- Jade Low
- Visitas
- 4
- Valoración