論理変数と論理式

論理学１で命題とはなにかを勉強しました。命題をＡ，Ｂ，Ｃなどの文字で表すときこれらを論理変数といい、それらを含んだ式を論理式または命題論理式といいます。 例えば Ａ and not Ｂ or (Ｃ imp Ａ) xor Ａ のようなものです。これもまた命題です。 論理学１では真を表すＴと偽を表すＦだけを含んだ論理式を紹介しました。ＴやＦも上のような論理式に含ますこともできます。 例 Ａ or Ｂ and (Ａ imp Ｔ) or Ｆ この場合Ｔは恒に真である特別の命題と考えます。そして恒真命題（tautology)といいます。また Ｆは恒偽命題です。これらは真理値が決まっていて変化しませんので、論理定数ということもあります。ＴやＦは論理変数と間違える恐れがある時はＴの代わりに True や １ を， Ｆの代わりに False や ０を使うこともあります。 論理式の演算順序は「論理学１