# Predicate Logic

• November 5th 2010, 02:32 AM
WannaBe
Predicate Logic
Let L be a language which has two action constants:
$f_1$ which has "4 spots" and $f_2$ which has 10 spots.
A. Define by recoursion the numbers of commas in a noun of L.
B. Prove by using induction on the construction of a noun, that in every noun, the number of commas can be divided by 3 .

Hope you'll be able to help me...I've no idea about these two questions
Thanks !
• November 5th 2010, 08:53 AM
WannaBe
NVM...I've managed to solve it on my own

Thanks !