問答題
在全總個體域中,將下列語句符號化為謂詞公式。 (1)并非每個實數(shù)都是有理數(shù); (2)沒有有理數(shù)不是實數(shù); (3)盡管有些有理數(shù)大于0,但并非大于0的實數(shù)都是有理數(shù); (4)對于任一正實數(shù),都存在大于該實數(shù)的實數(shù)。
答案:
(1) ?x (實數(shù)(x) ∧ ?有理數(shù)(x));(2) ?x (有理數(shù)(x) → 實數(shù)(x));(3) ?x (有理數(shù)...