2018年2月10日 (土) 01:14時点における版編集 121.102.39.185 (会話) 編集の要約なし ← 古い編集		2018年2月12日 (月) 05:38時点における版編集取り消し 2001:2f8:20:700:c599:deed:da4d:aed8 (会話) デフォルトソート新しい編集 →
1行目: {{出典の明記\|date=2018年2月10日 (土) 01:14 (UTC)}} '''ダウンタック記号''' (~~'''⊤''',~~ ダウンタックきごう、{{En\|down tack}}) は「⊤」の形をしたアルファベットの T に似た形の数学記号。単に'''ティー''' ({{En\|tee}}) やラテン語で「真」を意味する'''ヴェルム''' ({{La\|verum}}) とも呼ばれる。以下のような意味を持つ: * [[束 (束論)\|束論]]における[[最大元]] * [[論理学]]における[[恒真式\|トートロジー（恒真式）]] 23行目: {{Common logical symbols}} {{Logic-stub}} {{Math-stub}} {{デフォルトソート:たうんたつくきこう}} [[Category:論理記号]] [[Category:数学に関する記事]]

「ダウンタック記号」の版間の差分