邏輯表示的例子

例如，壹階邏輯可以用來描述圖中的積木世界。

圖中七個公式所表示的命題的含義【積木世界及其邏輯表示】為:①直接在地板上，②直接在桌子上，③直接在桌子上，④頂部空，⑤頂部空，⑤全部為真（積木）:如果頂部空，則沒有直接在地板上（積木），⑦由⑦組成的積木塔的高度與積木的高度相同。