Explanation:
The definition of logical proposition as discussed in the question is any any proposition that can be reduced by replacement of its constituent terms to a proposition expressing a logical truth.
So, accordingly, '
"If p and q, then p.
" The proposition "All husbands are married," is logically equivalent to the proposition "If something is married is male, then it is married" .