isih konsisten cepak-cepak nggo sedulur

Mangga sedulur sing arep komen iki dalane, Konsistensi ing babagan logika minangka teori yen konsistensi minangka semantik karo sematik liyane sing ora ngemot kontradiksi. Anane kontradiksi bisa ditafsirake kanthi cara semantik utawa saka segi sintaksis. Definisi semantik sing nyatakake yen teori konsisten yen duwe model; digunakake ing pangertene tradisional logika Aristotelian, sanajan ing logika matematika kontemporer, istilah satisfiable digunakake. Gegayutan karo pamanggih sintaksis sing negesake yen teori konsisten yen ora ana formula P kayata P nomer loro lan refutasi minangka bukti aksioma teori sing ana gandhengane ing sistem deduktif.

Dene tembng logika asale saka tembung Yunani kuno λόγος (logo) sing tegese asil pertimbangan pikiran sing ditulis liwat tembung lan ditulis nganggo basa. Logika minangka cabang filsafat. Minangka ilmu, logika diarani logike episteme (basa Latin: logica scientia) utawa ilmu logika (science) sing nyinaoni kaprigelan mikir kanthi lurus, tepat, lan tertib. Ilmu ing kene nuduhake katrampilan rasional kanggo ngerti lan katrampilan nuduhake kemampuan pikiran kanggo nindakake ilmu. Tembung logis sing digunakake bisa ditafsirake kanthi arti.