In propositional logic, what is the term for a statement that is true under every possible assignment of truth values to its components?

Show answer

Tautology

A tautology is a logical statement that is necessarily true by its own structure, such as the phrase 'It will rain or it will not rain.' While these statements are considered redundant because they provide no new information, they serve as essential building blocks in formal mathematical proofs. The term comes from the Greek word 'tauto,' meaning 'the same,' which highlights how the statement's truth is inherently repetitive.

Also asked as:

In propositional logic, what is the term for a formula that remains true under every possible interpretation?

Would you remember this in 6 months?

Trivia Forge uses spaced repetition so facts stick. Free, no signup needed.

Practice Philosophy questions →

More Philosophy trivia

In logic, what is the term for an argument that is valid and has true premises?
In metaethics, what view holds that moral values are objective and exist independently of our perception of them?
In metaphysics, what term describes the view that reality is mentally constructed or otherwise immaterial?
In philosophy, what is the term for the study of the end, purpose, or goal of a process?
In philosophy, what specific two-word term refers to the problem of whether a person remains the same person from one moment to the next?
In philosophy, what term describes the tendency to lay down principles as undeniably true, without consideration of evidence or the opinions of others?

See all 188 →