Proof of Consistency Expansion (First Order Logic - Completeness)
Chưa có ai nhận issue này.
Đánh giá
- Độ khó
- 3/5
- Thời gian dự kiến
- 1-2 ngày
- Mức phù hợp với người mới
- 45/100
- Loại issue
- Tài liệu
- Độ rõ ràng
- Khá rõ ràng
- Mức độ hoạt động
- Đình trệ
- Công nghệ
- latex
- Lĩnh vực
- content, documentation
Hướng nghiên cứu
Mở content/first-order-logic/completeness/henkin-expansions.tex và đọc phần nội dung xung quanh về tính đầy đủ cũng như mệnh đề về việc thêm một tập hằng số đếm được. Xác định xem hướng giải quyết được dự định là một chứng minh hay một bài tập, sau đó cập nhật mệnh đề cho phù hợp và xác minh rằng LaTeX xung quanh vẫn nhất quán.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Mô tả
In content/first-order-logic/completeness/henkin-expansions.tex, there is a proposition:
If $\Gamma$ is consistent in $\Lang L$ and $\Lang L'$ is obtained from
$\Lang L$ by adding !!a{denumerable} set of new !!{constant}s $\Obj d_0$,
$\Obj d_1$, \dots, then $\Gamma$ is consistent in~$\Lang L'$.
which doesn't have a proof. I think it should, although perhaps it could be an exercise (doesn't seem like it should be a very involved proof though).
- Ngôn ngữ chính
- TeX
- Star
- 1.4k
- Fork
- 289
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
Chuẩn bị môi trường
Dự án này không cung cấp dev container, Dockerfile hay hướng dẫn đóng góp, nên bạn cần tự thiết lập môi trường: hãy bắt đầu từ README và xem hướng dẫn đóng góp lần đầu của chúng tôi để biết các bước chung.
Bắt đầu từ đâu
- Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
- Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
- Fork repository và làm thay đổi trên một nhánh.
- Mở pull request có tham chiếu số hiệu của issue.
Issue khác của OpenLogicProject/OpenLogic
-
Russel's Paradox typoĐang mở
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 65/100
OpenLogicProject/OpenLogic#339 · 1 bình luận ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 50/100
OpenLogicProject/OpenLogic#436 ·
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 68/100
OpenLogicProject/OpenLogic#435 · 1 bình luận ·
-
Order-type of models of PAĐang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 30/100
OpenLogicProject/OpenLogic#425 · 1 bình luận ·
-
Improve docsĐang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
OpenLogicProject/OpenLogic#390 ·
Tất cả issue của OpenLogicProject/OpenLogic
Issue tương tự
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 74/100
obophenotype/human-phenotype-ontology#11798 ·
-
[Task] Clean Up About PageĐang mởgood first issue
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 72/100
Progressive-Victory/the-website#653 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 68/100
cline/mcp-marketplace#2881 ·
-
[Project]: TaleĐang mở
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 75/100
-
[good first issue, hacktoberfest] 🍢 Add new Example Sentence 879 (good-first-issue)Có thể đã có người làm Có pull request liên kết đang mở hoặc đã được merge. Đang mởcommunity first-timers-only good first issue hacktoberfest help wanted low hanging fruit up-for-grabs
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 85/100
lingdojo/kana-dojo#31936 · 1 bình luận · 5 reaction ·
Maintainer thường phản hồi trong vòng 1 ngày