真值函项等值是指如果两个命题

Question

如题所述

Answer 1

真值函项等值，两个命题必然具有相同的真值。

真值函项( truth function) 亦称“真值函数”，定义域和值域都为真值的函项。如果对于一个变元的任意一个允许值，另一变元总有一个确定的值之对应，那么后者(叫做“应变元”)就是前者(叫做“自变元”)的函项。任何真值形式都表示一个真值函项。

真值形式是真值函项的表现形式。因此，也可把真值形式看成是真值的项，但两者并不相等，因为一个真值函项可以由多个真值形式表示。

函项

汉语词语

在普通语言中，该词大略是指目的或作用。在逻辑和数学中[该词译为函项]，它是一种特殊的关系，在此关系中，给予的任何对象或诸对象（也称为函项的主目），另一对象（称为对于那个主目的函项值）将会产生。

一个函项有一个或多个能容纳不同主目的变项。对某一函项的变项给予确定值就会产生对整个函项的确定值。前置逻辑（也称为函项演算）中的真值函项是特定的函项，其中，复合命题的真值是由它的命题的组成部分的真值和与它相关的逻辑项所决定的。

一个函项是可应用于某类对象的，函项所应用的类被称为函项的前域。值的类被称为函项的变程。弗雷格认为，概念是表示对象真值的函项。