「Template:論理演算」の版間の差分

履歴の双方向閲覧

← 古い編集

削除された内容追加された内容

ビジュアルウィキテキスト

インライン

2023年11月10日 (金) 14:01時点における最新版

テンプレートの解説

本テンプレートはモバイル版には表示されません。デスクトップ版のみです。（Template:Template display。参考：Help:携帯端末でのアクセス）

このテンプレートは、{{Navbox}}により作成されたナビゲーションテンプレートです。記事の下部に{{論理演算}}を置くことでトランスクルージョンされます。

初期表示設定

折り畳み・展開設定方法

{{論理演算|state=collapsed}}と設定すると、テンプレートは折り畳んだ状態で初期表示されます。
{{論理演算|state=expanded}}と設定すると、展開した状態で初期表示されます。
{{論理演算|state=autocollapse}}と設定すると、単一ページにcollapsedを使うNavboxが複数ある場合には折り畳んで表示されます（デフォルト設定/設定なしと同じ）。

TemplateData

記事の下部に置くことができるナビゲーションテンプレート

テンプレートパラメーター[テンプレートデータを編集]
パラメーター		説明	型	状態
State	`state`	初期表示設定値の候補 `collapsed` `expanded` `autocollapse`	文字列	推奨

テンプレートのトランスクルージョン

トランスクルージョン・メンテナンス
トランスクルージョンの完全性を確認する

編集者は、このテンプレートをサンドボックスとテストケースで試すことができます。（解説）
このテンプレートのサブページ一覧。

@@ 4行目: / 4行目: @@
 |state = {{{state|}}}
 |listclass = hlist hlist-pipe
-|list1=[[恒真式|恒真式 ( <math>\top</math> )]]
+|list1=*[[恒真式|恒真式 ( <math>\top</math> )]]
-|list2=[[否定論理積|NAND ( <math>\uparrow</math> )]]
+|list2=*[[否定論理積|NAND ( <math>\uparrow</math> )]]
+*[[逆含意|逆含意 ( <math>\leftarrow</math> )]]
-*[[逆含意|逆含意 ( <math>\leftarrow</math> )]]<!--[[Converse implication|Converse implication ( <math>\leftarrow</math> )]]-->
 *[[論理包含|IMP ( <math>\rightarrow</math> )]]
-*[[論理和|OR ( <math>\or</math> )]]
+*[[論理和|OR ( <math>\lor</math> )]]
-|list3=[[否定|否定 ( <math>\neg</math> )]]
+|list3=*[[否定|否定 ( <math>\neg</math> )]]
 *[[排他的論理和|XOR ( <math>\oplus</math> )]]
-*[[同値|同値 ( <math>\leftrightarrow</math> )]]<!--[[Logical biconditional|Biconditional ( <math>\leftrightarrow</math> )]]-->
+*[[同値|同値 ( <math>\leftrightarrow</math> )]]
-*[[命題]]<!--[[Statement (logic)|Statement]]-->
+*[[命題]]
-|list4=[[否定論理和|NOR ( <math>\downarrow</math> )]]
+|list4=*[[否定論理和|NOR ( <math>\downarrow</math> )]]
-*[[非含意|非含意 ( <math>\nrightarrow</math> )]]<!--[[Material nonimplication|Nonimplication ( <math>\nrightarrow</math> )]]-->
+*[[非含意|非含意 ( <math>\nrightarrow</math> )]]
-*[[逆非含意|逆非含意 ( <math>\nleftarrow</math> )]]<!--[[Converse nonimplication|Converse nonimplication ( <math>\nleftarrow</math> )]]-->
+*[[逆非含意|逆非含意 ( <math>\nleftarrow</math> )]]
-*[[論理積|AND ( <math>\and</math> )]]
+*[[論理積|AND ( <math>\land</math> )]]
-|list5=[[矛盾|矛盾 ( <math>\bot</math> )]]
+|list5=*[[矛盾|矛盾 ( <math>\bot</math> )]]
-|image=[[Image:Logical connectives Hasse diagram.svg|80px]]<br/>[[File:Alpha_channel_logic.gif|80px]]
+|image=[[Image:Logical connectives Hasse diagram.svg|80px]][[File:Alpha_channel_logic.gif|80px]]
 }}<noinclude>
+{{navbox documentation}}
 {{DEFAULTSORT:ろんりえんさん}}
-[[Category:論理結合子|*]]
-[[Category:論理記号|*]]
-[[Category:数理論理学|T]]
-[[Category:数学関連のテンプレート]]
 [[Category:論理学関連のテンプレート]]
 [[Category:数学のナビゲーションテンプレート]]

表話編歴論理演算
恒真式 ( $\top$ )
NAND ( $\uparrow$ ) 逆含意 ( $\leftarrow$ ) IMP ( $\rightarrow$ ) OR ( $\lor$ )
否定 ( $\neg$ ) XOR ( $\oplus$ ) 同値 ( $\leftrightarrow$ ) 命題
NOR ( $\downarrow$ ) 非含意 ( $\nrightarrow$ ) 逆非含意 ( $\nleftarrow$ ) AND ( $\land$ )
矛盾 ( $\bot$ )