The proposition "If p and q, then p" and the proposition "All married people are married" are logical truths because they are true due to their inherent structure and not because of any facts of the world.
Вислів: «Якщо p i q, то p» та вислів: «Усі одружені люди одружені» — логічні істини, тому що правильні через властиву їм структуру, а не через зумовленість традиціями світу.