Consider the following two propositions:\( P_1 : \sim (p\to \sim q) \)\( P_2 : (p \wedge \sim q) \wedge ((\sim p) \vee q) \)If the proposition \( p \to ((\sim p) \vee q) \) is evaluated as FALSE, then:
P1 is TRUE and P2 is FALSE
P1 is FALSE and P2 is TRUE
Both P1 and P2 are FALSE
Both P1 and P2 TRUE