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