Daftar Isi
6 hubungan: Filsafat, Ilmu komputer, Kalkulus proposisional, Linguistik, Matematika, Proposisi.
Filsafat
filsuf Yunani terkemuka pada latar ruangan indah yang terinspirasi karya-karya arsitektur Yunani Kuno. Filsafat, falsafah, atau filosofi (berakar dari kata Yunani φιλοσοφία, filosofia, arti "cinta akan hikmat" (tidak lagi berfungsi)) adalah metodologi yang mengkaji pertanyaan-pertanyaan umum dan asasi, misalnya pertanyaan-pertanyaan tentang eksistensi, penalaran, nilai-nilai luhur, akal budi, dan bahasa.
Lihat Logika predikat tingkat pertama dan Filsafat
Ilmu komputer
Ilmu komputer (Computer Science), Secara umum diartikan sebagai ilmu yang mempelajari baik tentang komputasi, perangkat keras (hardware) maupun perangkat lunak (software).
Lihat Logika predikat tingkat pertama dan Ilmu komputer
Kalkulus proposisional
Kalkulus proposisional adalah sistem formal untuk menyatakan rumus proposisi dan membuktikannya dengan cara menggabungkan rumus atomik dan operator logika.
Lihat Logika predikat tingkat pertama dan Kalkulus proposisional
Linguistik
Linguistik (serapan dari linguistikus) atau ilmu bahasa (gabungan dari ilmu + bahasa) adalah ilmu yang mempelajari tentang bahasa.
Lihat Logika predikat tingkat pertama dan Linguistik
Matematika
Tidak ada perupaan atau penjelasan tentang wujud fisik Euklides yang dibuat selama masa hidupnya yang masih bertahan dari zaman kuno. Oleh karena itu, penggambaran Euklides di dalam karya seni bergantung pada daya khayal seniman (''lihat Euklides''). Matematika, adalah bidang ilmu, yang mencakup studi tentang topik-topik seperti bilangan (aritmetika dan teori bilangan), rumus dan struktur terkait (aljabar), bangun dan ruang tempat mereka berada (geometri), dan besaran serta perubahannya (kalkulus dan analisis).
Lihat Logika predikat tingkat pertama dan Matematika
Proposisi
Proposisi (serapan dari propositie) adalah istilah yang digunakan untuk kalimat pernyataan yang memiliki arti penuh dan utuh.
Lihat Logika predikat tingkat pertama dan Proposisi
Juga dikenal sebagai Logika predikat.