How would I convert this sentence to propositional logic? > Kant is a transcendental idealist, unless Hume isn’t an empiricists. > > Either Leibniz is not a rationalist or Hume is an empiricists. > > Leibniz is a rationalist. > > So, Kant is a transcendental idealist. I think it would be something like: > p -> ~q > > ~r v q > > r > > therefore > > p would this be right?

TIP

"P unless Q" can be paraphrased as "P if not Q"

Here is an example "You won't pass the course unless you complete all the assignments".

This clearly means that "if you don't complete all the assignments, you won't pass the course."

Also: it does not mean that if you _do_ complete all the assignments, you will pass the course ... you better get some passing scores on the quizzes as well, for example.

So yes: translate "P unless Q" as $\
eg Q \rightarrow P$