㈠ 离散数学中的命题形式什么意思
所谓的 “命题形式”，指的是由命题变元和联结词按规则组成的符号串。
㈡ 离散数学问题："命题"和"命题逻辑"这两个概念有什么区别，应如何理解
命题是能判断真假的陈述句，是一句话
命题逻辑是指这个句子里的逻辑关系，有条件关系，二值关系等等各种关系
简单说，命题是一句话，命题逻辑是逻辑关系，这是两个不同的东西
㈢ 离散数学中命题的作用
当推理的结构是具有：（A1∧A2∧..∧Ak）→（A→B）这样的的形式时
此时可以将结论的前件作为推理的前提，是结论为B，即把推理的形式结构改写为：
（A1∧A2∧..∧Ak∧A）→B
这种证明方法就称作附加前提证明法，附加的前提为结论的前件，A称为附加前提。
㈣ 简单的离散数学 判断是否是命题
这不就是那个着名的逻辑悖论吗。他还有很多等价的说法：如“我在说谎”、“这是个假命题”等等。正如你所说，这些句子不论判定为真还是判断为假，都会产生矛盾，所以它们不是命题。
你的第二个问题：如果在这类句子（记作p）前面加上否定词（即：非p），能否构成命题呢？你可以这样想：
如果“非p”是命题，那么这个命题的否定是什么呢？显然，应该就是“非非p”，也就是p。因为一个命题的否定，肯定也是命题，所以这就得出了与之前的判断相矛盾的结论。所以，“非p”肯定也不是命题。
比如，p＝这个句子是错误的；非p＝并非这个句子是错误的＝这个句子是正确的。很显然，当我们判定“非p”为真时，没有产生矛盾，所以就会很自然地认为它是一个真命题。但是不要忘记：当我们判定“非p”为假时，也不会产生矛盾。所以，“非p”既是真的，又是假的。这同样违反逻辑定律，所以“非p”也不是命题。
注意：p和“非p”，都是只针对自身进行判断的句子，所以我们无需考虑其他事物的影响，只需要看我们（对句子真假）的判定，是否与句子本身的语义相矛盾即可：矛盾，当然是错误的；不矛盾，那就一定是正确的。
㈤ 离散数学中的命题是什么意思 解释下
可以判断的陈述句,结果只有两个,要么真,要么假
㈥ 离散数学中，x>0是不是命题
答;命题为具有真假意义的陈述句。
x>0 不是命题，因为不能确定其真假。
“白天比晚上长”是命题是在当前季节条件下得出的。
如果x的值确定范围以后，x>0也是命题。
如x>1,则x>0为命题。
㈦ 离散数学的问题，是否是命题
都是命题，命题有真命题和假命题之分。虽然有些目前无法确定，但其真值是唯一确定的
㈧ 我们要学好离散数学是命题吗
不是命题。在现代哲学、数学、逻辑学、语言学中，命题（判断）是指一个判断句的语义（实际表达的概念），这个概念是可以被定义并观察的现象。命题不是指判断句本身，而是指所表达的语义。当相异的判断句具有相同的语义的时候，他们表达相同的命题。在数学中，一般把判断某一件事情的陈述句叫做命题。“我们要学好离散数学”没有判断性质，所以这句话不是命题。
1．对于两个命题，如果一个命题的条件和结论分别是另外一个命题的结论和条件，那么这两个命题叫做互逆命题，其中一个命题叫做原命题，另外一个命题叫做原命题的逆命题。
2．对于两个命题，如果一个命题的条件和结论分别是另外一个命题的条件的否定和结论的否定，那么这两个命题叫做互否命题，其中一个命题叫做原命题，另外一个命题叫做原命题的否命题。
3．对于两个命题，如果一个命题的条件和结论分别是另外一个命题的结论的否定和条件的否定，那么这两个命题叫做互为逆否命题，其中一个命题叫做原命题，另外一个命题叫做原命题的逆否命题。
不是命题。在现代哲学、数学、逻辑学、语言学中，命题（判断）是指一个判断句的语义（实际表达的概念），这个概念是可以被定义并观察的现象。命题不是指判断句本身，而是指所表达的语义。当相异的判断句具有相同的语义的时候，他们表达相同的命题。在数学中，一般把判断某一件事情的陈述句叫做命题。“我们要学好离散数学”没有判断性质，所以这句话不是命题。
㈨ 离散数学中，闭式是命题吗，
错，非封闭的公式，加量词是有严格要求的，不是随便可以选量词的，
另外，还要注意辖域，以及区分是否自由变量
㈩ 离散数学(命题逻辑)
数理逻辑研究的中心问题是推理，而推理的前提和结论都是命题。因而命题是推理的基本单位
具有确切真值的陈述句称为命题(proposition)。 该命题可以取一个“值”，称为真值。真值只有“真”和“假”两种，分别用“T”(或“1”) 和“F”(或“0”)表示
一切没有判断内容的句子 ，如命令句 (或祈使句)、感叹句、疑问句、二义性的陈述句等都不能作为命题。
原子命题 (简单命题) ：不能再分解为更为简单命题的命题。
复合命题 ：可以分解为更为简单命题的命题。这些简单命题之间是通过如“或者”、“并且”、“不”、“如果......则......”、“当且仅当”等这样的关联词和标点符号复合而成。
设 P 是任意一个命题，复合命题“非 P”(或 “P 的否定”)称为 P 的否定式(negation)，记作¬P，“¬” 为否定联结词。P 为真当且仅当 ¬P 为假。
设 P、Q 是任意两个命题，复合命题“P 并且 Q”(或 “P 和 Q”)称为 P 与 Q 的合取式(conjunction)，记作P ∧ Q，“∧” 为合取联结词。P ∧ Q 为真当且仅当 P，Q 同为真。
“∧” 是自然语言中的 “并且”、“既…又…”、“但”、“和”、“与”、“不仅…而且…”、“虽然…但是…”、“一面…, 一面…” 等的逻辑抽象；但不是所有的“和”，“与”都要使用合取联结词表示，要根据句子的语义进行分析。
设 P、Q 是任意两个命题，复合命题“P 或 Q”称为 P 与 Q 的析取式(disjunction)，记作P ∨ Q，“∨” 为析取联结词。P ∨ Q 为真当且仅当 P，Q 至少有一个为真。
联结词 “∨” 是自然语言中的 “或”、“或者” 等的逻辑抽象。自然语言中的 “或” 有 “可兼
或”(或称为同或)、“不可兼或”(即异或) 两种。严格来讲，析取联结词实际上代表的是可兼或，异或有时会使用单独的异或联结词 “⊕” 或 “∨¯” 来表示。
设 P、Q 是任两个命题，复合命题“如果 P，则 Q”称为 P 与 Q 的蕴涵式(implication)，记作P → Q，“→” 为蕴涵联结词。P → Q 为假当且仅当 P 为真且 Q 为假。一般把蕴涵式 P → Q中的 P 称为该蕴涵式的前件，Q 称为蕴涵式的后件。
设 P、Q 是任两个命题，复合命题“P 当且仅当 Q”称为 P 与 Q 的等价(equivalence)，记作P ↔ Q，“↔” 为等价联结词(也称作双条件联结词)。P ↔ Q 为真当且仅当 P、Q 同为真假。
联结词是两个命题真值之间的联结，而不是命题内容之间的连接，因此复合命题的真值只取决于构成他们的各简单命题的真值，而与它们的内容无关，与二者之间是否有关系无关。
一个特定的命题是一个常值命题，它不是具有值 “T”(“1”)，就是具有值 “F”(“0”)。
一个任意的没有赋予具体内容的原子命题是一个变量命题，常称它为命题变量 (或命题变元)(propositional variable)，该命题变量无具体的真值，它的变域是集合{T, F}(或 {0, 1})。
由公式 G 在其所有可能的解释下所取真值构成的表，称为 G 的真值表(truth table)。
必要性：假定 G = H，则 G，H 在其任意解释 I 下或同为真或同为假，于是由 “↔” 的意义知，公式 G ↔ H 在其任何的解释 I 下，其真值为“真”，即 G ↔ H 为永真公式。
充分性：假定公式 G ↔ H 是永真公式，I 是它的任意解释，在 I 下，G ↔ H 为真，因此，G，H 或同为真，或同为假，由于 I 的任意性，故有 G = H。