Anyone good at logic here?

[mash]

I have to do P.L. logic as a supplement to my course and I'm quite enjoying it I'm just a bit confused on modus tollens. I understand that it is used to deny the consequent of a conditional, but what about in cases where there isn't a conditional premise? I raised the question in class but the lecturer didn't really explain it well, or I was too sleepy to understand anyway.

So would this be solvable using modus tollens or is it an impossible sequent?

P, ~Q : ~(P->Q)

 

[<RJMC>]

P is a bitch and it cheated ~ whit Q

 

[Stigmata]

I'm good at logic but I've never taken philosophy, so I can't help you there.

 

[Pulse]

Heh, I've started predicate logic and set theory for my course also. I'm abit confused about your use of the tilde though, are you using it to indicate a negation?

 

[Dynasty]

P, ~Q : ~(P->Q)

LMAO i wish i had logic, to me that looks like you mashed the keyboard and happened to create an equation.

 

[Baal]

Seriously, do you think anyone ever remembers any of that stuff after they're forced to take the obligatory university course on it?

You're asking people on the Internet whether they remember something useless? :rolling:

 

[MJ12]

I am so confused what this is even about, but it sounds interesting. Anyone care to briefly explain?

 

[Seppo]

i don't use logic