NộI Dung

• Thích hợp

  
  

  Trong logic suy luận cổ điển, một lý thuyết nhất quán là một lý thuyết không chứa đựng mâu thuẫn. Việc thiếu mâu thuẫn có thể được định nghĩa theo cả hai nghĩa ngữ nghĩa hoặc cú pháp. Định nghĩa ngữ nghĩa nói rằng một lý thuyết là nhất quán khi và chỉ khi nó có một mô hình, tức là, tồn tại một cách giải thích theo đó tất cả các công thức trong lý thuyết là đúng. Đây là ý nghĩa được sử dụng trong logic Aristoteles truyền thống, mặc dù trong logic toán học đương đại, thuật ngữ thỏa đáng được sử dụng thay thế. Định nghĩa cú pháp nêu một lý thuyết T { displaystyle T} là nhất quán khi và chỉ khi không có công thức φ { displaystyle varphi} sao cho cả φ { displaystyle varphi} và phủ định của nó φ { displaystyle lnot varphi} là các phần tử của tập T { displaystyle T}. Đặt A { displaystyle A} là một tập hợp các câu đóng (không chính thức là "tiên đề") và ⟨A⟩ { displaystyle langle A rangle} tập hợp các câu đóng có thể chứng minh được từ A { displaystyle A} trong một số (được chỉ định, có thể ngầm) hệ thống suy luận chính thức. Tập hợp tiên đề A { displaystyle A} phù hợp khi ⟨A⟩ { displaystyle langle A rangle}. Nếu tồn tại một hệ thống suy diễn mà các định nghĩa ngữ nghĩa và cú pháp này tương đương với bất kỳ lý thuyết nào được hình thành trong một suy luận cụ thể logic, logic được gọi là hoàn thành. Tính đầy đủ của phép tính tích lũy đã được Paul Bernays chứng minh vào năm 1918 và Emil Post vào năm 1921, trong khi tính hoàn chỉnh của phép tính vị ngữ đã được chứng minh bởi Kurt Gödel vào năm 1930, và bằng chứng về tính nhất quán đối với các thuật ngữ giới hạn đối với lược đồ tiên đề cảm ứng đã được Ackermann chứng minh (1924), von Neumann (1927) và Herbrand (1931). Logic mạnh hơn, chẳng hạn như logic thứ hai, không đầy đủ. Một bằng chứng nhất quán là một bằng chứng toán học cho thấy một lý thuyết cụ thể là nhất quán. Sự phát triển ban đầu của lý thuyết bằng chứng toán học được thúc đẩy bởi mong muốn cung cấp bằng chứng nhất quán về tài chính cho tất cả toán học như là một phần của chương trình Hilberts. Chương trình Hilberts bị tác động mạnh mẽ bởi các định lý không hoàn chỉnh, điều này cho thấy các lý thuyết chứng minh đủ mạnh không thể chứng minh tính nhất quán của chính họ (với điều kiện là chúng thực sự phù hợp). Mặc dù tính nhất quán có thể được chứng minh bằng lý thuyết mô hình, nhưng nó thường được thực hiện theo cách hoàn toàn cú pháp, mà không cần tham khảo một số mô hình logic. Việc loại bỏ cắt (hoặc tương đương là chuẩn hóa của phép tính cơ bản nếu có) hàm ý tính nhất quán của phép tính: vì rõ ràng không có bằng chứng nào về sự giả dối, nói chung không có mâu thuẫn.

  
  

• Kiên định (tính từ)

  sai chính tả

• Nhất quán (tính từ)

  Của một bản chất thường xuyên xảy ra, đáng tin cậy. từ cuối ngày 16 c. theo nghĩa lỗi thời bao gồm

  "Việc sử dụng nhất quán của tiếng Pháp ở Trung Quốc có thể rất khó chịu, ngoài một số trò giải trí ban đầu."

  "Anh ấy rất kiên định trong các lựa chọn chính trị của mình: nền kinh tế tốt hay xấu, anh ấy luôn bỏ phiếu Lao động!"

• Nhất quán (tính từ)

  Tương thích, phù hợp.

• Nhất quán (tính từ)

  Của một tập hợp các câu lệnh: sao cho không có mâu thuẫn nào theo sau chúng.

• Nhất quán (danh từ)

  Các đối tượng hoặc sự kiện cùng tồn tại hoặc thỏa thuận với nhau.

• Nhất quán (danh từ)

  Một loại hối nhân được phép giúp đỡ khi được phép nhận các bí tích thánh.

  
  

• Nhất quán (tính từ)

  Sở hữu sự vững chắc hoặc cố định; chắc chắn; cứng; chất rắn.

• Nhất quán (tính từ)

  Có thỏa thuận với chính nó hoặc với một cái gì đó khác; có sự hài hòa giữa các bộ phận của nó; sở hữu sự thống nhất; phù hợp; hài hòa; chúc mừng; tương thích; đồng phục; không mâu thuẫn.

• Nhất quán (tính từ)

  Sống hoặc hành động phù hợp với niềm tin hoặc nghề nghiệp.

• Nhất quán (tính từ)

  (đôi khi được theo sau bởi `với) trong thỏa thuận hoặc nhất quán hoặc đáng tin cậy;

  "lời khai phù hợp với thực tế đã biết"

  "Tôi đã quyết định rằng quá trình ứng xử mà tôi đang tuân theo phù hợp với ý thức trách nhiệm của tôi với tư cách là tổng thống trong thời chiến"

• Nhất quán (tính từ)

  được đánh dấu bằng một mối quan hệ có trật tự, hợp lý và thẩm mỹ của các bộ phận;

  "một lập luận logic"

  "trình bày có trật tự"

• Nhất quán (tính từ)

  có khả năng sinh sản;

  "kết quả có thể tái tạo đáng kinh ngạc có thể thu được"

• Nhất quán (tính từ)

  giống nhau xuyên suốt trong cấu trúc hoặc thành phần;

  "Than bitum thường được coi là một sản phẩm đồng nhất và đồng nhất"