Extension of monadic predicate logic to many-place predicates.

The exercise of symbolization, arguments. 

The relation between derivabilty and validity, and invalidity of arguments are developed accordingly.