切換
舊版
前往
大廳
小說

【文】HSRS 逆否命題

結夏安居 | 2017-05-04 17:27:07 | 巴幣 0 | 人氣 120

HSRS
資料夾簡介

   「我喜歡妳」。

    是啞人心中有千言萬語,不可訴與妳。



  ※



  那是在很久很久之後的故事了。

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


  希拉偶爾會想,里梅瑞斯好像有話想告訴她,要不要直接問他有什麼事呢?

  但更多時候,她想,或許她還是等到里梅瑞斯願意告訴她的時候吧。桃麗娘和米奈爾小姐都是那麼說的。她們說,希拉啊,女孩子有的時候要懂得替男孩子留點面子喔!即使妳發現了某些事情——如果他們不主動說出來,那麼適時的裝糊塗,假裝什麼都不知道,這也是一種體貼喔。


  於是她也就體貼的什麼都不問,只是好奇又期待的看著里梅瑞斯每一次的欲言又止,猜想著他究竟想說什麼、而又能忍多久。


  終於有一天。

  里梅瑞斯問希拉:「妳知道什麼是『命題』嗎?」


  希拉想了想,又想了想,覺得自己好像可能大概也許知道,但又不確定里梅瑞斯所指的,和她理解的是不是一個意思。比起命題,她更能理解的或許是「這是一道送命題」……畢竟來的更加直接有力、簡單易了。

  里梅瑞斯向她解釋,說「命題」是一種邏輯,是真假的承載者、驗證者,可以判斷真假的語句,就叫做命題——或許是她聽不懂的表情太過明顯,里梅瑞斯又說,簡單來講,命題指的就是「一句話的意義」,而這句話必須包含著可以被驗證的真假。

  希拉覺得自己好像稍微明白了一點,又覺得自己還是什麼都不明白。只知道反正好像就是在說,這個東西可以被驗證真假……但怎麼驗證她又不知道了。太複雜,聽得頭好痛。

  對於希拉來說,這種邏輯啊、哲學啊、數理啊……等等十分學術的東西,就像是授之以魚,考之以鱈、鰹、鰾、鰳、鰻、鰵、鱅、鱇、鱉、鱂、鰼、鳚、鱏、鱚、鱝、鱖、鱓、鱔、鱒、鱗、鱘、鳠、鳡、鱧、鱢、鱠、鱮、鱍、鱟、鱣、鱭、鳤、鱲、鱵、鱷、鱸、鱺、鱻一樣。

  每次覺得自己好像懂了,接著問題一變,她就懵了。


  後面里梅瑞斯又舉了一些例子和她說明命題到底是什麼,以及衍生出來的逆命、否命、逆否命題又是什麼——她聽得十竅通了九竅,覺得自己頭暈腦脹的。什麼「當原命題為若A則B時;逆命題為若B則A;而否命題為若非A則非B;逆否命題為若非B則非A」,還有什麼「逆命未必為真」——AABB的有聽沒懂,還不如之前其他卡隆推薦她的遊戲中那個什麼上上下下左右左右BABA的秘訣來的好記。

  希拉在頭暈眼花之餘想著,神界的學校都在教這些東西嗎?太可怕了,這比石榴林中魔物所施放的精神污染還要可怕!雖然她並不介意,也挺樂意在里梅瑞斯學到了新的知識與她一起分享時給予鼓勵與讚揚——但有些時候,這樣的樂於分享,還是讓她感到了有些困擾。


  她向里梅瑞斯坦誠了自己聽不懂,並且歉意的問著有沒有更容易理解、即使是她也能聽明白的例子。不用太多的理論、也不用太多的邏輯反證,她不學習、也不需要懂得太多,只要大概能夠明白他說的是什麼意思就好了。

  然後她就看到里梅瑞斯皺著一雙好看的眉,神情複雜的瞪著她,瞪著瞪著,白瓷一般的臉漸漸就紅了起來。

  希拉:「???」她剛剛說錯了什麼嗎?不對啊?她好像沒說什麼啊?


  在她的滿頭霧水中,里梅瑞斯抬起一手,將些許的魔力聚集在指尖。隨著他的手指劃過空中,刻意被保留存在的魔法痕跡將冥土幽暗的環境當成了書寫的背板,在空中留下了文字。

  「嗯……這、這麼假設吧,假如有個題目是這樣的。」他轉過頭不敢看希拉,「假如把『我愛妳』當成一個命題,那麼……呃……」在感受到來自背後希拉的視線後,里梅瑞斯低下了頭,聲如蚊蚋的說著:「如果把這當成一個命題,想把它改成逆命、否命或者逆否命題的話……」

  從身後看,他的耳朵已經從一開始淺淺的粉紅變成了像會滴出血來的深紅。

  希拉完全不懷疑這個時候如果拿冷水從他的頭上澆下去,大概會「嘶——」的冒出一陣白煙。


  里梅瑞斯完全是硬著頭皮的繼續往下說:

  「邏輯學認為命題與逆否命題是等價的,也就是假如命題是『真』,那麼逆否命題也會是『真』;一個命題和它的逆否命題是作為公理的存在,它們必須是等價的才符合邏輯。如果一個命題和它的逆否命題不等價,那麼這個命題就無效……說到這個,妳知道『我愛妳』的逆否命式是什麼嗎?」

  希拉秒回:「你不愛我?」

  里梅瑞斯神秘的整個人停頓了好一會,不曉得這種時候到底該怎麼回才是正確答案——不論怎麼回答,這似乎都是個送命題,只是送命的方式不太一樣而已。


  里梅瑞斯在沉默了很久後才說:「……妳說的並不正確。」

  他在空中寫著簡單的句式並一邊說著:

  「『我愛妳』並不是一個有效的命題,在這個句式中,『愛』本身的真假,並沒有一個能作為明確判斷的標準。所以當我們要把它當成一個命題時,我們要先把它變成這種形式——」


  鉑金色的光芒在空中組織成文字,而里梅瑞斯將它讀了出來:「如果有一個人是我,那麼這個人愛妳。」他接著開始解題,鉑金色的文字逐漸浮現在空氣中,一行又一行的往下書寫著。

  「在這個命題之下,它的逆命題是『如果有一個人愛妳,那麼這個人是我』——但這並不一定符合命題的邏輯。愛妳的人很多,我並不一定是它所指的『這一個人』。」

  「就像命題和逆否命題等值,否命題和逆命題也是等值的。所以在這邊,否命題會是『如果這個人不是我,那麼這個人不愛妳』。」

  隨著邏輯與理性的解說,里梅瑞斯似乎慢慢冷靜了下來,儘管從身後看,他的耳朵依舊通紅的醒目,但至少不再害羞的低垂著頭,而聲音也慢慢的平穩且大聲了起來。

  「——這也未必是真的。愛妳的人很多……即使這個人不是我,他也可能愛著妳。」


  希拉認真的聽著里梅瑞斯的講解,臉上慢慢的露出了就連她自己也沒發現的笑容。

  淺淺的、帶著一點隱藏不住的喜悅。


  「而『我愛妳』的逆否命題則是——」

  鉑金色的魔法在空氣中劃下最後一筆筆劃,里梅瑞斯放下手,像在審問台上等待著最後審判的受刑者般,握緊雙拳,閉起雙眼深深吸了口氣,這麼再三反覆後,才轉過了身,對著希拉說出了最後的解答:


  「——如果有一個人不愛妳,那麼,這個人不是我。」


  希拉看著從最初認識一直到現在,在她眼中似乎變得越來越可愛,可愛的讓人每次看到都忍不住想捉弄他、偷偷拉他頭髮以及衣角,明明知道他會生氣卻還是想把他抱起來的里梅瑞斯。

  忍著忍著,最後還是沒忍住的越笑越深,就連雙眼都瞇了起來。


  在里梅瑞斯的忐忑不安中,她最後笑著說:

  「嗯,我知道了。」

創作回應

鹿角會開花
彆扭卻超級可愛的告白(´///☁///`)
2017-05-23 12:44:05

更多創作