Flashcards
Definitions
Cards in this deck (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
Information
- Description
- Flashcards on Definitions, created by Jade Low on 27/05/2015.
- Created by
- Jade Low
- Views
- 4
- Rating