MathEigo f : 日本語 → English メニュー

この用語はまだ監査を通っていません(未確認)。日英の対応や例文が米国の教室の言い方と合っているか、確認中です。

この用語はまだ監査を通っていません(未確認)。

真理値表

しんりちひょう 1対1で対応

truth table

名詞 ・書き言葉・答案

式と読み方

pqp∧qTTTTFFFTFFFF\begin{array}{cc|c} p & q & p \land q \\ \hline T & T & T \\ T & F & F \\ F & T & F \\ F & F & F \end{array}

p, q, p and q: true, true, true; true, false, false; false, true, false; false, false, false

定義

もとになる命題の真偽のすべての組み合わせを行に並べ、それぞれについて全体の命題の真偽を書いた表のこと。

A table that lists every combination of truth values for the component statements and shows the truth value of the whole statement in each row.

例文

話し言葉 With two statements you need four rows in your truth table, and with three statements you need eight. 命題が 2 つなら真理値表は 4 行、3 つなら 8 行必要だよ。
書き言葉・答案 Make a truth table for p ∨ ¬q. p ∨ ¬q の真理値表を作れ。

言い間違えやすいところ

  • 日本の数I では命題の真偽を集合の包含関係(ベン図)で調べ、真理値表は使わない。
  • 表の T / F は true / false と読む。行の数はもとの命題が n 個なら 2ⁿ 行。
  • 用例コーパスで truth table は話し言葉では少なく(MIT OCW)、書き言葉はすべて MIT の講義ノート。CK-12 Geometry では 35 件(2.8 Truth Tables ほか)、Levin の本では 74 件。

根拠の件数

話し言葉計 3

  • truth table3

書き言葉計 20

  • truth table20

米国の講義の書き起こし・字幕(話し言葉)と教科書・講義ノート(書き言葉)で、言い方ごとに数えた回数です。語形変化はまとめ、「…」は 1〜3 語の空き。「数えていない」はその側では数えていないことを示します。

取得元と数えた日
取得元(話し言葉)
MIT OCW 6.042 Mathematics for Computer Science
取得元(書き言葉)
MIT OCW lecture notes
数えた日