Anybody can dimension u d| question 14 s g google 5 pts this question involves two parts. 1. translate the argument provided in this prompt into formal logic and then use the truth-tree decision procedure (relying on proof tools or pencil/pen and paper) to determine whether the argument is deductively valid or invalid (entailment/non-entailment). 2. if the argument is invalid (a case of non-entailment), determine an assignment of truth values interpretation) to the propositional letters that would show the argument to be invalid (non-entailment). here is the argument: john and liz are not both at the store. john is not at the store and frank is at the store. therefore, liz and frank are both at the store. html editoren 11 x 0 tt 12pt b iv a -a- ix e 2 b v v