Konsistensi (logika)
Tampilan
Artikel ini perlu diwikifikasi agar memenuhi standar kualitas Wikipedia. Anda dapat memberikan bantuan berupa penambahan pranala dalam, atau dengan merapikan tata letak dari artikel ini.
Untuk keterangan lebih lanjut, klik [tampil] di bagian kanan.
|
Konsistensi dalam ilmu logika adalah teori konsistensi merupakan sebuah semantik dengan semantik yang lainnya tidak mengandung kontradiksi. Tidak adanya kontradiksi dapat diartikan baik dalam hal semantik atau berhubung dengan sintaksis. Definisi semantik yang menyatakan bahwa sebuah teori yang konsisten jika ia memiliki model; ini digunakan dalam arti logika tradisional Aristoteles walaupun dalam logika matematika kontemporer terdapat istilah satisfiable yang digunakan. Berhubungan dengan pengertian sintaksis yang menyatakan bahwa sebuah teori yang konsisten jika tidak terdapat rumus P seperti yang kedua P dan penyangkalan adalah pembuktian dari aksioma dari teori yang terkait di bawah sistem deduktif.
Referensi
[sunting | sunting sumber]- The Cambridge Dictionary of Philosophy, consistency
- H.D. Ebbinghaus, J. Flum, W. Thomas, Mathematical Logic
- Jevons, W.S., Elementary Lessons in Logic, 1870