If → (Eqi FPC Ø) then Eqi U (~ Ø} is PC-consistent, and Øl - Tout-ox is PC-consistent. We shall show that if any sentence 0 is PC-consistent then it has a ...
確定! 回上一頁