Veeky Forums should be able to do this, but I bet most of you can't

~S->~K
L
A•(H•B)
{(J∨H)•L}->K / ∴S

H
HvJ
H v J * L
K
K -> S
S

i'm not writing the rules

>I bet
There is no wagering at Veeky Forums, Grandpa.

~S->~K
~K
~{(J V H)*L}
~S->~{(J V H) V L}
(~J ^ ~H)
H
H->S
S

Nigger.

What is this?

L
A
H
B
H^L
K
K->s
S

Logic nigger.

Why aren't you using LaTeX, faggot?

Idk how you guys are doing it

super lazy but correct

5. H+B, line 3 -simplification
6. H, line 5 -simplification
7. HvJ, line 6 -addition
8. ((HvJ)+L), line 7&2 -conjugation (? Idk name)
9. K, line 8&4 -modus ponens
10. ~~K, line 9 -negation definition
11. ~~S, line 10&1 -modus tollens
12. S, line 11 -negation definition


Intro logic is the only class in college I got an A.

Oh fuck, missed a line between 7&8, transposition HvJ into JvH

Never see this shit in my entire life..
maybe cause public education at my country, isn't that good.
Or I am just a brainlet

No it's not it's just a bunch of dumb symbols and shit people invented to seem smart. Logic uses arguments, not letters and crap unreadable to normal people

Hey I'm in intro logic right now!

This is a type of formal logic. I'm sorry that you're intimidated by some symbols and rules whose meaning that you could learn in 20 minutes.

It's basically math with quality instead of quantity. If you're interested, pic related will take you from 0 up to speed, just do all the problems.

You're either trolling or unfortunately misinformed.

Fuck yeah.

1) ~S->~K
2) L
3) A•(H•B)
4) ((J∨H)•L)->K
[ ∴S
5) [Asm: ~S
6) [∴~K { from 5 and 1}
7) [∴~((J v H)•L) {6 and 4}
8) [∴~(J v H) {2 and 7}
9) [∴~J {from 8}
10) [∴~H {from 8}
11) [∴H {from 3}
12) ∴S {10 contradicts 11} □

You haven't even defined what a wff is in your system you fucking faggot. Hurley is for pussies, direct proof is for brainlets, curly braces are for logical reasoning or sets. You niggers probably never even moved beyond basic propostional proofs. Lrn2modal fags.

>direct proof is for brainlets
Idk man, seems pretty dumb to introduce the extra rules for indirect, only to save one line. Glad we've got a hotshot like you around though.

Impressive.

Nicest proof by far. Good job!

I'm sorry I can't hear you over how simple intuitive and elegant my proof was.

Enlighten us then:
[eqn]
1. (\exists x)(y)Ayx \lor (x)(y)Bxy\\
2. (\exists x)(y)(Cy \implies \neg Byx)\\
\setminus (x)(\exists y)(Cx \implies Axy)
[/eqn]

>idk what you guys are doing
Are you retarded?

So you're telling me I'll be able to understand these symbol salads itt if I read this?

yes, except the two I'm apparently too retarded to read. I learned to justify all moves and not skip anything, so I don't have the patience to penetrate laziness.