Total posts: 18
Posted in:
-->
@Lernaean
thanks, i appreciate the feedback! although, a couple follow-up questions: When you say,
P(x) → (∃xP(x) ∨ ¬∃xP(x))
¬(∃xP(x) ∨ ¬∃xP(x)) → ¬P(x)
(¬∃xP(x) ∧ ∃xP(x)) → ¬P(x)
do you mean to exclude the possibility quantifier? As well, would adding it change the dynamics of the conditionals at all?
Created:
Posted in:
if one is to assert that some property P(x) is possibly exemplified, then is it rational to say that P could or could not obtain? i suppose i'd characterise this as ⋄P(x) → (∃xP(x) ∨ ¬∃xP(x))
my intutition would seem to suggest that this is the case, and, if indeed it is, then would not the inverse ⋄¬P(x) → (¬∃xP(x) ∨ ∃xP(x)) also be true?
If both instances are true, then wouldn't antecedents ⋄P(x) and ⋄¬P(x) be equivalent, as the order of the terms in the consequent doesn't partcularly matter, since (∃xP(x) ∨ ¬∃xP(x)) ≡ (¬∃xP(x) ∨ ∃xP(x))?
still a bit new to this so any insight is valued
Created:
Posted in:
how many people actually do hangouts regularly? doesnt seem to be that many
Created:
Posted in:
-->
@DebateArt.com
I take it you'd commission the person to develop mobile? I may know a guy who'd be interested.
Created:
Posted in:
Created:
Posted in:
A ⊃ (ΦP ≡ Φ¬P)
(ΦP ≡ Φ¬P) → (ΦP ∧ Φ¬P)
(ΦP ∨ Φ¬P) ∨ (ΦP ∧ Φ¬P)
(ΦP ∨ Φ¬P)
∴¬(ΦP ∧ Φ¬P)
∴¬A
Created:
Posted in:
אהיה אשר אהיה
WHAT DO YOU OWN THE WORLD??!
HOW DO YOU OWN ᗪIᔕOᖇᖇᗪEEᖇᖇᖇᖇᖇ
Đ ł ₴ Ø Ɽ Đ Ɇ Ɽ
φ ess x ↔ φ(x) ∧ ∀ψ(ψ(x) → □∀y(φ)y) → ψ(y)))
Created:
Posted in:
I wouldn't call myself a refugee. I kinda faded away from DDO as it degraded — that and IRL isn't the kindest to me either, so even if my interest hadn't dwindled, I would not have had the time to be online and active in the last few months.
Created:
Posted in:
-->
@DebateArt.com
ah I see it now. I'm on mobile and the icon is really small so I missed it lol
Created:
Posted in:
-->
@DebateArt.com
Definitely should let users add "friends". Also, perhaps a private message function as well.
Created: