小野寛晰『情報科学における論理』の読書ノート。なるべく練習問題も解いてく。（→前回） 第2章 述語論理（承前） 古典述語論理の形式体系LK 推論規則 古典命題論理での推論規則に加えて次の推論規則を持つ。なお は論理式、 は論理式の列、 は任意の項、 は…

自分用の作業記録。 CentOS 7.9 (2009) Oracle Database Express Edition Release 18.4.0.0.0 仮想マシン構成 メモリ: 4096 MB ストレージ: 16 GB VDI (Dynamically allocated) ネットワーク1: NAT ネットワーク2: Host-only Adapter (DHCP disabled) Oracle…