命题、定理、证明是什么意思？

命题

1、能够判断真假的语句叫做命题，正确的命题叫做真命题，错误的命题叫做假命题。

2、“若p，则q”形式的命题中p叫做命题的条件，q叫做命题的结论。

逻辑联结词

简单的逻辑联结词包括：或、且、非。

（1）或
1、用联结词“或”把p与q联结起来称为一个新命题，记作p∨q，读作“p或q”。
2、命题p∨q的真假的判定：一真必真
p q p∨q
真 真 真
真 假 真
假 真 真
假 假 假
（2）且
1、用联结词“且”把p与q联结起来称为一个新命题，记作p∧q，读作“p且q”。
2、命题p∧q的真假的判定：一假必假
p q p∧q
真 真 真
真 假 假
假 真 假
假 假 假
（3）非
1、对于一个命题p如果仅将它的结论否定，就得到一个新命题，记作┐p，读作“非p”。
2、命题┐p的真假的判定：真假相对
p ┐p
真 假
假 真

《几何原本》命题（特指）

特指欧几里德的《几何原本》中的被证明的命题，如下列48个命题：
1. 在一个已知有限直线上作一个等边三角形。
2. 由一个已知点（作为端点）作一线段等於已知线段。
3. 已知两条不相等的线段，试由大的上边截取一条线段使它等于另外一条。
4. 如果两个三角形有两边分别等于两边，而且这些相等的线段所夹的角相等，那么，它们的底边等于底边，三角形全等于三角形，而且其余的角等于其余的角，即那等边所对的角。
5. 在等腰三角形中，两底角彼此相等；并且，若向下延长两腰，则在底以下的两角也彼此相等。
6. 如果在一个三角形中，有两角彼此相等，则等角所对的边也彼此相等。
7. 在已知线段上（从它的两个端点）作出相交於一点的二线段，则不可能在该线段（从它的两