Flashcards
Definitions
Flashcards do 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
Informações
- Descrição
- FlashCards sobre Definitions, criado por Jade Low em 27-05-2015.
- Criado por
- Jade Low
- Visualizações
- 4
- Avaliação