Difference between r1.1 and the current
@@ -2,9 +2,24 @@
토톨로지,tautology
'''tautology'''
보이는번역들:
항진명제, 항진식, 토톨로지, ...
Zeta: ?
'''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:tautologyZeta: ?
@@ -18,5 +33,18 @@
"tautology"
Ggl:"define: tautology"
= wikiadmin =
tautology not in kornorms [[Date(2023-11-13T03:46:01)]]
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
tautology not in kornorms [[Date(2023-11-13T03:46:01)]]
Srch:tautology
TODO
MVFROM [[논리학,logic#s-6.1]]
토톨로지,tautology
tautology
tautology
항상 참인 명제.
Sub:
Zeta: ?
Proving a Tautology by Using Logical Equivalences - YouTube
https://www.youtube.com/watch?v=wxym2Yh9xvw
https://www.youtube.com/watch?v=wxym2Yh9xvw
