first order predicate logictranslation and definition "first order predicate logic", tamil lexiconWordTamil Definitionfirst order predicate logicமுதற்படி பயனிலைத் தர்க்கம்