2006-02-10 述語論理で一苦労 今日の科学 現在2006年2月10日3時41分です。 今日も述語論理の復習をしていました。否定記号と∀の交換の証明で苦労し「現代論理学」の助けを借りました。 現在2006年2月10日3時46分です。おしまい。