" are called "formal implications"; this name is given equally if there are several variables.
The above definitions show how far removed from the simplest forms are such propositions as "all
is
," with which traditional logic begins. It is typical of the lack of analysis involved that traditional logic treats "all
is
" as a proposition of the same form as "