Abstract: Truth-functional propositional logic is the theory of (1) those logical truths that can be expressed using only unanalysed propositional variables and truth-functional propositional connectives, and (2) principles of inference relating things that can be expressed by those means.
Publication Year: 1971
Publication Date: 1971-01-01
Language: en
Type: book-chapter
Indexed In: ['crossref']
Access and Citation
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot