根据命题联结词的规则导出复合命题(或复合陈述)为真值或假值的形式逻辑体系。此类命题联结词有“和”、“或者”、“假如……那么……”等。例如，由“和”联结的复合命题，只有在构成该复合命题的简单命题均为真值的条件下，该复合命题才为真值;而“或者”联结词，只要求一个命题为真值即可。这样“猪飞翔和鸟儿唱歌”为假值，而“猪飞翔或鸟儿唱歌”为真值。