命题演算的公理系统L与命题演算的自然演绎系统C相比：

在命题的演算中，每个最小联结词组至少有两个联结词（） 关系演算分为演算和演算 关系演算分为__关系演算和__演算 设“A命题与B命题具有矛盾关系”、“B命题与C命题也具有矛盾关系”，则A命题与C命题具有（）。 关系演算可分为__元组演算__和__域演算__两部分（） 若命题A的否命题是B，命题B的逆命题是C，则C是A的逆命题的（　　）。 关系演算的基础是形式逻辑中的逻辑演算。() 命题逻辑就是研究命题和命题之间关系的符号逻辑系统。() 关系推理（一）”甲命题与乙命题不等值；乙命题与丙命题不等值；所以，甲命题与丙命题不等值”与（二）”甲命题蕴涵乙命题，乙命题蕴涵丙命题；所以，甲命题蕴函丙命题”（） 利用欧几里德原理构建了第一个伦理演算系统的是( ) 如果甲命题与乙命题是矛盾关系，乙命题与丙命题也是矛盾关系，那么甲命题与丙命题是（） 演绎推理是指用一些特殊命题来证明一般性道理的命题。() 演绎推理是指用一些特殊命题来证明一般性道理的命题（） 如果命题p与命题q间具有矛盾关系，命题q与命题r间具有反对关系，那么命题p与命题r具有（）关系。 命题可以进行直接检验，而公理与定理则不可以进行检验（） 负命题的支命题与负命题的等值命题之间是（）关系。 已知直线l,m,平面α,β,下列命题为假命题的是() 设P是命题(a∧b)∨(b∧c)∨(c∧a)≤(a∨b)∧(b∨c)∧(c∨a)，P的对偶命题是(a∨b)∧(b∨c)∧(c∨a)≥(a∧b)∨(b∧c)∨(c∧a) 演算仪使用中应注意什么？ 以下与命题P?Q等值的命题是()。