É logicamente necessário que p. Segue-se que...

é logicamente possível que não-p.

não é logicamente possível que p.

é logicamente necessário que não-p.

não é logicamente necessário que p.

não é logicamente possível que não-p.