first-order-logic - 命題論理と一階論理の違い

Question

命題論理と一次論理の違いを教えてください。これは AI の私の試験問題の 1 つです。