Logichard
0:00.0
In a certain logic, we define the 'strong negation' operator such that has the truth value . If the valuation of is defined as , what is the valuation of the formula when and ?
In a certain logic, we define the 'strong negation' operator such that has the truth value . If the valuation of is defined as , what is the valuation of the formula when and ?