コンテンツにスキップ
論理計算機
計算機
合成
学ぶ
用語集
練習
テーマを選択:
システム
言語を選択:
🇯🇵
日本語
メニュー
計算機
合成
学ぶ
用語集
練習
テーマ
テーマを選択:
システム
言語
言語を選択:
🇯🇵
日本語
←
演習に戻る
0:00
難易度:
初級
カテゴリ:
命題論理
タイプ:
式入力
次の文を論理記号を使って表しなさい:
「雨が降れば、地面は濡れる」
使用する記号:
R
は「雨が降る」を表す
W
は「地面が濡れる」を表す
→
は含意を表す
計算機で利用可能な記号を使って答えを入力してください。
論理式
挿入:
∧ かつ
∨ または
¬ 否定
→ ならば
↔ 同値
⊤ 真
⊥ 偽
(
)
ヘルプを表示
クリア
ヒントを取得
ここからトレーニングを開始
提出
理論を学ぶ
この練習問題で扱う内容を解説しているガイドです。
論理学入門
→
論理の研究、その分野、歴史的背景、さまざまな分野での応用についての包括的な入門。
言語学における論理
→
合成意味論と量化から前提、様相性、計算言語学まで、形式論理が自然言語の構造と意味をどのように照らすかを発見します。
関連する演習
難易度:
初級
カテゴリ:
命題論理
タイプ:
式入力
次の文を論理記号を使って表現しなさい: 「晴れていて暖かい」 使用する記号: - S は「晴れている」を表す - W は「暖かい」を表す - &…
難易度:
初級
カテゴリ:
命題論理
タイプ:
式入力
次の文を論理記号を使って表しなさい: 「私は数学または物理を勉強する」 使用する記号: - M は「私は数学を勉強する」 - P は「私は物理を勉強する」 -…
難易度:
初級
カテゴリ:
命題論理
タイプ:
式入力
次の文を論理記号を使って表しなさい: 「雨は降っていない」 使用する記号: - R は「雨が降っている」を表す - ! は否定(not)を表す…
難易度:
初級
カテゴリ:
命題論理
タイプ:
式入力
次の文を論理記号を用いて表現しなさい: 「アラームが鳴るのは、動きが検知されるときかつそのときに限る」 使用する記号: - A は「アラームが鳴る」を表す -…
←
前へ
前提が以下のように与えられている: 1. P → Q 2. R → S 3. P ∨ R 証明せよ: Q ∨ S
難易度:
上級
カテゴリ:
論理等価性
タイプ:
証明
次へ
→
双条件演算子(↔)が真を返すのは、次のうちどれが最もよく説明していますか?
難易度:
中級
カテゴリ:
命題論理
タイプ:
選択問題