Translate into propositional form and determine whether valid or invalid, providing implicit premises where needed and indicating values for relevant variables.

Vlad couldn't be trusted if he lied or weren't able to prove his statements. As a consequence, Vlad must be able to prove his statements, since he is clearly trustworthy. You may use * for , > for , = for , and :: for