Question

1. If pq is true and q is true, then p is true.

2. If p is true and q is true, then ~ p --> ~q is true.

always sometimes or never?

Answer 1

second one first
if p is true then not p is false
false implies anything so answer to #2 is "always"

Answer 2

does the first statement pq mean
\[p\land q\]?

Answer 3

P-Q

Answer 4

P-->Q