Topic: Ask Harleen anything!
Ishikawa !Et8Dragonk started this discussion 14 years ago #16,721
inb4 why did you kil krodan(proven to be alive)
Fake anon !ZkUt8arUCU joined in and replied with this 14 years ago, 2 minutes later[^] [v] #286,049
@OP
Assess the validity of the following argument.
(i) {¬(A ∨ ¬A), A} ⊢ ¬(A ∨ ¬A), by (As)
(ii) {¬(A ∨ ¬A), A} ⊢ A, by clause (As).
(iii) {¬(A ∨ ¬A), A} ⊢ (A ∨ ¬A), by (∨I), from (ii).
(iv) {¬(A ∨ ¬A)} ⊢ ¬A, by (¬I), from (i) and (iii).
(v) {¬(A ∨ ¬A), ¬A} ⊢ ¬(A ∨ ¬A), by (As)
(vi) {¬(A ∨ ¬A), ¬A} ⊢ ¬A, by (As)
(vii) {¬(A ∨ ¬A), ¬A} ⊢ (A ∨ ¬A), by (∨I), from (vi).
(viii) {¬(A ∨ ¬A)} ⊢ ¬¬A, by (¬I), from (v) and (vii).
(ix) ⊢ ¬¬(A ∨ ¬A), by (¬I), from (iv) and (viii).
(x) ⊢ (A ∨ ¬A), by (DNE), from (ix).
Assess the validity of the following argument.
(i) {¬(A ∨ ¬A), A} ⊢ ¬(A ∨ ¬A), by (As)
(ii) {¬(A ∨ ¬A), A} ⊢ A, by clause (As).
(iii) {¬(A ∨ ¬A), A} ⊢ (A ∨ ¬A), by (∨I), from (ii).
(iv) {¬(A ∨ ¬A)} ⊢ ¬A, by (¬I), from (i) and (iii).
(v) {¬(A ∨ ¬A), ¬A} ⊢ ¬(A ∨ ¬A), by (As)
(vi) {¬(A ∨ ¬A), ¬A} ⊢ ¬A, by (As)
(vii) {¬(A ∨ ¬A), ¬A} ⊢ (A ∨ ¬A), by (∨I), from (vi).
(viii) {¬(A ∨ ¬A)} ⊢ ¬¬A, by (¬I), from (v) and (vii).
(ix) ⊢ ¬¬(A ∨ ¬A), by (¬I), from (iv) and (viii).
(x) ⊢ (A ∨ ¬A), by (DNE), from (ix).
Anonymous C joined in and replied with this 14 years ago, 1 minute later, 3 minutes after the original post[^] [v] #286,050
why did you kill kill krodan
@previous (Fake anon !ZkUt8arUCU)
we dont like that fancy pants queerosexual crap round here boy
@previous (Fake anon !ZkUt8arUCU)
we dont like that fancy pants queerosexual crap round here boy
Ishikawa !Et8Dragonk (OP) replied with this 14 years ago, 6 minutes later, 10 minutes after the original post[^] [v] #286,053
Ishikawa !Et8Dragonk (OP) double-posted this 14 years ago, 30 seconds later, 11 minutes after the original post[^] [v] #286,055
squeegee !firstkPE1Q joined in and replied with this 14 years ago, 9 minutes later, 20 minutes after the original post[^] [v] #286,063
do you know what the meaning of 'is' is?
Rainbow !DASHqGnDdc joined in and replied with this 14 years ago, 5 minutes later, 25 minutes after the original post[^] [v] #286,069
Coke or pepsi?
Ishikawa !Et8Dragonk (OP) replied with this 14 years ago, 4 minutes later, 30 minutes after the original post[^] [v] #286,071
@286,063 (squeegee !firstkPE1Q)
is3rd person singular present of be (Verb)
Verb:
Exist: "there are no easy answers"; "there once was a man".
Used with a present participle to form continuous tenses: "they are coming"; "he had been reading"; "she will be waiting".
@previous (Rainbow !DASHqGnDdc)
@previous (Rainbow !DASHqGnDdc)
Pepsi!~
is3rd person singular present of be (Verb)
Verb:
Exist: "there are no easy answers"; "there once was a man".
Used with a present participle to form continuous tenses: "they are coming"; "he had been reading"; "she will be waiting".
@previous (Rainbow !DASHqGnDdc)
@previous (Rainbow !DASHqGnDdc)
Pepsi!~
astromermaid joined in and replied with this 14 years ago, 1 hour later, 1 hour after the original post[^] [v] #286,081
hey
you still engaged to krorkro
you still engaged to krorkro
Ishikawa !Et8Dragonk (OP) replied with this 14 years ago, 1 minute later, 1 hour after the original post[^] [v] #286,083
astromermaid replied with this 14 years ago, 53 seconds later, 1 hour after the original post[^] [v] #286,085
Ishikawa !Et8Dragonk (OP) replied with this 14 years ago, 21 minutes later, 1 hour after the original post[^] [v] #286,089
henn joined in and replied with this 14 years ago, 4 minutes later, 2 hours after the original post[^] [v] #286,092
Ishikawa !Et8Dragonk (OP) replied with this 14 years ago, 4 minutes later, 2 hours after the original post[^] [v] #286,093
Anonymous H joined in and replied with this 14 years ago, 11 hours later, 13 hours after the original post[^] [v] #286,153
@OP
you can not inb4 in OP it is illegal
you can not inb4 in OP it is illegal
Anonymous C replied with this 14 years ago, 1 hour later, 15 hours after the original post[^] [v] #286,161
Anonymous I joined in and replied with this 14 years ago, 50 minutes later, 16 hours after the original post[^] [v] #286,171
When is your next period?
Anonymous J joined in and replied with this 14 years ago, 6 minutes later, 16 hours after the original post[^] [v] #286,173
Do you believe the moon landing was a hoax (it wasn't), that 9/11 was an inside job (it wasn't), or in any other conspiracy theories?
What do you believe is the meaning of life?
What is the 193,383,288th digit of Pi?
Do you think aliens exist?
Coke, Pepsi, or Dr Pepper?
Do you vote? If so, who for? And why?
What do you believe is the meaning of life?
What is the 193,383,288th digit of Pi?
Do you think aliens exist?
Coke, Pepsi, or Dr Pepper?
Do you vote? If so, who for? And why?
Nega !34Kas0OdzM joined in and replied with this 14 years ago, 34 minutes later, 17 hours after the original post[^] [v] #286,175
What's furfur like?
Ishikawa !Et8Dragonk (OP) replied with this 14 years ago, 1 hour later, 18 hours after the original post[^] [v] #286,179
@previous (Nega !34Kas0OdzM)
Depends who's asking.
@286,173 (J)
> Do you believe the moon landing was a hoax (it wasn't), that 9/11 was an inside job (it wasn't), or in any other conspiracy theories?
I believe in UFOs. o_o
> What do you believe is the meaning of life?
To do what makes you happy.
> What is the 193,383,288th digit of Pi?
I have no idea.
> Do you think aliens exist?
Yes.
> Coke, Pepsi, or Dr Pepper?
Yes.
> Do you vote? If so, who for? And why?
Yes, I'm independent, so depends.
@286,171 (I)
On it now.
Depends who's asking.
@286,173 (J)
> Do you believe the moon landing was a hoax (it wasn't), that 9/11 was an inside job (it wasn't), or in any other conspiracy theories?
I believe in UFOs. o_o
> What do you believe is the meaning of life?
To do what makes you happy.
> What is the 193,383,288th digit of Pi?
I have no idea.
> Do you think aliens exist?
Yes.
> Coke, Pepsi, or Dr Pepper?
Yes.
> Do you vote? If so, who for? And why?
Yes, I'm independent, so depends.
@286,171 (I)
On it now.