Kandungan

• Konsisten

  
  

  Dalam logik deduktif klasik, teori yang konsisten adalah salah satu yang tidak mengandungi percanggahan. Kekurangan percanggahan dapat ditakrifkan dalam istilah semantik atau sintaksis. Definisi semantik menyatakan bahawa teori adalah konsisten jika dan hanya jika ia mempunyai model, iaitu, ada tafsiran di mana semua formula dalam teori itu benar. Ini adalah makna yang digunakan dalam logika Aristotelia tradisional, walaupun dalam logika matematik kontemporari istilah memuaskan digunakan. Takrif sintaks menyatakan teori T { displaystyle T} adalah konsisten jika dan hanya jika tidak ada rumus φ { displaystyle varphi} dengan kedua-dua φ { displaystyle varphi} dan negatinya ¬ φ { displaystyle lnot varphi} adalah unsur-unsur set T { displaystyle T}. Let A { displaystyle A} menjadi satu set ayat tertutup (secara tidak rasmi "aksiom") dan ⟨A⟩ { displaystyle langle A rangle} set kalimat tertutup terbukti dari A { displaystyle A} mungkin secara tersirat) sistem deduktif rasmi. Set aksioma A { displaystyle A} konsisten apabila ⟨A⟩ { displaystyle langle A rangle} adalah.Jika terdapat sistem deduktif yang mana definisi semantik dan sintaksis ini bersamaan dengan mana-mana teori yang dirumuskan dalam deduktif tertentu logik, logik dipanggil lengkap. Kesempurnaan kalkulus sentential telah dibuktikan oleh Paul Bernays pada tahun 1918 dan Emil Post pada tahun 1921, manakala kesempurnaan kalkulus predikat dibuktikan oleh Kurt Gödel pada tahun 1930, dan bukti konsistensi untuk aritmetika yang terbatas berkaitan dengan skema aksiom induksi telah dibuktikan oleh Ackermann (1924), von Neumann (1927) dan Herbrand (1931). Logik yang lebih kuat, seperti logik pesanan kedua, tidak lengkap. Bukti konsisten adalah bukti matematik bahawa teori tertentu adalah konsisten. Perkembangan awal teori bukti matematik didorong oleh keinginan untuk memberikan bukti konsisten yang halus untuk semua matematik sebagai sebahagian daripada program Hilberts. Program Hilberts sangat dipengaruhi oleh teorema ketidaksempurnaan, yang menunjukkan bahawa teori bukti yang cukup kuat tidak dapat membuktikan konsistensi mereka sendiri (dengan syarat bahawa mereka sebenarnya konsisten). Walaupun konsistensi dapat dibuktikan melalui teori model, ia sering dilakukan secara semata-mata sintaksis, tanpa perlu merujuk beberapa model logik. Penghapusan cut (atau kesamaan normalisasi kalkulus yang mendasari jika ada) menunjukkan konsistensi kalkulus: kerana jelas ada bukti bebas pemalsuan, tidak ada percanggahan secara umum.

  
  

• Consistant (kata sifat)

  salah ejaan yang konsisten

• Konsisten (kata sifat)

  Daripada sifat yang kerap berlaku, boleh dipercayai. dari akhir 16th c. dalam erti kata usang 'terdiri daripada'

  "Penggunaan konsisten Chinglish di China boleh menjadi sangat menjengkelkan, selain beberapa hiburan awal."

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

• Konsisten (kata sifat)

  Sesuai, akauntan.

• Konsisten (kata sifat)

  Daripada satu set pernyataan: sedemikian rupa sehingga tidak terdapat percanggahan secara logik dari mereka.

• Consistent (kata benda)

  Objek atau fakta yang wujud bersama, atau bersesuaian dengan satu sama lain.

• Consistent (kata benda)

  Semacam peniten yang dibenarkan untuk membantu diizinkan menerima sakramen suci.

• Konsisten (kata sifat)

  
  

  Mempunyai ketegasan atau keteguhan; tegas; keras; pepejal.

• Konsisten (kata sifat)

  Mempunyai persetujuan dengan dirinya sendiri atau dengan sesuatu yang lain; mempunyai harmoni di antara bahagian-bahagiannya; mempunyai perpaduan; accordant; harmoni; congruous; serasi; pakaian seragam; tidak bertentangan.

• Konsisten (kata sifat)

  Hidup atau bertindak sesuai dengan kepercayaan atau profesi.

• Konsisten (kata sifat)

  (kadang-kadang diikuti oleh `dengan) dalam persetujuan atau konsisten atau dipercayai;

  "kesaksian selaras dengan fakta yang diketahui"

  "Saya telah membuat keputusan bahawa perjalanan tingkah laku yang saya ikuti adalah selaras dengan rasa tanggungjawab saya sebagai presiden dalam masa perang"

• Konsisten (kata sifat)

  ditandai dengan perhubungan yang teratur, logik, dan estetikal yang konsisten;

  "hujah logik"

  "persembahan teratur"

• Konsisten (kata sifat)

  mampu diterbitkan semula;

  "hasil yang menakjubkan boleh dihasilkan"

• Konsisten (kata sifat)

  yang sama sepanjang struktur atau komposisi;

  "Arang bitumen sering dianggap sebagai produk yang konsisten dan homogen"