Simplify applyin' properties: [math](p\implies q)\implies[p\implies(\sim q\wedge p)].[/math]

We really aren't here to do your homework. At a quick glance it looks like you have a contradiction.

Simplify applyin' properties: [math](p\implies q)\implies[p\implies(\sim q\wedge p)].[/math]

Try to do this with the 'table thing', it's very easy and fun too.

Truth tables are fun?! For serious? You might possibly have a very different view of fun.

 

Anyways, the task asked for a specific approach so that's the one he should use since this is clearly homework.

 

(as a side note, my first glance was wrong, very wrong)

Truth tables are fun?! For serious? You might possibly have a very different view of fun.

Since when 'truth seeking' (even through tables) has not been fun?

 

And it's fully logical, which in this case could apply to the title of the thread:-)

Since when 'truth seeking' (even through tables) has not been fun?

 

And it's fully logical, which in this case could apply to the title of the thread:-)

 

don`t waste your keyboard ink, he regularly Trolls threads to do with Logic, as evidenced here: http://www.scienceforums.net/forum/s...ad.php?t=27799

 

Don`t Feed The Troll!

Simplify applyin' properties: [math](p\implies q)\implies[p\implies(\sim q\wedge p)].[/math]

 

One thing to remember is that [math]a \implies b \equiv a \wedge \neg b [/math], so then you can just apply that, demorgan's law and some of the other basic rules and derive a rather short equivalent formula.

Well actually solving this is just a piece of cake, you just need to know what conjunction, disconjunction, equivalence and implication are. The rest is just procedure.

You don't need silly long words to solve anything, really. It's surprisingly easy, when you come to look at it though, quite a nice solution for a seemingly convoluted problem.

 

Solving through truth tables just seems incredibly boring to me, it's like getting an ugly numerical solution when you could get a nice exact one (except that it's the process that is different, rather than the end result).

You don't need silly long words to solve anything, really. It's surprisingly easy, when you come to look at it though, quite a nice solution for a seemingly convoluted problem.

 

Solving through truth tables just seems incredibly boring to me, it's like getting an ugly numerical solution when you could get a nice exact one (except that it's the process that is different, rather than the end result).

 

There's also the issue that as you add more and more variables, basic truth tables become completely infeasible.