Veritat i falsedat d'un enunciat i la seva negació

Si és veritat que p («fa sol»), ¬p és fals («no fa sol» és fals)

Si és fals que p (és fals que «fa sol»), ¬p és veritable («no fa sol»)