Logichard
0:00.0

In a certain logic, we define the 'strong negation' operator \sim such that P\sim P has the truth value 1v(P)1 - v(P). If the valuation of P    QP \implies Q is defined as max(1v(P),v(Q))\max(1 - v(P), v(Q)), what is the valuation of the formula (P    Q)\sim(P \implies \sim Q) when v(P)=0.7v(P) = 0.7 and v(Q)=0.4v(Q) = 0.4?