逻辑
这是一门研究科学语言，其方法，其组织，层次结构实体和方法（作为分析所有书面形式的公式）的科学。为了交流，人类使用了话语，这些语言充满了逻辑粒子。
逻辑粒子：从本质上说，量词是与它们形成联系的连接词。
命题逻辑
它是古典逻辑的一个分支，研究命题变量或逻辑语句，其可能的含义，真理的评估以及在某些情况下其真理的绝对水平。一些作者还用数学逻辑或符号逻辑来识别它，因为它使用了一系列特殊的符号使它更接近于数学语言。
命题
重言式：重言式或有效性定义为始终为真的公式。
矛盾：对于所有真相值来说，这始终是错误的命题。对于命题的任何真值，无论所研究的逻辑公式的结果如何，总是错误的。
连词：是对还是错的公式。参数的有效性所依赖的表达式是定义的逻辑常数。
连接器
否定：否->>，〜
在逻辑和数学中，否定（也称为逻辑补语）是对命题，真值或通常是语义值的运算。从直觉上讲，当命题否定时，命题的否定为真，反之亦然。在古典逻辑中，否定通常用真函数来识别，该真函数将其值从“真”更改为“假”，反之亦然。
连词：Y∧，仅当连词的成分为true时，该连词才为true。
析取：O∨，
析取仅在其两个组成部分相同时才为假。
有条件的：⇒然后
通常是两个语句的真值，仅当第一个语句为true而第二个语句为false时才返回true值false。
双条件：⇔，如果仅是。
双条件或双重蕴涵是一个运算符，它处理两个真值，通常是两个命题的真值，当两个命题具有相同的真值时返回真值true，而当两个真值相异时则返回false。
命题
变量：在命题逻辑的符号语言中，简单的，原子的或基本的陈述是不能分解为简单的陈述的。它们被称为变量，并在字母末尾用小写字母写：«p»，«q»，«r»，«s»…（对于特殊情况），或在它们的开头用大写字母写在字母开头一般情况：«A»，«B»，«C»，«D»…
除了变量之外，命题逻辑在字母表中还具有其他元素：构成复合句子的逻辑常数和辅助符号。
一些自然语言词汇标记是使用以下五个逻辑常数之一翻译的：
¬拒绝：否
٧包容性歧视：或者是，还是…或，
J连结：y，e或ni（=而不是）
→有条件：是的。所以
↔双条件：是且仅当
真相表
否定：当变量为true时，否认它为false；如果变量为false，则否认它为true。
| 至 | 〜 |
| V | F |
| F | V |
析取：仅当所有变量均为假时才为假。
| 至 | 乙 | AVB |
| V | V | V |
| V | F | V |
| F | V | V |
| F | F | F |
连词：仅当所有变量也都为真时，才为真。
| 至 | 乙 | A∧B |
| V | V | V |
| V | F | F |
| F | V | F |
| F | F | F |
有条件的：仅当第一个变量或前提为true且第二个或随后为false时，结果为false。
| 至 | 乙 | A⇒B |
| V | V | V |
| V | F | F |
| F | V | V |
| F | F | V |
双条件：两个变量具有相同的值时为真。
| 至 | 乙 | A⇔B |
| V | V | V |
| V | F | F |
| F | V | F |
| F | F | V |
通过下面的视频课程，您将能够学到更多关于命题逻辑的知识，这是增强您对经典逻辑知识的了解的极好的资源。（TareasPlus.com，29个视频）
