Ban đầu, để có được sự hiểu biết lớn hơn về chủ đề này, cần phải thảo luận một chút về sự tiến hóa của toán học logic cũng như sự logic hóa của toán học. Để tượng trưng cho logic toán học, G. Boole và G. Frege đã phát minh ra các hình thức phiên mã và hiểu các câu hỏi logic cho lĩnh vực toán học, tương ứng với ý tưởng toán học hóa logic và ý tưởng về logic hóa toán học). Hai tác giả này đã có những tác động sâu sắc trong cách phản ánh hiện đại về bản chất chính thức của logic và kết luận bằng cách chỉ ra sự khác biệt của các vị trí trong đó một năm boolean và một năm tự do đáp ứng liên quan đến khái niệm về tính hợp lệ cũng như khó khăn - cho một năm tự do để hình thành câu hỏi triết học về mức độ ưu tiên của một khái niệm ngữ nghĩa hoặc một khái niệm cú pháp về tính hợp lệ vì các khái niệm này được trình bày trong phạm vi của luyện kim. Do kết quả của quá trình tiến hóa như vậy, CPC (Tính toán đề xuất cổ điển) đã xuất hiện có thể được định nghĩa là một hệ thống biểu tượng của logic cổ điển. Điều này dựa trên việc sử dụng các mệnh đề (được biểu thị bằng các chữ cái viết thường) và sử dụng các kết nối.
Những khái niệm này tạo thành nền tảng của ứng dụng mà chúng tôi dự định thực hiện, áp dụng các quy tắc khác nhau bắt nguồn từ các khái niệm đó.
Ứng dụng do chúng tôi tạo ra, mặc dù nó chứa các khái niệm phức tạp để hiểu về công chúng, đã được thiết kế theo cách mà giao diện của nó cho phép người dùng hưởng lợi từ công cụ này và đồng thời thực hiện trong việc áp dụng các khái niệm đó.
Do đó, một công cụ hữu ích có được nhờ khía cạnh chức năng của nó, vì nó có thể điều chỉnh và xác minh các bài tập, đây là chức năng chính của nó và cũng chứa trong đó một chức năng mô phạm, vì nó cho người dùng cơ hội để xem xét , để thực hiện và đồng hóa các kiến thức lý thuyết có trong việc xây dựng ứng dụng này
Nenhuma