Consider the following expressions:
The number of expressions given above that are logically implied by $P∧(P⇒Q)$ is ___________.
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?