|
Members in Shoutbox
None.
Shoutbox Search
Shoutbox Commands
/w [name] > Whisper
/r > Reply to last whisper /me > Marks as action Shoutbox Information
Moderators may delete any and all shouts at will.
|
Global Shoutbox
Please log in to shout.
[2014-9-24. : 3:09 am]  Moose -- MasterJohnnyMasterJohnny shouted: what is your area of math moose? I never had to specialize, for I am but a mere master of mathematics.[2014-9-24. : 3:07 am] Moose -- For some reason, though, they taught formal logic in lower level mathematics courses that I never placed into. Not sure if that's unusual.[2014-9-24. : 3:05 am] Moose -- In mathematical logic, satisfiability and validity are elementary concepts of semantics. A formula is satisfiable if it is possible to find an interpretation (model) that makes the formula true.[1] A formula is valid if all interpretations make the formula true.[2014-9-24. : 3:05 am] Moose -- TBH, I've never taken a formal class on mathematical logic. We kind of just applied it as we need it. One of my department chairs was a functional analyst who looked down on logicians.[2014-9-24. : 3:02 am] Moose -- Yeah, man, my mom wouldn't let me go to a rated R movie with my friends! Do you know how embarassing that is?! What a bitch! Let's do it![2014-9-24. : 2:49 am] copboner -- hay boiz, my dad won't gimme allowance early this week, anyone wanna rally up and ddos a game server for no reason?[2014-9-24. : 12:27 am]  jjf28 -- didn't you just show they were equivalent? just write that in proof-format[2014-9-24. : 12:24 am] jjf28 -- then showing every individual step with the law labeled (one line per step/law) should be how you do it[2014-9-24. : 12:20 am]  Dem0n -- How the fuck do you prove (p -> q) -> ((p v r) -> (q v r)) is a tautology?[2014-9-23. : 11:40 pm] jjf28 -- does implication have a distributive property? or more importantly, has your instructor provided a rule stating so?[2014-9-23. : 11:34 pm] Dem0n -- Am I seeing this wrong, or can (p -> q) ^ (p -> r) and (p -> (q ^ r)) just be proven by distributing p to q and r in the second statement?[2014-9-23. : 10:59 pm] Dem0n -- But they specifically ask for me to prove equivalency with logical properties[2014-9-23. : 10:52 pm] Moose -- Did you get the same truth values for both sides of that using all possible true/false combos for p, q, and r?[2014-9-23. : 10:36 pm] Dem0n -- I need to prove that (p v q) -> r == (p -> r) ^ (q -> r), but I have no clue where to start D:[2014-9-23. : 9:43 pm] Dem0n -- Dem0nDem0n shouted: The blizzard patch update picture in Ahli's post broke or something Oh, is that due to Dev trying to fix the nested quote/img tag thing?[2014-9-23. : 8:45 pm] *TF- Ultroche*[2014-9-23. : 8:38 pm] jjf28 -- alot still not present, ex: http://www.staredit.net/334529/ progress though  |
Members Online: Symmetry, lil-Inferno
Symmetry, lil-Inferno