Search results

Hello, I am confused on much of the following... Determine if the following formulas are satisfiable. P' is the negation of P. (P→Q)→(Q'→P') <-- I read this as being P=true then Q=true, Q'=false then P'=false, so Q=true implies Q'=false??? (Q→R)→((P→Q)→(P→R)) <-- I read this as (Q→R)→(Q→R)...

x = 3p^2 − 2p^3 Show that x < p iff p < 1/2 note: p^2 = p'squared and p^3 = p'qubed Thanks!