形式論理学 トートロジー・真理関数・シェファーの棒記号【形式論理学2‐2】
形式論理学についての解説の記事です。トートロジー、真理関数、シェファーの棒記号について解説します。トートロジートートロジー（tautology）とは、どのような命題の真偽値においても常に「真」である論理式を指します。命題論理におけるトートロ...
分配律
形式論理学 
力学 位置の記述【力学5】
物理学の学び直しのための記事です．ここでは空間内の位置の記述について解説します．位置の記述運動について研究するためには，まずは対象である物体の位置を記述する必要があります．位置は，三次元空間において基準点を定めて空間座標を設定し，3つの数か...
形式論理学 トートロジー【形式論理学6】
数学の学び直しのための記事です．本記事では，トートロジーについて考察します．トートロジートートロジーとは，原子命題の真偽に関わらず，真理値が\(1\)となる命題です．恒真命題ともいい，命題記号として\(\top\)を用います．トートロジーは...
解析学 四則演算の法則【解析学2】
実数の四則演算が満たす法則について説明します．実数の四則演算では，下記のような一見当たり前にみえる法則を満たします．交換法則実数の和と積に関して，順序を入れ替えることができます．\(a, b \in \mathbb{R}, a + b = ...