Next, each formula is assigned a truth value.
再來，每個公式皆可賦予一個真值。