Dentre as alternativas abaixo a única que expressa o conceito de proposição lógica é: