41 cards · basic cards · AI-written, checked twice. Edit anything.
- 命題とは何ですか?
Show answer
真か偽のいずれか一方である、平叙文の主張。- 真理値とは何ですか?
Show answer
真であるか偽であるかという性質。- 論理における連言(AND)を定義してください。
Show answer
pとqの両方が真であるときに限り、p AND qが真となる論理演算。- 論理における選言(OR)を定義してください。
Show answer
pまたはqの少なくとも一方が真であるときに、p OR qが真となる論理演算。- 論理における否定(NOT)を定義してください。
Show answer
pの真理値を反転させる論理演算、NOT p。- 条件文とは何ですか?
Show answer
pが真でqが偽であるときに限り偽となる文、p IMPLIES q。- 双条件文とは何ですか?
Show answer
pとqが同じ真理値を持つときに真となる、pであるのはqであるとき、かつそのときに限る(p IFF q)という文。- p IMPLIES qの逆とは何ですか?
Show answer
q IMPLIES pという文。- p IMPLIES qの裏とは何ですか?
Show answer
(NOT p) IMPLIES (NOT q)という文。- p IMPLIES qの対偶とは何ですか?
Show answer
(NOT q) IMPLIES (NOT p)という文。- トートロジーとは何ですか?
Show answer
あらゆる可能な解釈や真理値の割り当てのもとで真となる命題。- 矛盾(contradiction)とは何ですか?
Show answer
あらゆる可能な解釈や真理値の割り当てのもとで偽となる命題。- 偶然命題(contingency)とは何ですか?
Show answer
ある解釈では真、別の解釈では偽となる命題。- 連言に関するド・モルガンの法則を述べてください。
Show answer
NOT (p AND q)は論理的に(NOT p) OR (NOT q)と同値である。- 選言に関するド・モルガンの法則を述べてください。
Show answer
NOT (p OR q)は論理的に(NOT p) AND (NOT q)と同値である。
FlashKeepers