How is constructing new elements described formally

Asked Oct 10 '17 at 15:33

Active Oct 10 '17 at 15:33

Viewed 23 times

For example the well formed formulas are formed by some rules. We have an atomic formula which is a formula, a conjunction of two formulas which is also a formula and et cetera.

My question is, how is this set of rules for forming new elements described formally?

asked Oct 10 '17 at 15:33

Nikola

1,558

1

See e.g. thefollowing post. – Mauro ALLEGRANZA Oct 10 '17 at 15:48
1

Or this one. – Mauro ALLEGRANZA Oct 10 '17 at 15:49
1

Also this post. – Mauro ALLEGRANZA Oct 10 '17 at 15:51

How is constructing new elements described formally

0 Answers0