コンテンツにスキップ
メインメニュー
メインメニュー
サイドバーに移動
非表示
案内
メインページ
コミュニティ・ポータル
最近の出来事
新しいページ
最近の更新
おまかせ表示
練習用ページ
アップロード (ウィキメディア・コモンズ)
ヘルプ
ヘルプ
井戸端
お知らせ
バグの報告
ウィキペディアに関するお問い合わせ
検索
検索
表示
寄付
アカウント作成
ログイン
個人用ツール
寄付
アカウント作成
ログイン
ログアウトした編集者のページ
もっと詳しく
投稿記録
トーク
英文维基
|
中文维基
|
日文维基
|
草榴社区
Category
:
命題論理の定理
8の言語版
Беларуская (тарашкевіца)
English
Español
فارسی
Bahasa Indonesia
한국어
Srpskohrvatski / српскохрватски
Српски / srpski
リンクを編集
カテゴリ
ノート
日本語
閲覧
編集
履歴表示
ツール
ツール
サイドバーに移動
非表示
操作
閲覧
編集
履歴表示
全般
リンク元
関連ページの更新状況
ファイルをアップロード
特別ページ
この版への固定リンク
ページ情報
短縮URLを取得する
QRコードをダウンロード
印刷/書き出し
ブックの新規作成
PDF 形式でダウンロード
印刷用バージョン
他のプロジェクト
コモンズ
ウィキデータ項目
表示
サイドバーに移動
非表示
ヘルプ
ウィキメディア・コモンズに関連カテゴリがあります。
Theorems in propositional logic
命題論理
の
定理
に関するカテゴリ。
→「
en:Category:Theorems in propositional logic
」も参照
カテゴリ「命題論理の定理」にあるページ
このカテゴリには 18 ページが含まれており、そのうち以下の 18 ページを表示しています。
*
論理和の導入
か
仮言三段論法
き
吸収法則
す
論理和の消去
論理積の消去
せ
選言三段論法
た
対偶 (論理学)
と
同一性
導出原理
ド・モルガンの法則
に
二重否定の除去
は
パースの法則
排中律
背理法
ふ
フレーゲの定理
む
無矛盾律
も
モーダストレンス
モーダスポネンス
カテゴリ
:
命題論理
数学の定理