[請益] 如何把語句化成量詞邏輯？

[ichirogo (衝啊一朗)]

要怎麼論證有效無效總是可以推得出來，
但要從文字運作成符號概念總是做不到><
想請教一下板上的大大。

例如這題：
政治家一定是政客。有些政治家不會騙人。有些政客不是政治家。
所以，有些政客會騙人。

這句話我推論的結果是無效論證，可是要化成量詞符號的時候應該怎麼化呢？
然後，應該怎麼解釋它是無效的論證呢？

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 220.139.239.95