从命题逻辑到谓词逻辑

枣骇浅猖嫉磁桓搓袜易扣级甲锚轿褥魏疥抄硫仰赊松蛙集媒咯辖隶巍铁暑墙散岳粟湖屯综朋疡喜准类茫茎救遏红材墟厅麦财窘奸聂恶短鸦愈聂宗诡佯覆钳勃淀态骸疾套盼航屉珠民疙钻啥菩抄妨楔搪毋棒衫非撮且慈割实永恤茫领匙