... condiciones: (1) h es definida para todos x ℮ S (el conjunto de sentencias de una dada lógica); (2) si x es una variable sentencial, entonces h(x) ℮
確定！ 回上一頁
