はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28

「∧」はこの項目へ転送されています。類似字形のダイアクリティカルマークについては「サーカムフレックス」を、校正記号については「キャレット」を、ギリシア文字の「ラムダ」については「Λ」をご覧ください。 数理論理学において論理積（ろんりせき、英: logical conjunction）とは、与えられた複数の命題のいずれもが例外なく真であることを示す論理演算である。合接（ごうせつ）、連言（れんげん、れんごん）とも呼び、ANDとよく表す。 二つの命題 P, Q に対する論理積を P ∧ Q と書き、「P かつ Q」や「P そして Q」などと読む。また P ∧ Q の形をした命題を連言命題（conjunctive proposition）、その中に現れる命題 P や Q を連言肢（conjunct）という[1]。 ベン図による 論理積 の表現

P ∨ Q のベン図による表現 数理論理学において論理和（ろんりわ、英: logical disjunction）とは、与えられた複数の命題のいずれか少なくとも一つが真であることを示す命題を作る論理演算である。離接（りせつ）、選言（せんげん）とも呼ぶ。 二つの命題 P, Q に対する論理和は記号 ∨ を用いて P ∨ Q と表せる。この記号はラテン語で（非排他的）論理和を意味する vel の頭文字に由来する[1]。また P ∨ Q の形をした命題を選言命題（disjunctive proposition）、その中に現れる命題 P や Q を選言肢（disjunct）という[2]。 「私の身長は 160 cm 以上である」 「私の体重は 50 kg 以上である」 の二つの命題の論理和は、 「私の身長は 160 cm 以上か、または、私の体重は 50 kg 以上である」 となる。この論理和が真