This site will be taken down March 31st, 2026.

This was not an easy decision to make. For the last couple years, I have been struggling to find motivation for this site and to keep up with basic maintenance and security updates. With the rise of AI and more sophisticated tools, the usefulness of sites like this is questionable and traffic has nose-dived. I just don't have it in me to keep doing this. Thank you all for 10 years of support!

Zach

命題論理

Reading

Kana: めいだいろんり
Romaji: meidaironri
Kana
Romaji

Definition

1

propositional logic

See also: 述語論理

Kanji

Readings: メイ、 ミョウ、 いのち
Meanings: fate, command, decree, destiny, life, appoint
Reading: ダイ
Meanings: topic, subject
Reading: ロン
Meanings: argument, discourse
Readings: リ、 ことわり
Meanings: logic, arrangement, reason, justice, truth