命题逻辑

要定义的术语“命题逻辑”，就必须清楚地了解什么是“声明”。

因此，该语句是一个句子，排名语法正确，而且是假的或真实的。 这个概念必须表达一定的意思。 例如，短语“金丝雀具有”包括以下部分：“金丝雀”和“鸟”。

这就是为什么逻辑的和关键的初始概念之一都这么说。 这些概念必须说明具体情况该陈述要么是某事或否认。

它被认为是一个真正的声明，如果当它被包围的情况追踪线的现实。 就其本身而言，“假”与“真”确定报告的真实。

命题逻辑包括简单和复杂的表达式。 所以，只是觉得不其组成其他表达式中包含的语句。 和复杂的包括从一个简单的，逻辑地连接语句衍生的表述。

经典命题逻辑可以通过扣除的一般理论来表示。 它是逻辑，其描述了不依赖于简单的表达式的逻辑连接的发言的部分。

且不说连词 - 通过结合使用单词“和”两个简单的表达式获得一个艰难的命题。 连词的事实证实，包含在其结构中的所有语句。 在这种情况下，其成员一个假的至少一个，整个结合是的标志“谎言”。

本身是一个结合，以形成复杂的语句，其基于以下假设：

- 任何表达（和简单和复杂）可以是真或假;

- 复杂的话语的真相取决于它包含的语句，并在其中的逻辑链路的真相。

当连接使用这个词的两个语句“或”已经取得的脱节。 在日常生活中，这一概念可以从两个不同的含义的角度来看待。 首先，它是非排他性意义上，这意味着表达的真相，无论这两个中的一个的真实表达的或是它们的那些两者。 其次，消除感声称，其中的一个表达式为true，另 - 是假的。

命题公式包含特殊字符。 因此，在析取符号V表示，该表达式为true，如果在语句中的至少一个，如果她的两个假阴茎假的真相。

在确定含义有是在错误的调查基础陈述不能算是真正的断言。 换句话说，这个概念意味着依赖真理或其组成部分及其相互关系的方法的价值表达的谬误。

尽管寓意是为了某些目的非常有用的，它不与通信的一般常规理解非常一致。 所以，当它围绕设备的许多概念给出的陈述的逻辑行为的重要特征可能不是它的一个充分的说明。

命题逻辑旨在解决这样的中心任务，因为正确和不正确的电路推理和系统化第一的分离。 为了得到正确的结果，你需要把重点放在特殊字符，可以代表一种或另一种形式。 因此表明在这种看似微不足道的词语，如“或”兴趣“和”等

逻辑语句甚至有自己的语言，包括以下内容：

- 原创人物 - 变量，逻辑常项和技术符号;

- 公式。

为了更好地理解说了些什么，你必须去具体的例子。 例如，结合使用的符号，析取 - \ /或\º/。