請問兩個logic裡的字

[hardcover (精裝版喔)]

請問
logic裡的literal 和 clause要翻做什麼?
可以順便說一下它們的意思嗎?

謝謝

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 218.164.170.204
→ totopi:你可以先說在哪裡看到的咩？內文是？很好奇。