まつもとひの投稿記録
利用者の編集は50回。 2018年8月22日 (水)にアカウント作成。
2018年8月22日 (水)
- 14:222018年8月22日 (水) 14:22 差分 履歴 +33 Category:形式体系 編集の要約なし
- 14:022018年8月22日 (水) 14:02 差分 履歴 +32 m タブローの方法 Category:自動定理証明を追加 (HotCat使用)
- 14:012018年8月22日 (水) 14:01 差分 履歴 +32 m 導出原理 Category:自動定理証明を追加 (HotCat使用)
- 13:592018年8月22日 (水) 13:59 差分 履歴 +32 m シークエント計算 Category:自動定理証明を追加 (HotCat使用)
- 13:142018年8月22日 (水) 13:14 差分 履歴 +32 m F* (プログラミング言語) Category:自動定理証明を追加 (HotCat使用)
- 13:132018年8月22日 (水) 13:13 差分 履歴 +32 m DPLLアルゴリズム Category:自動定理証明を追加 (HotCat使用)
- 13:102018年8月22日 (水) 13:10 差分 履歴 +32 m デービス・パトナムのアルゴリズム Category:自動定理証明を追加 (HotCat使用)
- 13:082018年8月22日 (水) 13:08 差分 履歴 +5 自動推論 category
- 13:052018年8月22日 (水) 13:05 差分 履歴 +32 m ユニフィケーション Category:自動定理証明を追加 (HotCat使用)
- 13:042018年8月22日 (水) 13:04 差分 履歴 +32 Category:定理証明ソフトウェア category 最新
- 13:032018年8月22日 (水) 13:03 差分 履歴 +324 N Category:自動定理証明 ←新しいページ: 「自動定理証明に関するカテゴリ。 {{DEFAULTSORT:しとうていりしようめい}} Category:電子計算の数学 Category:理論…」
- 12:572018年8月22日 (水) 12:57 差分 履歴 +34 自動定理証明 category
- 12:552018年8月22日 (水) 12:55 差分 履歴 +12 m 導出原理 Category:論理学を除去; Category:命題論理の定理を追加 (HotCat使用)
- 12:392018年8月22日 (水) 12:39 差分 履歴 +35 二重否定の除去 category
- 12:312018年8月22日 (水) 12:31 差分 履歴 +29 パースの法則 category
- 12:292018年8月22日 (水) 12:29 差分 履歴 +65 パースの法則 category
- 12:192018年8月22日 (水) 12:19 差分 履歴 +6 m モーダストレンス Category:哲学の概念を除去; Category:命題論理の定理を追加 (HotCat使用)
- 12:182018年8月22日 (水) 12:18 差分 履歴 +6 m モーダスポネンス Category:哲学の概念を除去; Category:命題論理の定理を追加 (HotCat使用)
- 12:122018年8月22日 (水) 12:12 差分 履歴 +35 m 無矛盾律 Category:命題論理の定理を追加 (HotCat使用)
- 12:112018年8月22日 (水) 12:11 差分 履歴 +5 m 同一性 Category:インタフェースを除去; Category:アイデンティティを追加 (HotCat使用)
- 12:092018年8月22日 (水) 12:09 差分 履歴 +9 m 同一性 Category:命題論理を除去; Category:命題論理の定理を追加 (HotCat使用)
- 12:062018年8月22日 (水) 12:06 差分 履歴 +6 m 排中律 Category:批判的思考を除去; Category:命題論理の定理を追加 (HotCat使用)
- 12:062018年8月22日 (水) 12:06 差分 履歴 −29 m 排中律 Category:数学的思考を除去 (HotCat使用)
- 12:032018年8月22日 (水) 12:03 差分 履歴 +35 m 仮言三段論法 Category:命題論理の定理を追加 (HotCat使用)
- 12:012018年8月22日 (水) 12:01 差分 履歴 +35 フレーゲの定理 category
- 11:572018年8月22日 (水) 11:57 差分 履歴 +9 m 適切さの論理 Category:論理学を除去; Category:部分構造論理を追加 (HotCat使用)
- 11:552018年8月22日 (水) 11:55 差分 履歴 +31 線形論理 category
- 11:552018年8月22日 (水) 11:55 差分 履歴 +175 N Category:部分構造論理 ←新しいページ: 「部分構造論理に関するカテゴリ。 {{DEFAULTSORT:ふふんこうそうろんり}} Category:証明論 Category:形式体系 Catego…」
- 11:502018年8月22日 (水) 11:50 差分 履歴 +60 分配法則 category
- 11:482018年8月22日 (水) 11:48 差分 履歴 +26 選言三段論法 category
- 11:452018年8月22日 (水) 11:45 差分 履歴 +34 部分構造論理 category
- 11:012018年8月22日 (水) 11:01 差分 履歴 +35 適切さの論理 category
- 10:592018年8月22日 (水) 10:59 差分 履歴 −29 m グレアム・プリースト Category:非古典論理を除去 (HotCat使用)
- 10:582018年8月22日 (水) 10:58 差分 履歴 +35 グレアム・プリースト category
- 10:562018年8月22日 (水) 10:56 差分 履歴 +35 ジャン＝イヴ・ベジオ →外部リンク
- 10:542018年8月22日 (水) 10:54 差分 履歴 +37 矛盾許容論理 category
- 10:532018年8月22日 (水) 10:53 差分 履歴 +30 N 矛盾許容型論理 ←矛盾許容論理へのリダイレクト 最新 タグ: 新規リダイレクト
- 10:532018年8月22日 (水) 10:53 差分 履歴 +206 N Category:矛盾許容型論理 ←新しいページ: 「矛盾許容型論理に関するカテゴリ。 {{デフォルトソート:むしゆんきようかたろんり}} Category:形式体系 Categor…」 最新
- 10:502018年8月22日 (水) 10:50 差分 履歴 +18 論理和の導入 ±Category:命題論理→Category:命題論理の定理; ±Category:古典論理→Category:矛盾許容型論理 (HotCat使用)
- 10:392018年8月22日 (水) 10:39 差分 履歴 −19 論理和の消去 category
- 10:372018年8月22日 (水) 10:37 差分 履歴 +35 ド・モルガンの法則 category
- 10:362018年8月22日 (水) 10:36 差分 履歴 +35 対偶 (論理学) category
- 10:352018年8月22日 (水) 10:35 差分 履歴 −28 m 論理積の消去 Category:命題論理を除去 (HotCat使用)
- 10:342018年8月22日 (水) 10:34 差分 履歴 +9 m 論理積の消去 Category:古典論理を除去; Category:命題論理の定理を追加 (HotCat使用)
- 10:332018年8月22日 (水) 10:33 差分 履歴 +35 吸収法則 category
- 10:322018年8月22日 (水) 10:32 差分 履歴 +26 選言三段論法 まつもとひ (会話) による ID:69672077 の版を取り消し タグ: 取り消し
- 10:312018年8月22日 (水) 10:31 差分 履歴 −26 m 選言三段論法 Category:推論規則を除去 (HotCat使用)
- 10:312018年8月22日 (水) 10:31 差分 履歴 +144 N Category:命題論理の定理 ←新しいページ: 「命題論理の定理に関するカテゴリ。 ていり めいたいろんり」
- 10:292018年8月22日 (水) 10:29 差分 履歴 +35 選言三段論法 category
- 10:272018年8月22日 (水) 10:27 差分 履歴 0 選言三段論法 category
