English Dictionary

In the proof, we assigned truth values to the propositional variables to determine the validity of the argument.

その証明では、議論の妥当性を判断するために命題を表す変数に真理値を割り当てました。