the syntactic structure that may be shared by different expressions as abstracted from their content and articulated by the logical constants of a particular logical system, esp the structure of an argument by virtue of which it can be shown to be formally valid. Thus John is tall and thin, so John is tall has the same logical form as London is large and dirty, so London is large, namely P & Q, so P