~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 4chan, Grandpa.
>>9169210
~S->~K
~K
~{(J V H)*L}
~S->~{(J V H) V L}
(~J ^ ~H)
H
H->S
S
>>9169333
Nigger.
>>9169210
L
A
H
B
H^L
K
K->s
S
>>9170031
Logic nigger.
>>9169210
Why aren't you using LaTeX, faggot?
>>9170044
>>9169354
Idk how you guys are doing it
>>9169246
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.
>>9171066
Oh fuck, missed a line between 7&8, transposition HvJ into JvH
>>9171066
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
>>9170626
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
>>9171066
Hey I'm in intro logic right now!
>>9171084
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.
>>9171076
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.
>>9171084
You're either trolling or unfortunately misinformed.
>>9171087
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.
>>9171138
>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.
>>9171108
Impressive.
>>9171138
Nicest proof by far. Good job!
>>9171227
I'm sorry I can't hear you over how simple intuitive and elegant my proof was.
>>9171321
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]
>>9171066
>idk what you guys are doing
Are you retarded?
>>9171108
So you're telling me I'll be able to understand these symbol salads itt if I read this?
>>9173703
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.