Consider the following expressions:
$(i)$ false
$(ii)$ Q
$(iii)$ true
$(iv)$ P∨Q
$(v)$ ¬Q∨P
The number of expressions given above that are logically implied by $P∧(P⇒Q)$ is ___________.
My attempt:
My doubt is regarding "true". Can we logically imply "true" from "p and p implies q" ? Per my understanding "true" and "false" are the "truth values" that can be assigned to propositions. But they are not propositions themselves.
Can you explain in formal way, please?