【第二階述詞演算】
英語翻譯：secondorderpredicatecalculus
【辭書名稱】資訊與通信術語辭典
是第二種定義合法的字彙邏輯文法，一但其中任一的字彙定義表示式確定後，其餘的字彙表示方式亦都確定。