A statement that is true in all possible worlds or under all possible interpretations, independent of its specific content. Its…