コンテンツにスキップ
論理計算機
計算機
合成
学ぶ
練習
テーマを選択:
システム
言語を選択:
🇯🇵
日本語
メニュー
計算機
合成
学ぶ
練習
テーマ
テーマを選択:
システム
言語
言語を選択:
🇯🇵
日本語
←
演習に戻る
0:00
初級
命題論理
式評価
次の式を評価しなさい:
P ∧ Q
ただし P = 真 かつ Q = 真
P ∧ Q where P = ⊤, Q = ⊤
⊤ (true)
⊥ (false)
undefined
ヒントを取得
ここからトレーニングを開始
提出
理論を学ぶ
この練習問題で扱う内容を解説しているガイドです。
論理学入門
→
論理の研究、その分野、歴史的背景、さまざまな分野での応用についての包括的な入門。
プログラミングにおける論理
→
ブール論理、演算子、論理的推論がコードを書くために不可欠であることを学びます。制御フローと条件文からプログラムの検証とテストまで。
関連する演習
難易度:
中級
カテゴリ:
命題論理
タイプ:
式評価
次の式を評価しなさい:P → Q ただし P = 真 かつ Q = 偽
難易度:
中級
カテゴリ:
命題論理
タイプ:
式評価
次の論理式を評価しなさい:(P ∧ Q) ∨ R ただし、P = 真、Q = 偽、R = 真 とする
難易度:
上級
カテゴリ:
命題論理
タイプ:
式評価
次の論理式を評価しなさい: ¬P ↔ (Q → R) ただし、P = 偽、Q = 真、R = 偽 とする
難易度:
初級
カテゴリ:
命題論理
タイプ:
式入力
次の文を論理記号を使って表しなさい: 「雨が降れば、地面は濡れる」 使用する記号: - R は「雨が降る」を表す - W は「地面が濡れる」を表す - ->…
←
前へ
与えられた前提から¬Pを証明するために、以下のステップを正しい順序に並べてください。 利用可能なステップ: - Q → R (前提) - ¬R (前提) -…
難易度:
上級
カテゴリ:
論理等価性
タイプ:
ドラッグ&ドロップ証明
次へ
→
次の式を評価してください: P ∨ Q ただし P = 偽 かつ Q = 真
難易度:
初級
カテゴリ:
命題論理
タイプ:
式評価