Penggunaan Komputasi Numerik dengan Bahasa Fortran dalam Solusi Masalah Silogisme yang Bersifat Simbolik dan Contoh Penerapannya dalam Fisika

Author: 
Arief Hermanto
Abstrak: 

Penentuan validitas silogisme merupakan persoalan yang bersifat simbolik. Dalam buku ajar biasanya digunakan metode diagram dengan cara manual. Dalam makalah ini kami membahas penyusunan program komputer dalam bahasa Fortran yang dapat menentukan solusi masalah ini secara numerik. Selanjutnya disajikan juga sebuah contoh penerapannya dalam fisika (pada khususnya teori kuantum).