#noindex
토톨로지,tautology
'''tautology'''

항상 참인 명제.

rel [[참,true]] [[진리,truth]] [[명제proposition]] [[명제,proposition]]

보이는번역들:
항진명제, 항진식, 토톨로지, ...
항진문장 - [[문장,sentence]]일때만?

----
Sub:

https://namu.wiki/w/퍼스의%20항진명제
Peirce's tautology ?
 Ggl:"Peirce's tautology"
 => [[WpEn:Peirce's_law]] = https://en.wikipedia.org/wiki/Peirce's_law


----
KmsE:tautology

Zeta: ?

WtEn:tautology

WpSp:Tautology
WpEn:Tautology
MathWorld:Tautology

"tautology"
Ggl:"define: tautology"

[[WpEn:Tautology_(logic)]] = https://en.wikipedia.org/wiki/Tautology_(logic)

----
Proving a Tautology by Using Logical Equivalences - YouTube
https://www.youtube.com/watch?v=wxym2Yh9xvw

.... YouTube:Tautology+proof

= wikiadmin =
tautology not in kornorms [[Date(2023-11-13T03:46:01)]]

Srch:tautology

TODO
MVFROM [[논리학,logic#s-6.1]]