Konsistensi (logika)

Konsistensi dalam ilmu logika adalah teori konsistensi merupakan sebuah sematik dengan sematik yang lainnya tidak mengandung kontradiksi. Tidak adanya kontradiksi dapat diartikan baik dalam hal semantik atau berhubung dgn 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 dgn pengertian sintaksis yang menyatakan bahwa sebuah teori yang konsisten jika tidak terdpat rumus P seperti yang kedua P dan penyangkalan adalah pembuktian dari axioma dari teori yang terkait di bawah sistem deduktif.

Written by Mister

We are Creative Blogger Theme Wavers which provides user friendly, effective and easy to use themes. Each support has free and providing HD support screen casting.