題組內容

三、請用展開式(expansion)來檢查下列論證的有效性。

(2)1. (∃y) Ay      /∴ (∃z) Az