恒真式(トートロジー)
#Fleeting_Notes
恒真式(恒真式、tautology、トートロジー)
$ \vDash B
確認用
Q. 恒真式(トートロジー)
調査用
Google.icon
恒真式(トートロジー)(日)
Google.icon
Tautology(英)
Wikipedia.icon
恒真式 - Wikipedia(日)
恒真式(トートロジー)(検索) - Wikipedia(日)
Wikipedia.icon
Tautology - Wikipedia(英)
Tautology(検索) - Wikipedia(英)