P <--> Q |- (~Q --> ~P) v R

(1) 1. P <--> Q [CENTER]Premise[/CENTER]
(2) 2. ~Q [CENTER]Assumption for cP[/CENTER]
(1) 3. (P --> Q) & (Q --> P) [CENTER]1, <--->E[/CENTER]
(1) 4. P --> Q [CENTER]3, &E[/CENTER]
(1,2) 5. ~P [CENTER]2, 4, MT[/CENTER]
(1) 6. (~Q --> ~P) [CENTER]2, 5, cP[/CENTER]
(1) 7. (~Q --> ~P) v R [CENTER]6, vI[/CENTER]

/logic

Exam results tomorrow. :upset:

[QUOTE=Bartender]P <--> Q |- (~Q --> ~P) v R

(1) 1. P <--> Q [CENTER]Premise[/CENTER]
(2) 2. ~Q [CENTER]Assumption for cP[/CENTER]
(1) 3. (P --> Q) & (Q --> P) [CENTER]1, <--->E[/CENTER]
(1) 4. P --> Q [CENTER]3, &E[/CENTER]
(1,2) 5. ~P [CENTER]2, 4, MT[/CENTER]
(1) 6. (~Q --> ~P) [CENTER]2, 5, cP[/CENTER]
(1) 7. (~Q --> ~P) v R [CENTER]6, vI[/CENTER]

/logic[/QUOTE]
Define what those arrows mean and that might make sense :(

AH, did you listen to my song btw? :p

[QUOTE=AntiHero3314]Proofs make my brain go ouch.

Good luck Jelle, I have confidence that you did well.[/QUOTE]

Haha, thanks, but I fear the worst, I didn't study much.

[QUOTE=AntiHero3314]It was so hard to hear... was I not supposed to play it in Winamp and in another program?

The video is trippy.[/QUOTE]
Hmmm...nope, it's just a MIDI file...

Either way, off to my next lecture, later all.

[QUOTE=zeppelinfan2k3]Define what those arrows mean and that might make sense :([/QUOTE]

That was one of the easy ones, apparently.

I wish I either didn't have to do logic or all, or actually did it more than two hours a week, so it'd be useful.

[QUOTE=zepfan]
AH, did you listen to my song btw? :p[/QUOTE]

I did, yeah. I was really tired at the time though. Very MIDI-ish.

See you later, anyway.

I'm off for a while, anyway. If you're all especially good while I'm gone, I may type up another (more difficult) proof, later.

NP My Bitter End - Dirt Helmet

/me behaves (a)

Hey guys :wave:

HEy dude.



NP Pink Floyd - Time

Real cool solo.

:lol: Thanks for the rep Anti, I'll get ya back when I can again.

[B]D[/B]amn right it is!

NP:Franz Ferdinand-Darts of pleasure

Sup?

/just woke up.

Howdy:wave:

/me checks out Tiger Army

/what the helll is Tiger Army?

It's a band. :p

/oic

/what kind of band?

Eh, Rock and Roll influenced Punk, some call it Psychobilly.

It's pretty cool. They have a Stand-up bass player.

Meh stayed home today cuz meh sick with the flu :(

[url]http://www.tigerarmy.com/images/LIVE%20SETS/Warped%202/01.JPG[/url]

Look how funny stand up bass looks. :)

[QUOTE=Superpeer][url]http://www.tigerarmy.com/images/LIVE%20SETS/Warped%202/01.JPG[/url]

Look how funny stand up bass looks. :)[/QUOTE]


lawl.

'Lo people. How's everyone doing?

Doin' Fine, but heading to work here in a few minutes.

what's with all you people and jobs?

This is my first post in here, so hi everyone :wave:

[QUOTE=munky_magik]what's with all you people and jobs?[/QUOTE]


So I can buy ridiculously large pieces of metal like this :

[url]http://cgi.ebay.com/ws/eBayISAPI.dll?ViewItem&category=43339&item=6511340087&rd=1&ssPageName=WDVW[/url]

found it on a website though, 2 for a hundred dollars. :amaze:


And what's up Mars Volta? Wasn't your name something different in the guitar forums?

That's a pretty good reason. You have a lot of pieces of metal like that?

[QUOTE=munky_magik]That's a pretty good reason. You have a lot of pieces of metal like that?[/QUOTE]

Well my Katana is still in the mail, which is a real hand forged sword by a black smith in China, and this will be my 2nd piece, but it will be more of a show piece.

For 2 reasons it will be a show piece :

1. it's around 15 - 20 pounds and it's ver 6 feet long...
2. it is not well made as a real hand forged weapon

These are the start of my collection of sharp and shiny things.

Plus I am buying a Norwegian, Swedish and Finnish flags to go on my ceiling.
And you know...more sharp and shiny objects.

I used to be called mars volta but then I got it capitalized.

Ah, then I am thinkin' of some one else with a similar avatar then.

Later people, going to work. :wave:

Sup.

[QUOTE=BoboTheRagingHobo]So I can buy ridiculously large pieces of metal like this :

[url]http://cgi.ebay.com/ws/eBayISAPI.dll?ViewItem&category=43339&item=6511340087&rd=1&ssPageName=WDVW[/url]

found it on a website though, 2 for a hundred dollars. :amaze:


And what's up Mars Volta? Wasn't your name something different in the guitar forums?[/QUOTE]

That's sweet. I'm going to buy a mace when I have the money.

Why?

To crush the skulls of those who do not play true metal.

/runs and hides

[QUOTE=BoboTheRagingHobo]So I can buy ridiculously large pieces of metal like this :

[url]http://cgi.ebay.com/ws/eBayISAPI.dll?ViewItem&category=43339&item=6511340087&rd=1&ssPageName=WDVW[/url]

found it on a website though, 2 for a hundred dollars. :amaze:


And what's up Mars Volta? Wasn't your name something different in the guitar forums?[/QUOTE]
I prefer Katanas. I wish I could have afforded a multi-thousand fold blade, but I like what I have so far, which is in the hundreds I believe :)

[QUOTE=xizoesira]To crush the skulls of those who do not play true metal.[/QUOTE]

Try me.

Also, thanks to this mini-conversation about swords, I have reached this conclusion: white people are crazy.

[QUOTE=Disconnection Notice]Try me.

Also, thanks to this mini-conversation about swords, I have reached this conclusion: white people are crazy.[/QUOTE]


You just now realized this?

[QUOTE=Disconnection Notice]Try me.

Also, thanks to this mini-conversation about swords, I have reached this conclusion: white people are crazy*.[/QUOTE]

*tr00

[QUOTE=Disconnection Notice]Try me.

Also, thanks to this mini-conversation about swords, I have reached this conclusion: white people are crazy.[/QUOTE]

Yes, yes we are.