Ditemukan 1 dokumen yang sesuai dengan query
Siti Aminah, author
Logka proposisi dan logika predikat merupakan bahasa dalam matematika yang tujuan utamanya merumuskan argumentasi dalam logika matematik dengan simbol-simbol. Dalam tugas akhir ini dibanas aturan sintetik dan aturan semantik dari masing-masing bahasa itu dan metoda penentuan keabsahan kalimat-kalimat dalam kedua bahasa itu...
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 1988
S-Pdf
UI - Skripsi Membership Universitas Indonesia Library
