論理学の記号化についての質問です。

質問

論理学の記号化についての質問です。
私は大学生で、大学で論理学を勉強しています。
授業において、次の文を記号化せよという課題が出されましたが、よくわからないのでここで質問させて頂きます。考え方のヒントを与えていただけると幸いです。

「もし、地下鉄がストライキを行った場合、バスが運行していれば、それを利用するが、そうでなければ自転車で行く。」

回答No.1

ecoas · ベストアンサー

記号論理学ですね。
リンク先を参考にしてみてください。

参考URL：

http://www.sist.ac.jp/~suganuma/kougi/other_lecture/SE/math/logic/logic.htm