不知道你所说的“等值永真式”是不是逻辑学的专业名词；我想应该就是楼上所说的“恒等式”吧!　　既然你说了等值、永真式这些名词,说明你对符号化的命题,即命题公式有一定认识了.其实,所谓“命题公式”,就如同我们中...