First of all, I wasn't quite sure in which (sub)forum to post this, so if it doesn't quite fit, feel free to move it. I'm having a very hard time solving this one (or even seeing if it's logically consistent), and any help would be very much appreciated.(adsbygoogle = window.adsbygoogle || []).push({});

1. The problem statement, all variables and given/known data

Give a formal proof for the following conclusion:

[itex](\neg P \wedge \neg\neg\neg P) \vee P[/itex]

2. Relevant equations

There aren't any premises, so we're supposed to show that the conclusion is logically consistent.

3. The attempt at a solution

Beside the fact that I'm quite new to formal logic and don't really know how to start with this (having tried multiple things), there's something more important that's bothering me: I don't think this conclusion IS logically consistent.

You see, the logical OR is an inclusive-OR, which means that in the above case, you can have BOTH [itex]\neg P[/itex] and [itex]P[/itex]. But that makes no sense. Is that correct, or am I missing something? Can you still give a 'formal proof' for any such thing?

**Physics Forums | Science Articles, Homework Help, Discussion**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Homework Help: A question about formal logic

**Physics Forums | Science Articles, Homework Help, Discussion**