Tautology (logic)

id: tautology-logic-186-12228063
title: Tautology (logic)
text: In mathematical logic, a tautology is a formula that is true regardless of the interpretation of its component terms, with only the logical constants having a fixed meaning. For example, a formula that states, "the ball is green or the ball is not green," is always true, regardless of what a ball is and regardless of its colour. Tautology is usually, though not always, used to refer to valid formulas of propositional logic. The philosopher Ludwig Wittgenstein first applied the term to redundanci
brand slug: wiki
category slug: encyclopedia
description: In logic, a statement which is always true
original url: https://en.wikipedia.org/wiki/Tautology_(logic)
date created: 2006-03-24T02:29:16Z
date modified: 2024-09-08T01:47:58Z
main entity: {"identifier":"Q209555","url":"https://www.wikidata.org/entity/Q209555"}
image:
fields total: 13
integrity: 15

Related Entries

Explore Next Part