（1）之后，美籍邏輯學家歌德爾一階謂詞演算<謂詞演算造句），有時將原子公式簡稱為原子。

（7）使用謂詞演算來進行知識的表示和推理，能代表實際應用中的許多問題。

（8）謂詞演算與程序語義。

（9）討論了三種時間邏輯方法：一階謂詞演算，模態邏輯及具體化邏輯。

（10）在謂詞演算的反駁樹中，被證明的合式公式。

（11）本文借助中介邏輯謂詞演算系統MFM，對不完全信息系統的理論和應用進行了研究。

（12）謂詞邏輯：也叫謂詞演算，它研究簡單命題的內部結構。

（13）這種情況下的斷言似乎就需要實現特定的語言擴展，于是一些人建議引入一階謂詞演算。