將下列命題謂詞符號化 1.“所有有理數都是實數” 2.“有些有理數不是整數”

將下列命題謂詞符號化 1.“所有有理數都是實數” 2.“有些有理數不是整數”

1.∨x（Q（x）→R（x））
2.令R（x）：X是實數Q（x）：x是整數
∑（存在符號）x（R（x）∧┐Q（x））
符號有一點難打出來！

幫我解離散數學的一條邏輯謂詞證明題
（個體域為人的集合）
如果一個人怕困難就不能成功，每一個人或者成功或者失敗，有個別人沒有失敗.
所以，有存在不怕困難的人
怎麼符號化？
這裡的成功和失敗是搞成一個是和非還是設成兩個不同的内容？
解出來我看看哦？
哦原來如此，那LCA你的T和P是什麼意思啊，我的課本是學校的老師編的，命名標準有點不一樣

論域為人的全體，定義謂詞如下：P（x）：x怕困難；Q（x）：x能成功；R（x）：x失敗
前提符號化為：如果一個人怕困難就不能成功：（Ax）（P（x）→非Q（x））
每一個人或者成功或者失敗：（Ax）（Q（x）∨R（x））
有個別人沒有失敗：（Ex）（非R（x））
結論符號化為：有存在不怕困難的人：（Ex）（非P（x））
（1）（Ex）（非R（x））P
（2）非R（a）T ES（1）
（3）（Ax）（Q（x）∨R（x））P
（4）Q（a）∨R（a）T US（1）
（5）Q（a）T（2）（4）
（6）（Ax）（P（x）→非Q（x））P
（7）P（a）→非Q（a）T US（6）
（8）非P（a）T（5）（7）
（9）（Ex）（非P（x））T EG（8）
（Ax）全稱量詞，（Ex）存在量詞，P規則，T規則，ES存在指定，US全稱指定，EG存在推廣
回答你的補充，成功或者失敗從語義上講是對立的，即非成功必失敗，但現在是形式證明，不考慮語義，不能從語義上理解，僅從邏輯構成或形式上理解，否則前提“每一個人或者成功或者失敗”是多餘的，因為“非P或P”是永真的，不需作為前提.
形式證明中常用的兩個規則，P規則，T規則，證明過程是由一系列公式構成，每個公式獨佔一行，並且每行的前面按順序加上行號，最後一行是代表結論的公式，其它行的公式或是由前提中的公式中直接拿來（P規則），或是由前面一行或幾行公式蘊含得到的（T規則）.將所用規則標記在行末，如果是T規則還要標記出由哪些行蘊含得到的，並記下行號.
P規則在演繹過程中，可隨時直接引入前提中的公式
T規則在演繹過程中，隨時可以引入由前面一行或幾行公式蘊含得到的公式

量詞有哪些

通常用來表示人、事物或動作的數量組織的詞，叫做量詞.
量詞分為名量詞和動量詞兩類.
名量詞大體分為以下幾類
專用名量詞
指的是與某些名詞有選擇關係的量詞.即某些名詞只能用某一個或某幾個專門的量詞，這樣的量詞就是專用名量詞.例如：一本詞典，一匹馬，一尾魚.
臨時名量詞
指的是某些名詞臨時處在量詞的位置上，被用作數量組織.例如：a.端來兩盤餃子，拿來一瓶醬油.b.坐了一屋子人，擺了一床東西.這種形式一般表示某處容納某物的數量.a組和b組的區別有兩點：1、a組的數詞可以是任何的數詞，b組的數詞一般只能是“一”.2、b組有強調數量多的意味，a組沒有.
計量名量詞
主要是度量衡組織.例如：公斤、尺、畝、度等.
通用名量詞
主要指多數名詞都適用的量詞.包括：種、類、些、點等四個.“個”這個量詞有了通用化的傾向，能够和它組合的名詞越來越多.但是仍然有很多名詞只能用其專用的量詞，而不能用“個”替代.例如“電影”可以不說“一部電影”，而說“一個電影”.但“紙”無論如何不能說“一個紙”.“去一趟、看一遍、做一次、哭一場”中的“趟、遍、次、場”，表示動作的數量組織，叫做動量詞.
編輯本段動量詞大體可以分為兩類
專用動量詞
包括：次、回、遍、趟、下（兒）、頓、番.這些動量詞表達的意義各不相同，和動詞組合的能力也不一樣，比如“次”和“下（兒）”和動詞組合的能力强（即多數動詞可以和它們組合），而“趟”只能和“去”“走”“跑”等部分動詞組合.
工具動量詞
指的是下麵例子中的情况：他踢了我一脚.我打了他一巴掌.老師瞪了我一眼.“脚”是“踢”的工具，“巴掌”是“打”的工具，“眼”是“瞪”的工具.這樣的詞臨時用來表示動作的量.離開這樣的語言環境，它們只是普通的名詞.也可以把這種動量詞叫作臨時動量詞.
複合量詞
把名量詞“駕”“人”和動量詞合在一次，共同用來作為一種特殊的計量單位，就是複合量詞.常用的複合量詞在構成形式上雖然是“名量詞+動量詞”，但要注意，名量詞一般來說是比較開放，即很多名量詞都可以用來構成複合量詞，而動量詞只有“次”最常用來構成複合量詞.一些複合量詞：班次、人次、件次、卷次、例次、艘次、部次、架次、批次、戶次、輛次、台次.

說明”紙”的量詞有哪些？
比如一張紙，一什麼紙……幫忙再列舉出3個這樣的，

一張紙，
一本紙
一堆紙
一遝紙
一捆紙
一箱紙
一卷紙
一頁紙