如下图所示。
公式，在数学、物理学、化学、生物学等自然科学中用数学符号表示几个量之间关系的式子。具有普遍性，适合于同类关系的所有问题。在数理逻辑中，公式是表达命题的形式语法对象，除了这个命题可能依赖于这个公式的自由变量的值之外。
公式精确定义依赖于涉及到的特定的形式逻辑，但有如下一个非常典型的定义（特定于一阶逻辑):
公式是相对于特定语言而定义的；就是说，一组常量符号、函数符号和关系符号，这里的每个函数和关系符号都带有一个元数(arity）来指示它所接受的参数的数目。
根据谓词逻辑的语义推导规则，语义应该具有一致性，就是对于一个命题逻辑语句集f，当且仅当至少存在这样一种解释i，f的一切元素在i之下都是真的，那么，f是语义一致的。
在命题逻辑语义学内，一个赋值不能同时把真和假给予某个命题原子式。在命题逻辑语义学中，在同一解释下，一个集合不能既属于某个谓词的外延又不属于该谓词的外延。
温馨提示：答案为网友推荐，仅供参考
第1个回答 2019-06-16
c^2=a^2+b^2-ab%D%A公式c^2=a^2+b^2-2abCosc%D%A对比一下发现ab=2abCosc，所以Cosc=1/2，Sinc=√3/2%D%AS=absinC/2,sinC换成√3/2，所以S=√3ab/4%D¬^2=2√3S,S=√3ab/4所以c^2=3ab/2=而c^2=a^2+b^2-ab,所以a^2+b^2-ab=3ab/2%D%A得a^2+b^2=5ab/2%D%A所以2a^2+2b^2=5ab，然后随机选择a^2或b^2%D%A例如a^2，等式各项除以a^2%D%A得2+2b^2/a^2=5b/a%D%A设b/a=X，则等式为2+2X^2=5X%D%A就是一个一元二次方程，解得X=1/2%D%A所以a=2b。%D%A如果除以b^2，则得a=b/2%D%A所以当a=b/2时c=√3b/2时：a^2+c^2=b^2当a=2b时c=√3b时，b^2+c^2=a^2
第2个回答 推荐于2017-09-04
相似回答