Eight Implication Rules

The $\rightarrow$ rules: Modus Ponens and Modus Tollens

MP:

\begin{align*} x→y, x : y \end{align*}

MT:

\begin{align*} x→y, \neg y: \neg x \end{align*}

15世紀始，文藝復興給意大利城邦帶來的不僅僅是溯追古羅馬和古希臘文學藝術的回歸，更是法律精神的回歸。

最近在看一部紀錄片，『車輪上的美國』。

一行人以賽麟「SALEEN」美式肌肉車為移動的點，以美國高速公路為線，展現美國社會教育、飲食、賽車、牛仔等方方面面。

最近在看一部美食紀錄片，『最美不過菜市場』，很喜歡這部紀錄片。美食元素聚焦為菜市場，生活化十足。地區的選擇多樣，中國、西班牙、意大利、荷蘭、日本，兼具東西洋。不得不提一句，歐洲的菜市場真的是很乾淨，既生活又有美感，賞心悅目。配樂是加分項，著實浪漫。逛菜市場逛出了午後逛咖啡館的感覺。

午餐，用空氣炸鍋炸雞翅，好吃。

最近執政黨出政策打壓飯圈，給出的理由是娛樂圈的女性化，其用語是“娘炮”。但事實遠不至這麼簡單。對飯圈不瞭解，但今天瞭解到一個角度，那就是飯圈所顯露出來的動員和組織能力驚到執政黨了。執政黨不允許在其治下存在如此強大的民間組織力量，這對它是一種潛在的組織威脅。

晚，啟讀科幻經典《沙丘》第一部。中文翻譯實在是太差了。

今日讀《聖經·利未記》。多日未讀矣，上次讀還是四月九號，到今日已有四月有餘。今讀第六節至第十節。上帝向摩西說祭品之要，以及摩西讓Aaron和其兒子按要求奉獻祭品。