命題論理
命題論理(めいだいろんり、Propositional Logic、PL)
命題の内容ではなくその真偽のみに注目し，真偽に関する法則を研究する分野である
命題は真(true)、偽(false)で判断できるもの 「3はいい数字だ」
真偽がはっきりしないため命題とは言えない
真の命題
「10は素数である」
偽の命題
命題論理の場合は、∧、∨、¬、⊥、→、↔の論理結合子が出てくる 論理記号(logical symbol)は言葉の範囲が大きすぎると思うので、論理演算子(logical operator)、論理結合子(logical connective)を使った方が良いとは思う
論理結合子(logical connective)、論理演算子(logical operator)
∧
連言、かつ
and、conjunction
∨
選言、または
or、disjunction
¬
否定、でない
not、negation
→
if ... then ...、implication
↔
双条件、Aの場合かつこの場合に限りB(if and only if; iff)、同値、同等、等値 equivalence、bi-implication
⊥
矛盾する
falsity、falsum、absurdum
確認用
Q. 命題
Q. 命題論理
Q. 含意の真理値表
関連
参考
メモ
1989