Una consecuencia de estos supuestos es que si una proposición A no es falsa, entonces debe ser verdadera.