相対性理論を学びたい人のために

まだ一度も相対性理論を勉強したことのない人は、何か一冊相対性理論の本を読みかじってみて、なぜこんなことが?という、疑問を持ってからこのブログに来てください。

述語論理で一苦労

現在2006年2月10日3時41分です。

今日も述語論理の復習をしていました。否定記号と∀の交換の証明で苦労し「現代論理学」の助けを借りました。

現在2006年2月10日3時46分です。おしまい。