数学的にそれが自然
Wikipediaの論理包含とかVacuous truthを読め