3. Conclusion
Following a first article on "logic and metalogy"
Propositional logic and predicate logic are formal (they obey unambiguous syntactic, semantic and computational rules), vericonditional (a single semantic notion: truth/falsehood), compositional (the meaning of a formula is entirely determined by the meanings of its components), and computable (computational rules allow valid inferences to be defined, and truth tables allow the truth/falsehood of a formula to be established from...
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!
Conclusion
Appendix 1: properties of logical connectors
Article included in this offer
"Mathematics"
(
167 articles
)
Updated and enriched with articles validated by our scientific committees
A set of exclusive tools to complement the resources
Bibliography
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!
