24/05/03 18:02:17.69 FFwiPlOw.net
まず論理を仮定する。
定理0 語の意味領域を常に参照して構わない。
証明
自明
もし出来ないのであれば、文字が定義できない、文章が意味を為さない。
また￢AはAの意味領域と排反なものと定義する。
すなわちA∧￢A=φである。
系0.1 命題及び命題の各語の前提、構成要件、定義は常に参照して真として使って構わない
証明
前提、構成要件、定義が真である事が命題に使われる各語の意味領域に含まれる為である。
24/05/03 18:02:17.69 FFwiPlOw.net
まず論理を仮定する。
定理0 語の意味領域を常に参照して構わない。
証明
自明
もし出来ないのであれば、文字が定義できない、文章が意味を為さない。
また￢AはAの意味領域と排反なものと定義する。
すなわちA∧￢A=φである。
系0.1 命題及び命題の各語の前提、構成要件、定義は常に参照して真として使って構わない
証明
前提、構成要件、定義が真である事が命題に使われる各語の意味領域に含まれる為である。