SMOLNET PORTAL home about changes

References for Proposition: Syntactic characterization

Back to article
See all references for article


References to other articles in the 'Syntactic characterization' section

Arity
Concatenation
Delimiter
Free and bound variables
Functional predicate
Logical connective
Predicate logic
Predicate variable
Propositional calculus
Quantification (logic)
Recursion
Semantics of logic
Syntax (logic)
Term (logic)
Truth value
Well-formed formula


Source on Wikipedia (https://en.wikipedia.org)


--

Gemipedia Home
Go to Article
Using English Wikipedia. Change Language?

--
Size: 1.36 KB. 98.69% smaller than original: 103.82 KB 🤮
Fetched: 17 ms. Converted: 368 ms. 🐇

Made with 📚 and ❤️ by Acidus (mailto://)

All Wikipedia content is licensed under CC BY-SA 3.0

Response: 20 (Success), text/gemini
Original URLgemini://gemi.dev/cgi-bin/wp.cgi/refs?name=Proposition&section=9
Status Code20 (Success)
Content-Typetext/gemini; charset=utf-8; lang=en