コンテンツにスキップ
論理計算機
計算機
合成
学ぶ
練習
テーマを選択:
システム
言語を選択:
🇯🇵
日本語
メニュー
計算機
合成
学ぶ
練習
テーマ
テーマを選択:
システム
言語
言語を選択:
🇯🇵
日本語
←
演習に戻る
0:00
中級
論理等価性
証明完成
次の背理法による証明を完成させなさい:
P → Q (前提)
P (前提)
¬Q (前提)
_____ (?)
_____ (?)
目標: 矛盾を導出する
P → Q, P, ¬Q ⊢ ⊥
目標: ?を証明する
空白のフィールドをクリックして証明を入力してください
ヒントを取得
ここからトレーニングを開始
提出
理論を学ぶ
この練習問題で扱う内容を解説しているガイドです。
数学における論理
→
証明技法と数学的帰納法から集合論、量化子、数学的真理の哲学まで、論理が数学の基礎をどのように形成するかを理解します。
哲学における論理
→
論理の哲学、様相システム、論証分析、パラドックス、論理的真理の本質を含む、論理と哲学の深い関係を探求します。
関連する演習
難易度:
上級
カテゴリ:
論理等価性
タイプ:
証明完成
以下の証明を完成させなさい: 1. P ↔ Q (前提) 2. Q ↔ R (前提) 3. P (前提) 4. _ (?) 5. _ (?) 目標: R…
難易度:
中級
カテゴリ:
論理等価性
タイプ:
証明
前提が以下の場合: 1. P → Q 2. P 証明せよ: Q
難易度:
中級
カテゴリ:
論理等価性
タイプ:
証明
次の前提が与えられたとき: 1. P → Q 2. ¬Q 証明せよ: ¬P
難易度:
中級
カテゴリ:
論理等価性
タイプ:
証明
前提が与えられています： 1. P → Q 2. Q → R 証明せよ：P → R
←
前へ
以下の証明を完成させなさい: 1. P → Q (前提) 2. Q → R (前提) 3. P (前提) 4. _ (?) 5. _ (?) 目標: R…
難易度:
中級
カテゴリ:
論理等価性
タイプ:
証明完成
次へ
→
場合分けを使って以下の証明を完成させなさい: 1. P ∨ Q (前提) 2. P → R (前提) 3. Q → R (前提) 4. Case 1: P…
難易度:
上級
カテゴリ:
論理等価性
タイプ:
証明完成
