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