": its truth-value is to be truth if

is false, likewise if

is true, and is to be falsehood if

is true and

is false.