6
votes
5answers
181 views

The deep structure of logical formulas

A long-standing question to which I never found a concise answer is: Is there something like an unambiguous deep structure of a formula of propositional logic, opposed to its comparingly ...
1
vote
2answers
183 views

Natural and formal languages

I'm going to have to take the course Logic for Computer Science at some point and everyone says both the book and the lectures are horrible. I'm looking for a book that covers the course material in ...
5
votes
3answers
292 views

How complicated is the set of tautologies?

Consider the set $\mathcal T$ of all tautologies in the propositional calculus in which the only operators allowed are $\to$ and $\neg$, and involving only the two variables $x$ and $y$. How ...