Proof of Consistency Expansion (First Order Logic - Completeness)
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 3/5
- Tempo stimato
- 1-2 giorni
- Idoneità per principianti
- 45/100
- Tipo di issue
- Documentazione
- Chiarezza
- Abbastanza chiara
- Stato di attività
- Ferma
- Stack tecnologico
- latex
- Ambito
- content, documentation
Direzione di ricerca
Apri content/first-order-logic/completeness/henkin-expansions.tex e leggi il materiale circostante sulla completezza e la proposizione riguardante l’aggiunta di un insieme numerabile di costanti. Determina se la risoluzione prevista è una dimostrazione o un esercizio, quindi aggiorna la proposizione di conseguenza e verifica che il LaTeX circostante rimanga coerente.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
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).
- Lingua principale
- TeX
- Stelle
- 1.4k
- Fork
- 289
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Preparare l'ambiente
Questo progetto non fornisce container di sviluppo, Dockerfile né guida per i contributori, quindi l'ambiente è a tuo carico: parti dal suo README e consulta la nostra guida al primo contributo per i passaggi generali.
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di OpenLogicProject/OpenLogic
-
Russel's Paradox typoAperta
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 65/100
OpenLogicProject/OpenLogic#339 · 1 commento ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 50/100
OpenLogicProject/OpenLogic#436 ·
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 68/100
OpenLogicProject/OpenLogic#435 · 1 commento ·
-
Order-type of models of PAAperta
Difficoltà 5/5 Più di una settimana Idoneità per principianti 30/100
OpenLogicProject/OpenLogic#425 · 1 commento ·
-
Improve docsAperta
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
OpenLogicProject/OpenLogic#390 ·
Tutte le issue di OpenLogicProject/OpenLogic
Issue simili
-
community first-timers-only good first issue hacktoberfest help wanted low hanging fruit up-for-grabs
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 90/100
lingdojo/kana-dojo#31728 · 1 commento · 5 reazioni ·
I maintainer di solito rispondono entro 1 giorno
-
[New Rule] SpectrumAperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
LibChecker/LibChecker-Rules#1420 ·
I maintainer di solito rispondono entro 1 giorno
-
[SUBMISSION] BuboAperta
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 75/100
githubnext/awesome-continuous-ai#84 · 1 reazione ·
-
schedule-review
Difficoltà 2/5 1-3 ore Idoneità per principianti 76/100
daniezl/Hilltoppers#82 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
solana-foundation/solana-com#2245 ·
I maintainer di solito rispondono entro 1 giorno