Ao refletir sobre a vida, Antônio fez algumas reflexões:

P1: “Devido ao estilo de vida que possuo não passo muito tempo com a família”.
P2: “Trabalho muitas horas por dia e passo muito tempo no trânsito”.
P3: “Ou deixo o emprego ou não terei convívio com a família”.
P4: “Se saio do emprego atual, então fico mais tempo com a família”.

A alternativa a seguir com uma proposição que equivale logicamente à proposição P4 apresentada anteriormente é: