提要：作為邏輯工具的語句的條件/詞端、詞係及詞係的用法/主賓詞式語句的四種形式/類及其表示方法
“我們談邏輯談了這許久，談了幾種推論。在這幾種推論之中，我們常常提到語句。可是，我們在這些場合之提到語句，隻假定了語句，而對於語句未曾分析。我們在以上之所以如此，是因為在那些推論之中，我們隻需以未經解析的語句作推論中的元素就夠了。可是，這種辦法，對於以後所要說的推論行不通。我們在以後所要談的推論是以經過解析的語句作骨架的。因此，我們在這裏必須對於語句加以解析。以未經解析語句作元素的推論可說是外部推論（outward inference）。所謂外部推論，所涉及的是語句與語句之間的邏輯關係。在這種情形之下，推論有效與否，和各個語句自身內部的結構毫不相幹。而以經過解析的語句作骨架的推論，叫作內部推論（inward inference）。所謂內部推論，所涉及的，並不是每一語句可能表示的特殊內容（content），而是語句內部的邏輯結構。比如說，什麽包含什麽、什麽是什麽的一分子等等。在這種情形之下，推論有效與否，和語句自身內部這類的結構直接相幹。”吳先生一麵說著一麵抽煙。
“我簡直不懂。”周文璞很著急的樣子。
“這當然需要一番解釋。”老教授繼續道，“我們在前幾次所說的選取推論和條件推論，以及二者之複合，都是外部推論，茲以條件推論為例。在條件推論中，我們曾經用過P、q等等字母。在這種場合，P、q……叫作變量，嚴格地說，叫作自由變量（free variables）。代數學裏也有變量的，如X、Y等。在條件推論之中，我們以P、q各別代表任何語句。在這種推論之中，隻要合於這種推論的規律，以P、q代表語句所行的這種推論總是有效的。在這種場合，我們根本不知道P、q……的內部結構，而且我們根本無須過問它們的內部結構。當著我們根本不知道P、q……的內部結構時，條件推論照樣有效。例如說，如果我們知道P涵蘊q，而且又知道q涵蘊r，那麽，我們可以不問P、q、r各別地代表什麽，更不必問P、q、r這些語句的內部結構如何，我們可以確切無疑地說，P涵蘊r。這樣的推論就是外部推論。既然外部推論完全不靠語句的內部結構，這好比從前津浦鐵路，火車從浦口開到南京，車內乘客根本不用換車，而是火車乘渡輪到南京似的。載人的火車還是原來的火車，火車內麵的人還是原來的人，所不同的，隻是火車由浦口過渡到南京而已，內容則毫無改變。”