如果结果不匹配，请 
更多“下列命题公式为矛盾式的是()。”相关的问题
第2题
将下列命题符号化，要求符号化的公式为前束范式。(1)有的汽车比有的火车跑得快。(2)有的火车比所有的汽车跑得快。(3)不是所有的火车都比所有汽车跑得快。(4)有的飞机比有的汽车慢是不对的。
将下列命题符号化，要求符号化的公式为前束范式。（1)有的汽车比有的火车跑得快。（2)有的火车比所有的汽车跑得快。（3)不是所有的火车都比所有汽车跑得快。（4)有的飞机比有的汽车慢是不对的。
点击查看答案
第5题
设A，B，C为任意的命题公式，证明：等值关系有（1)自反性：AA。（2)对称性：若AB，则BA。（3)传递性：若AB
设A，B，C为任意的命题公式，证明：等值关系有
(1)自反性：A
A。
(2)对称性：若AB，则BA。
(3)传递性：若AB且BC，则AC。
第6题
利用范式证明下列公式为永真式（证明合取范式的每一个合取项中含有互补文字,或其主析取范式中含
利用范式证明下列公式为永真式(证明合取范式的每一个合取项中含有互补文字,或其主析取范式中含有2n个析取项,n是公式中变元的个数).
