Li-Fan Chen
says to
YSITD
欸欸 邏輯中怎麼描述這種東西 例如「一個食物沒壞才能吃」 我們知道可以寫成 「能吃 -> 沒壞」 但是感覺只是等價而已，不太精確 (?)