Isi

• Konsisten

  
  

  Dalam logika deduktif klasik, teori yang konsisten adalah teori yang tidak mengandung kontradiksi. Kurangnya kontradiksi dapat didefinisikan dalam istilah semantik atau sintaksis. Definisi semantik menyatakan bahwa sebuah teori konsisten jika dan hanya jika ia memiliki model, yaitu, ada interpretasi di mana semua formula dalam teori itu benar. Ini adalah pengertian yang digunakan dalam logika tradisional Aristoteles, meskipun dalam logika matematika kontemporer istilah yang lebih baik digunakan sebagai gantinya. Definisi sintaksis menyatakan teori T { displaystyle T} konsisten jika dan hanya jika tidak ada rumus φ { displaystyle varphi} sedemikian rupa sehingga baik φ { displaystyle varphi} dan negasinya ¬ φ { displaystyle lnot varphi} adalah elemen dari himpunan T { displaystyle T}. Biarkan A { displaystyle A} menjadi satu set kalimat tertutup (informal "aksioma") dan ⟨A⟩ { displaystyle langle A rangle} set kalimat tertutup yang dapat dibuktikan dari A { displaystyle A} di bawah beberapa (ditentukan, mungkin secara implisit) sistem deduktif formal. Himpunan aksioma A { displaystyle A} konsisten ketika ⟨A⟩ { displaystyle langle A rangle} adalah. Jika ada sistem deduktif yang definisi semantik dan sintaksis ini setara untuk setiap teori yang dirumuskan dalam deduktif tertentu logika, disebut logika lengkap. Kelengkapan kalkulus sentensial dibuktikan oleh Paul Bernays pada tahun 1918 dan Emil Post pada tahun 1921, sedangkan kelengkapan kalkulus predikat dibuktikan oleh Kurt Gödel pada tahun 1930, dan bukti konsistensi untuk aritmatika terbatas sehubungan dengan skema aksioma induksi dibuktikan oleh Ackermann (1924), von Neumann (1927) dan Herbrand (1931). Logika yang lebih kuat, seperti logika tingkat kedua, tidak lengkap. Bukti konsistensi adalah bukti matematis bahwa teori tertentu konsisten. Perkembangan awal teori bukti matematika didorong oleh keinginan untuk memberikan bukti konsistensi keuangan untuk semua matematika sebagai bagian dari program Hilberts. Program Hilberts sangat dipengaruhi oleh teorema ketidaklengkapan, yang menunjukkan bahwa teori-teori bukti yang cukup kuat tidak dapat membuktikan konsistensi mereka sendiri (asalkan mereka pada kenyataannya konsisten). Meskipun konsistensi dapat dibuktikan melalui teori model, hal ini sering dilakukan dengan cara yang murni sintaksis, tanpa perlu merujuk beberapa model logika. Penghapusan potong (atau ekuivalen dengan normalisasi kalkulus yang mendasarinya jika ada) menyiratkan konsistensi kalkulus: karena jelas tidak ada bukti kepalsuan yang bebas cut, tidak ada kontradiksi secara umum.

  
  

• Konsisten (kata sifat)

  salah mengeja konsisten

• Konsisten (kata sifat)

  Dari sifat yang terjadi secara teratur, dapat diandalkan. dari akhir tanggal 16 c. dalam arti usang 'terdiri dari'

  "Penggunaan Chinglish secara konsisten di Tiongkok bisa sangat menjengkelkan, terlepas dari hiburan awal."

  "Dia sangat konsisten dalam pilihan politiknya: ekonomi baik atau buruk, dia selalu memilih Buruh!"

• Konsisten (kata sifat)

  Kompatibel, setuju.

• Konsisten (kata sifat)

  Dari serangkaian pernyataan: sedemikian rupa sehingga tidak ada kontradiksi secara logis mengikuti dari mereka.

• Consistent (kata benda)

  Objek atau fakta yang hidup berdampingan, atau dalam persetujuan satu sama lain.

• Consistent (kata benda)

  Semacam orang yang menyesal yang diizinkan untuk membantu di diizinkan untuk menerima sakramen suci.

• Konsisten (kata sifat)

  
  

  Memiliki ketegasan atau keketatan; perusahaan; keras; padat.

• Konsisten (kata sifat)

  Memiliki kesepakatan dengan dirinya sendiri atau dengan sesuatu yang lain; memiliki harmoni di antara bagian-bagiannya; memiliki persatuan; sesuai; harmonis; sama dan sebangun; cocok; seragam; tidak bertentangan.

• Konsisten (kata sifat)

  Hidup atau bertindak sesuai dengan keyakinan atau profesi seseorang.

• Konsisten (kata sifat)

  (terkadang diikuti oleh `dengan) dalam perjanjian atau konsisten atau dapat diandalkan;

  "kesaksian konsisten dengan fakta yang diketahui"

  "Saya telah memutuskan bahwa jalan perilaku yang saya ikuti konsisten dengan rasa tanggung jawab saya sebagai presiden pada saat perang"

• Konsisten (kata sifat)

  ditandai oleh hubungan bagian yang teratur, logis, dan estetis;

  "argumen logis"

  "presentasi tertib"

• Konsisten (kata sifat)

  mampu direproduksi;

  "Hasil yang dapat direproduksi secara menakjubkan dapat diperoleh"

• Konsisten (kata sifat)

  sama di seluruh dalam struktur atau komposisi;

  "batubara bitumen sering diperlakukan sebagai produk yang konsisten dan homogen"