• 数学
  • 経済学
  • 情報
  • 思想
  • ブログ
  • ワイズについて
メニュー
    検索
    ログイン

    会員登録

    述語論理

    1. トップ
    2. 数学
    3. 論理
    • 論理

    1. 論理式

    読む

    • 述語論理
    • 議論領域
    • 原子論理式
    • 論理式
    • 部分論理式
    • 閉論理式・開論理式

    解く

    • 演習問題

    2. 論理式の解釈

    読む

    • 原子論理式の値
    • 否定の値
    • 論理積の値
    • 論理和の値
    • 排他的論理和の値
    • 含意の値
    • 同等の値
    • 全称命題の値
    • 存在命題の値
    • 論理式の解釈

    解く

    • 演習問題

    3. 恒真式

    読む

    • 恒真式
    • 必要条件と十分条件
    • 必要十分条件

    解く

    • 命題の証明
    • 演習問題

    4. 同値変形の法則

    読む

    • ベキ等律
    • 交換律
    • 結合律
    • 分配律
    • 吸収律
    • ド・モルガンの法則
    • 零元・単位元としての命題定数
    • 矛盾律
    • 排中律
    • 二重否定
    • 論理演算の同値表現
    • 移出律と移入律
    • 対偶律
    • 量化記号と否定
    • 量化記号と論理積
    • 量化記号と論理和
    • 量化記号の置換

    解く

    • 命題の証明
    • 演習問題

    5. 推論

    読む

    • 推論規則
    • 含意除去
    • 含意導入
    • 連言導入
    • 連言除去
    • 選言導入
    • 選言除去
    • 二重否定導入
    • 二重否定除去
    • 否定導入
    • 否定除去
    • 後件否定
    • 選言三段論法
    • 仮言三段論法
    • 構成的ジレンマ
    • 破壊的ジレンマ
    • 存在導入
    • 存在除去
    • 全称除去
    • 全称導入

    解く

    • 命題の証明
    • 演習問題

    6. 証明

    読む

    • 証明
    • 条件付き証明

    解く

    • 命題の証明
    • 演習問題
    • 論理

    LEARN MORE

    さらに深く学びたい人のための会員サービス

    会員登録 >

    有料会員には様々な特典があります。理解を深めるための演習問題と解答の閲覧、テキストに登場した命題の証明の閲覧、演習や証明に関する質問の投稿など。

    よくあるご質問 >

    皆さまからよく頂く質問への回答をまとめました。こちらに解決方法が見つからない場合にはお問い合わせください。

    • ワイズ
    • MAIL. info@wiis.info
    • URL. https://wiis.info

    論理

    • 命題論理
    • 述語論理

    集合

    • 集合
    • 関係
    • 写像
    • 集合の濃度

    実数

    • 実数の定義
    • 数列
    • 位相
    • 関数

    微分積分

    • 関数の微分

    線型代数

    • 行列式

    ゲーム理論

    • ゲーム
    • 完備情報の静学ゲーム
    • ゲームの例

    思想

    • プラトン

    ナレッジ

    • お知らせ
    • ブログ

    お問い合わせ

    • お問合わせ
    • よくあるご質問

    個人情報保護方針

    特定商取引法に基づく表示

    Copyright 2020 - WIIS. All Rights Reserved.