tautologiʹ [taf-] (grekiska tautologiʹa, av tautoʹ (to autoʹ), ’detsamma’ och -logiʹa, en bildning till leʹgō ’säga’), inom satslogiken en sats som är sann under varje värdering av de minsta (atomära) satser av vilka den är uppbyggd.