作者luciferii (路西瓜)
看板logic
標題Re: 吵架專用的悖論
時間Mon Oct 29 01:44:07 2007
: 請選出下列何者恆真?
: (1) 「如果本句為真,上帝存在。」
: (2) 「如果本句為真,上帝不存在。」
: 答案就是1對2也對。
答案1是對的,可以勾
答案2是對的,也可以勾
你作題目還要管答案2會不會影響答案1嗎?
之前跟我質疑單句為真要如何證明?
我抄書出來就裝沒看見,然後再自顧自繼續硬扯...
(1對)和(2對)都是可以證,出問題的是想把它 & 在一起時。
: 推 somedoubt:古人不懂邏輯你也不懂邏輯啊? 10/24 08:41
: → somedoubt:1,2皆不可為假,因為為假會導致矛盾。 10/24 08:44
: → somedoubt:但若兩者皆真亦會導致矛盾。所以兩句話若以"&"相連,則 10/24 08:45
: → somedoubt:成悖論語句。你真的沒掌握何謂悖論啊。 10/24 08:46
: → somedoubt:你們邏輯老師跟你說這兩句話都對嗎?我可否私下向你請教 10/24 09:01
: → somedoubt:其名?抑或他在講解時,你因為某些原因而未能理解悖論? 10/24 09:02
(1)(2)兩句在一起可不可以,我邏輯學老師倒是沒說,
但是你的邏輯學老師 Priest 說,說他們都對也未嘗不可。
(true and not true)本來就是 paradox 定義的一種,本來就是都對,
不然哪來的 paradox ?
: → somedoubt:再說一遍喔:矛盾句指的是p&~p形式的語句,你可以說矛盾 10/25 10:01
: → somedoubt:句是既真又假的語句,也可以說它是恆為假的語句。如果 10/25 10:03
: → somedoubt:你因此而將矛盾句理解為悖論語句,那就錯了。 10/25 10:04
: → somedoubt:悖論語句是指既不為真亦不為假的語句。一語句是悖論語句 10/25 10:05
: → somedoubt:若且唯若 不論該語句為真或為假皆會導致矛盾語句。 10/25 10:06
: → somedoubt:當我宣稱形式"p&~p"的語句時,我不是在說p真且~p真不然 10/28 23:12
: → somedoubt:我在說啥?當我說"明天清大既下雨又不下雨"難道我不是認 10/28 23:14
: → somedoubt:為明天清大下雨是真,且明天清大不下雨也是真? 10/28 23:15
你真的話說得一團亂,
你前文說的是「既真且假的語句」
你又趕忙解釋說你講的是(P&~P),
請問(P&~P)要怎麼解釋才能叫「既真且假的語句」?
(1) (P既真)且(~P既假)?
(2) (語句既真)且(語句既假)?
不管是哪種意思解釋,這個「既真且假的語句」都不會是矛盾句。
什麼叫「既真且假的語句」不存在,所以矛盾句恆假?
我已經說過了,你根本把真值本身跟命題本身混在一起。
「既真且假的語句」不會是矛盾句,也不會恆假。
矛盾句的意義是,無論 (P為真亦或P為假),本語句都為假。
你對矛盾句的意義真是理解得亂七八糟。
A恆真可證
B恆真可證
但 A&B 產生矛盾,
paradox是A"&"B,不是A本身也不是B本身
我已經講過好幾次。
: → somedoubt:你也沒啥料,不用嗆別人沒料。 10/28 23:16
: → somedoubt:還有啊,你會不會搞錯啊?找個開不了的大陸網頁翻譯就要 10/28 23:18
: → somedoubt:栽贓prist?線上百科全書看一下好不好? 10/28 23:18
我真的也想知道你們上了他幾節課倒底學到些什麼?
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 218.166.108.65
※ 編輯: luciferii 來自: 218.166.108.65 (10/29 02:08)
1F:推 somedoubt:中文果然很差,"p&~p"的語意是啥你都不能掌握? 10/29 07:58
2F:→ somedoubt:你根本不懂(1)要在什麼情況下才能為真:不會導致矛盾時. 10/29 07:59
3F:→ somedoubt:既然你否定了語句有真值的必要條件,那就沒啥好說了。 10/29 08:00
4F:推 somedoubt:你真的很慘,早就跟你說了不是某句話的否定會導致矛盾就 10/29 08:22
5F:→ somedoubt:是恆真句。就算有人只問你(1)是否為真,而沒說出(2), 10/29 08:22
6F:→ somedoubt:你依舊要考量當(1)為真時,是否為導致矛盾。 10/29 08:23
7F:→ somedoubt:誰不知道設(1)為假會導致矛盾啊?重點在於:否定A導致 10/29 08:24
8F:→ somedoubt:矛盾,不代表A就是恆真。 10/29 08:25
9F:→ somedoubt:還有,哪來paradox?因為它為真或為假都會導致矛盾。 10/29 08:25
10F:→ luciferii:書上的證明都裝沒看到嗎? 10/31 01:00
11F:→ somedoubt:不要跟我說書上寫,哪本書講出來。 10/31 01:01
12F:→ somedoubt:連具有真值的必要條件是啥都不知道的人還談啥形式系統 10/31 01:02
13F:推 luciferii:早抄在前面了... 10/31 01:13