Login or register
Login or register
Stay logged in
Log in/Sign up using Facebook.
Log in/Sign up using Gmail/Google+.
CREATE A NEW ACCOUNT
Email is optional and is used for password recovery purposes.
Rank #630 on Comments
Level 309 Comments: Lord Of Laughs
Send mail to assmastersixtyfour
Invite assmastersixtyfour to be your friend
Last status update:
Date Signed Up:
Highest Content Rank:
Highest Comment Rank:
Content Level Progress:
Level 0 Content: Untouched account → Level 1 Content: New Here
Comment Level Progress:
Level 309 Comments: Lord Of Laughs → Level 310 Comments: Wizard
Times Content Favorited:
Total Comments Made:
What people say about assmastersixtyfour
New Game Cameos
Happy Clearance Day
Cute dragon stuff?
A different take...
Nalf Radifot Zounom
Batman Ninja Trailer
Lewd Raiju comp
latest user's comments
1h ago on
Slimy cat gurls
A fellow fan
- What i find weird is that I don't gave adblock on my phone yet…
4h ago on
Whats this bullshit!?
- Checks game, see she's not out yet. Checks news, she comes …
4h ago on
- But by that logic, he hasn't been made yet so he shouldn't function.
12h ago on
Time Travel 101
13h ago on
Kantyopra Kaytina Cepa
Dank Anime Weebms Part 110:...
She's British which means she doesn't qualify as European, therefore indicating she is definitely a muffdiver.
Boy England is IN Europe
Bitch, we didn't Brexit, Empire, and War for the past few thousand years to be fucking Eurotrash collectivist hippies!
Europe doesn't like Britain, Britain doesn't like Europe, the only reason we've not towed the island further out to sea yet is we like the weather where we are!
The British World View:
That does not change the fact that you're still in Europe.
1 Gay(x) V European(x)
3 British -> ~European(x) = ~British(x) V European(x)
4 ~European(x) by resolution 2, 3
5 Gay(x) by resolution 4, 1
Quod Erat Demonstrandum
A semiformal logical proof.
For future reference, the ¬ symbol is right alt+\ on the international US keyboard. No need to use ~ as negation.
And since you're going all out you could have added
5|¬European V ¬Gay
6| ⊥ by 5,1
7 Gay by 6,4
true, but ¬, ~ and ! are all ultra common negation symbols. My current temporal logic professor uses ~ most often, so it rubbed off on me. My math proofwriting teacher used your symbol.
~ is my favorite keyboard expressible symbol, but not one that i would use on paper.
my favorite logic symbols are on the far right of this example.
It speeds up my proof solving by a solid 100%
My bad. It just looked odd to me.
~ means 'in relation to' in maths and physics, mainly when you want to show relations without having to give all the constants.
It just looked weird. My bad for not knowing that ~ is just as legit of a negotiating.
And I use ! as negation basically daily. I study computer science and logic comes with that, that's how I know of the symbols used, or at least the three of the four negation symbold you gave.
same, CS here too. I just recently took my temporal logic final and i had proofs on the mind. Btw, i was wondering, did they teach you temporal logic as part of your standard curriculum? You know, stuff like AGAF p -> E[q U r]
So far not (yet). I still have two more years to go. It's very likely optional.
right. I have comp sci friends all around the US and all of us have different levels of logic. generally you only get one or two semesters of the stuff though.
has deleted their comment.
I did this proof at 4am, and now your comment made me look back at it, there is a mistake.
3 British(x) -> ~European(x) = ~British(x) V ~European(x)
forgot the negation
British implies not european = either not british, or not european
The rest is correct.
I'll take your word for it, mate.
- Always nice to see some Diakko content.
My little witch academia
- >Pharah and Ana both have 1 event legendary. >Pharah …
Life imitates Art
And d.va for yet another year gets nothing from one of the two biggest events.
Yeah, but you can't beat "Owl Jarate".
- So uhh... what can i get for 8395?
- **assmastersixtyfour used "*roll 1, 001-200*"** **assmaster…
Show Comments (0)