【发布时间】：2012-12-09 05:36:51
【问题描述】：
我想知道假设的第二部分是否有技术术语？喜欢：
(X & Y) → Z
Y 会被称为什么？或者 X 在这件事上会被称为什么？我考虑使用的一些选项是“位”和“象限”，但我不认为这些是正确的。
【问题讨论】：
标签： logic discrete-mathematics
【发布时间】：2012-12-09 05:36:51
【问题描述】：
X 和 Y 在离散数学中称为参数值。陈述“如果 X 和 Y 则 Z”称为命题。请注意，如果 X 不为真，这并不意味着 Z 不为真。
见http://en.wikibooks.org/wiki/Discrete_Mathematics/Logic
但有时您将命题与 AND 等结合起来。例如，来自上面的链接： p 代表命题“亨利八世有六个妻子”。 q 代表命题“英国内战发生在 19 世纪”。
是 p AND q，真或假。
如果 p AND q then r 也是有效的
（我们可以质疑这是否是一个整体的真命题，取决于命题 p,q,r 是什么）
【讨论】：
-
哦，是的，没错！谢谢！ :-)
-
当我意识到命题是整体 (X&Y) -> Z 和 X,Y 是参数时，我已经稍微编辑了我的答案。
-
我想我已经回答了你的问题。如果您查看我的链接，您会找到更多信息。