2019-08-04から1日間の記事一覧
2019年5月13日のコメントペーパーより。レジュメは古典命題論理。 コメント:コメントペーパーの回答で、論理式は計算できるということに驚きました。じっさいにソフトのようなもので論理式を計算する人はいるのでしょうか?また、いるならばコンピュータの…
2019年5月13日のコメントペーパーより。レジュメは古典命題論理。 コメント:コメントペーパーの回答で、論理式は計算できるということに驚きました。じっさいにソフトのようなもので論理式を計算する人はいるのでしょうか?また、いるならばコンピュータの…