ことわざ論理式

100聞 < 見

百聞は一見にしかず

$ \exists x \in筆$ \cap弘法$ ,$ \lnot x

弘法も筆の誤り

吹く(風) ⇒ 儲かる(桶屋)

風が吹くと桶屋が儲かる

$ \exists x \in虫$ ,食う$ (x,蓼$ )

蓼食う虫も好き好き

$ \forall x,良し(終わり)$ \Rightarrow良し$ (x)

『終わり良ければ全て良し』

$ \forall x, y \in風$ , (x \in明日吹く$ \land y \notin明日吹く$ )\Rightarrow x \neq y

『明日は明日の風が吹く』

元気$ \in自分$ \Rightarrow \forall x,できる$ (x)

『元気があれば何でも出来る』

$ \forall x \in ある; (\exist A, B \in 過去) \land (A\ne B) \land (x \in A) \land (x \in B) \Rightarrow (\exist C \in 過去^c \land x \in C)

『二度あることは三度ある』