2
votes
1answer
104 views

Finding a logical expression (under some constrains) s.t. it is equivalent to another one

In this question, it was made clear, when $\bullet$ some statement $A$ is stronger than another statement $B$, namely if $A\Rightarrow B$ holds; and when the statement $A$ is weaker than another ...
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 ...
1
vote
1answer
135 views

Appropriate book for propositional logic

I am not looking for a good book but an appropriate book that is suitable for my logic course. Currently the professor only offers lectures. (Not sure why, perhaps there is no universal approach to ...