How do I prove whether the following statement is a tautology or not using substitution?
From what I understood if the expression is of the form A⇒A, then we can substitute values to prove tautology.
But how can I interpret ∃x,P(x) and ∃x,Q(x) on the RHS. Does this mean P∧Q? Where am I going wrong?