HSRS ▶ 希拉
8 years ago

▶ 文 05╱原創故事
逆否命題
--
✤ 作為一條毫無邏輯可言的數理廢物狗,寫這篇差點寫死我自己。 雖然還有三天,不過悄咪咪的塞顆來自未來的糖。
latest #41
HSRS ▶ 希拉
8 years ago
「我喜歡妳」。
是啞人心中有千言萬語,不可訴與妳。

HSRS ▶ 希拉
8 years ago
那是在很久很久之後的故事了。

一如過去的許多個十年,在現世的新春前後、神界的長假期來臨時,里梅瑞斯特地跑到了冥土,也不做什麼,就是成天跟著希拉跑進跑出,假如希拉正好也放假,兩個閒著沒事做的傢伙就手拉著手到處晃晃到處走,假如希拉沒假,他就在神佑群嶼那等希拉下班後,兩個人再一起到處晃晃到處走。

希拉偶爾會想,里梅瑞斯好像有話想告訴她,要不要直接問他有什麼事呢?
但更多時候,她想,或許她還是等到里梅瑞斯願意告訴她的時候吧。桃麗娘和米奈爾小姐都是那麼說的。她們說,希拉啊,女孩子有的時候要懂得替男孩子留點面子喔!即使妳發現了某些事情——如果他們不主動說出來,那麼適時的裝糊塗,假裝什麼都不知道,這也是一種體貼喔。
HSRS ▶ 希拉
8 years ago
於是她也就體貼的什麼都不問,只是好奇又期待的看著里梅瑞斯每一次的欲言又止,猜想著他究竟想說什麼、而又能忍多久。

終於有一天。

里梅瑞斯問希拉:「妳知道什麼是『命題』嗎?」
希拉想了想,又想了想,覺得自己好像可能大概也許知道,但又不確定里梅瑞斯所指的,和她理解的是不是一個意思。比起命題,她更能理解的或許是「這是一道送命題」……畢竟來的更加直接有力、簡單易了。
里梅瑞斯向她解釋,說「命題」是一種邏輯,是真假的承載者、驗證者,可以判斷真假的語句,就叫做命題——或許是她聽不懂的表情太過明顯,里梅瑞斯又說,簡單來講,命題指的就是「一句話的意義」,而這句話必須包含著可以被驗證的真假。
立即下載
HSRS ▶ 希拉
8 years ago
希拉覺得自己好像稍微明白了一點,又覺得自己還是什麼都不明白。只知道反正好像就是在說,這個東西可以被驗證真假……但怎麼驗證她又不知道了。太複雜,聽得頭好痛。
對於希拉來說,這種邏輯啊、哲學啊、數理啊……等等十分學術的東西,就像是授之以魚,考之以鱈、鰹、鰾、鰳、鰻、鰵、鱅、鱇、鱉、鱂、鰼、鳚、鱏、鱚、鱝、鱖、鱓、鱔、鱒、鱗、鱘、鳠、鳡、鱧、鱢、鱠、鱮、鱍、鱟、鱣、鱭、鳤、鱲、鱵、鱷、鱸、鱺、鱻一樣。
每次覺得自己好像懂了,接著問題一變,她就懵了。
HSRS ▶ 希拉
8 years ago
後面里梅瑞斯又舉了一些例子和她說明命題到底是什麼,以及衍生出來的逆命、否命、逆否命題又是什麼——她聽得十竅通了九竅,覺得自己頭暈腦脹的。什麼「當原命題為若A則B時;逆命題為若B則A;而否命題為若非A則非B;逆否命題為若非B則非A」,還有什麼「逆命未必為真」——AABB的有聽沒懂,還不如之前其他卡隆推薦她的遊戲中那個什麼上上下下左右左右BABA的秘訣來的好記。
希拉在頭暈眼花之餘想著,神界的學校都在教這些東西嗎?太可怕了,這比石榴林中魔物所施放的精神污染還要可怕!雖然她並不介意,也挺樂意在里梅瑞斯學到了新的知識與她一起分享時給予鼓勵與讚揚——但有些時候,這樣的樂於分享,還是讓她感到了有些困擾。
HSRS ▶ 希拉
8 years ago
她向里梅瑞斯坦誠了自己聽不懂,並且歉意的問著有沒有更容易理解、即使是她也能聽明白的例子。不用太多的理論、也不用太多的邏輯反證,她不學習、也不需要懂得太多,只要大概能夠明白他說的是什麼意思就好了。
然後她就看到里梅瑞斯皺著一雙好看的眉,神情複雜的瞪著她,瞪著瞪著,白瓷一般的臉漸漸就紅了起來。
希拉:「???」她剛剛說錯了什麼嗎?不對啊?她好像沒說什麼啊?
HSRS ▶ 希拉
8 years ago
在她的滿頭霧水中,里梅瑞斯抬起一手,將些許的魔力聚集在指尖。隨著他的手指劃過空中,刻意被保留存在的魔法痕跡將冥土幽暗的環境當成了書寫的背板,在空中留下了文字。

「嗯……這、這麼假設吧,假如有個題目是這樣的。」他轉過頭不敢看希拉,「假如把『我愛妳』當成一個命題,那麼……呃……」在感受到來自背後希拉的視線後,里梅瑞斯低下了頭,聲如蚊蚋的說著:「如果把這當成一個命題,想把它改成逆命、否命或者逆否命題的話……」
從身後看,他的耳朵已經從一開始淺淺的粉紅變成了像會滴出血來的深紅。
HSRS ▶ 希拉
8 years ago @Edit 8 years ago
希拉完全不懷疑這個時候如果拿冷水從他的頭上澆下去,大概會「嘶——」的冒出一陣白煙。
里梅瑞斯完全是硬著頭皮的繼續往下說:
「邏輯學認為命題與逆否命題是等價的,也就是假如命題是『真』,那麼逆否命題也會是『真』;一個命題和它的逆否命題是作為公理的存在,它們必須是等價的才符合邏輯。如果一個命題和它的逆否命題不等價,那麼這個命題就無效……說到這個,妳知道『我愛妳』的逆否命式是什麼嗎?」
希拉秒回:「你不愛我?」
里梅瑞斯神秘的整個人停頓了好一會,不曉得這種時候到底該怎麼回才是正確答案——不論怎麼回答,這似乎都是個送命題,只是送命的方式不太一樣而已。
HSRS ▶ 希拉
8 years ago
里梅瑞斯在沉默了很久後才說:「……妳說的並不正確。」
他在空中寫著簡單的句式並一邊說著:
「『我愛妳』並不是一個有效的命題,在這個句式中,『愛』本身的真假,並沒有一個能作為明確判斷的標準。所以當我們要把它當成一個命題時,我們要先把它變成這種形式——」
HSRS ▶ 希拉
8 years ago
鉑金色的光芒在空中組織成文字,而里梅瑞斯將它讀了出來:「如果有一個人是我,那麼這個人愛妳。」他接著開始解題,鉑金色的文字逐漸浮現在空氣中,一行又一行的往下書寫著。
「在這個命題之下,它的逆命題是『如果有一個人愛妳,那麼這個人是我』——但這並不一定符合命題的邏輯。愛妳的人很多,我並不一定是它所指的『這一個人』。」
HSRS ▶ 希拉
8 years ago @Edit 8 years ago
「就像命題和逆否命題等值,否命題和逆命題也是等值的。所以在這邊,否命題會是『如果這個人不是我,那麼這個人不愛妳』。」
隨著邏輯與理性的解說,里梅瑞斯似乎慢慢冷靜了下來,儘管從身後看,他的耳朵依舊通紅的醒目,但至少不再害羞的低垂著頭,而聲音也慢慢的平穩且大聲了起來。
「——這也未必是真的。愛妳的人很多……即使這個人不是我,他也可能愛著妳。」
HSRS ▶ 希拉
8 years ago @Edit 8 years ago
希拉認真的聽著里梅瑞斯的講解,臉上慢慢的露出了就連她自己也沒發現的笑容。
淺淺的、帶著一點隱藏不住的喜悅。

「而『我愛妳』的逆否命題則是——」
鉑金色的魔法在空氣中劃下最後一筆筆劃,里梅瑞斯放下手,像在審問台上等待著最後審判的受刑者般,握緊雙拳,閉起雙眼深深吸了口氣,這麼再三反覆後,才轉過了身,對著希拉說出了最後的解答:
「——如果有一個人不愛妳,那麼,這個人不是我。」
HSRS ▶ 希拉
8 years ago
希拉看著從最初認識一直到現在,在她眼中似乎變得越來越可愛,可愛的讓人每次看到都忍不住想捉弄他、偷偷拉他頭髮以及衣角,明明知道他會生氣卻還是想把他抱起來的里梅瑞斯。
忍著忍著,最後還是沒忍住的越笑越深,就連雙眼都瞇了起來。

在里梅瑞斯的忐忑不安中,她最後笑著說:
「嗯,我知道了。」
HSRS ▶ 希拉
8 years ago
--
其實那個完全沒有搞懂命題到底是什麼鬼東西的人是我。是的,作為一條數理從沒有及格過的文科狗,我是完全搞不懂數理哲的邏輯以及那些簡直天書一樣的理論和定律的。

文中這個是我唯一能搞懂的命題的例子。
我也不知道為什麼用「我愛你」舉例我就搞得懂它的邏輯,但換個例子我就茫然了。大概真的這種東西在我眼中就是雖然是魚但有好多種魚的區別吧。
HSRS ▶ 希拉
8 years ago
本來想寫的梗是 r = a(1-sinθ) (出自笛卡兒)——但是這個真的不行,我對著各種維基百科百度百科網頁科普看了半天我還是沒看懂它哈哈哈哈哈哈哈哈哈哈
YUZu
8 years ago
看得我放棄思考 腦子大概成這狀態→
但我被閃瞎了!!
HSRS ▶ 希拉
8 years ago
傲嬌就要有傲嬌的告白方式,這麼想著的我終於成功的(在未來的時間線)讓小梅成功告白了——雖然離2/14還有三天不過不管了,提早總比過期好!

好的底下簡單抓個重點!
命題的規律是這樣的
當原命題為「若a,則b」時;逆命題就是「若b,則a」(逆命未必為真)。
而否命題為「若非a,則非b」時;逆否命題為「若非b,則非a」。

其中命題/逆否命題的邏輯必須是相通(相同)的,而逆命/否命的邏輯必須是相通(相同)的。
HSRS ▶ 希拉
8 years ago
然後因為「我愛你」本身不是個完整的判斷句,它沒辦法做判斷,所以要把「我愛你」當成命題的話,就要這麼改寫:
命題:
如果有一個人是我,那麼這個人愛你。

逆命:如果有一個人愛你,那麼這個人是我。
否命:如果這個人不是我,那麼這個人不愛你。
逆否命:如果有一個人不愛你,那麼,這個人不是我。
HSRS ▶ 希拉
8 years ago
數學老師教了我那麼多,我就只記得了這個例子但完全記不起來其他還說了啥哈哈哈哈哈用不及格的考卷向老師跪著懺悔
HSRS ▶ 希拉
8 years ago
samaelcavendish: 沒關係,希拉也是聽得中途就放棄思考了 這東西真的很燒腦,不過這算是一個講解到後面會突然就懂了的例子…(我覺得啦)
超好拿來告白的(並不)
YUZu
8 years ago
看這一連串逆命否命...讓我想到大學選修的邏輯思考課 里梅瑞斯這告白好彎彎繞繞啊!!!!!
HSRS ▶ 希拉
8 years ago
samaelcavendish: 畢竟是個傲嬌…又不太想讓他走那種「我、我才不是喜歡妳喔!只是剛、剛好而已」的路線,雖然他真的很少女心沒錯……結果就是超級為難自己
我大學時…好像沒有邏輯思考課可以選修,不過選修的是其他也很燒腦的思考類型課程就是了整個懷疑起人生的生死學
HSRS ▶ 希拉
8 years ago
啊,突然想到,這偏的時間點大概就是,小梅終於從150公分長成了170公分的那種感覺吧(這麼說誰知道過了多久啊!!!)
HSRS ◊ 佧尼
8 years ago
啊啊啊用這種方式告白也太可愛了吧!!雖然整個我看得腦子爆炸但是好甜喔
小梅真的好可愛(什
傲嬌的告白方法結果害到自己
中之是那種看的懂數學式看不懂中文的人(不
HSRS ▶ 希拉
8 years ago
hsrscanine: 理科的浪漫(不
HSRS ▶ 希拉
8 years ago
IY_project: 是的結果害到自己
我完全反過來,看得懂中文但看不懂數學式orz
changlang滄
8 years ago
我.... 我數學的的那個命題看得似懂非懂... 因為希拉的舉例比較好理解.... 不好意思,在下也是數理爛得跟狗差不多的....(狗:誰跟你一樣 (angry)
●HSRS→三德
8 years ago
看完那些命題的理論我花了一些時間消化 不過很有趣>W<
小梅這告白帶著邏輯,轉了好幾個彎兒,才能夠理出答案 怎麼這麼彆扭der~如此可愛
【HW】墨蓮
8 years ago
我覺得、希拉懂這麼多魚根本超厲害的阿XDDDDD
神族人真的好厲害,小梅對不起我也聽不懂你再說甚麼(#
說個我愛妳不用弄得這麼複雜阿WWW你廣大的後宮...不是我是說你廣大的網友群呢WW
結果為了解釋這麼常一串不斷的說我愛你,每看一次就要被閃瞎一次真是 (blush) 小梅你個小可愛,以後要怎麼告訴你家小孩怎麼和媽媽告白的 (想太遠了阿!!
小梅這彎拐的告白也彎得太大了www
但是這告白有獨特的浪漫
兩人的互動真的很可愛啊www
休眠中
8 years ago
身為數學渣,我直接放棄去了解那個理論了(x
我只要知道最後的告白很甜就好
HSRS ▶ 希拉
8 years ago
quang123: 沒關係我的數理也…QwQ 我是從那個告白的例子去反推才終於好像稍微勉強弄懂一點點命題是什麼的,但換了例子我就又陣亡了Orz
只要看懂告白就好了!(不
HSRS ▶ 希拉
8 years ago
Ink34tw_2: 其實是藉機一直偷說「我愛你」!說一次不夠的話那就說四次!像這個樣子的心機!(亂講)
HSRS ▶ 希拉
8 years ago
without_: 因為是吃的所以懂得比較多(不
總覺得神族感覺就是全知全能…就算不是也要朝那方面發展的感覺不然總覺得信徒要幻想破滅 XDDD 其實這個方法就是網友教他的!小梅擁有龐大的理工網友們的支持!然而理工的浪漫是正常人很難理解的浪漫
XDXDXD
以後小梅大概告訴小孩子其實是馬麻先跟我告白的XDDDD 作為一個傲嬌怎麼可能會承認這種事情呢!!(希拉:喔。)
HSRS ▶ 希拉
8 years ago
b08st: 因為怕希拉聽不懂,他還特地找了個「聽不懂理論沒關係,聽懂我愛你就好」的例子 XDXD 雖然可以明說但就是不要,非常彆扭XDXDXD
HSRS ▶ 希拉
8 years ago
Pl_Pr: 沒關係不用了解XDDD 我也是直接放棄理解直奔結論的(炸)
要真的了解那個理論的話還要牽扯到哲學,太複雜了,知道是告白就好QWQ
欸啊。
8 years ago
每次看希拉中的文章都超級長智慧!!
最後希拉有接受到告白真是太好了可喜可賀www
HSRS★洛可可
8 years ago
這糖真的好甜啊!!(嚼嚼嚼)
喜歡這種拐個彎的告白,完全就是把小梅的羞澀發揮得淋漓盡致
害得我邊看邊跟著耳根子紅
希拉的文真的都很有深度,讓人一看就再也停不下來
身為文科狗的一員一樣看不懂逆否命題
但是看到小梅用我愛你這例子告白就逼自己懂了(俗話說生命會找到出路,大概就是這種意思)
HSRS ▶ 希拉
8 years ago
eahsu1994: 雖然希拉遲鈍了一點,不過也不是真的傻,重複了那麼多次還是會懂的這就是套路啊!
HSRS ▶ 希拉
8 years ago
potato80501in1: 哈哈哈哈哈哈哈哈哈哈要搞懂那個東西真的很難,我覺得數理邏輯以及哲學好的人真的太厲害了,我整個搞不懂那種東西笨蛋在這
back to top