mccFeb 18

Me: A ⋀ B

Person on social media: How dare you say A ⇒ B

Me: *Tears at hair*

PhillipFeb 18
Show threadmcc

Me: ∃ x P(x)

Person on social media: How dare you say ∀ x P(x)

Me: *Tears at hair*

Feb 18 at 7:12pmWeb
Show threadmccFeb 18

Me: A ⇒ B

Person on social media: How dare you say ¬A ⇒ ¬B

Me: *Tears at hair*

Show threadJordanFeb 18
@mcc Bookmarking this thread so I can reply to complainants with the fallacy they have committed.
Show threadghosttieFeb 18

@mcc I think that could simplify to

Me:

Person on social media:

Me: *Tears at hair*

Show threadNeo EhproqueFeb 18

@ghosttie @mcc
∃ Person on social media:
Me: *tears at hair "

∀ Person

Show threadNathan Vander WiltFeb 18
@mcc almost well actuallied this one reading it as "¬B ⇒ ¬A" 😆
Show threadmccFeb 18
@natevw How dare you…
Show threadInga stands with 🇺🇦 🇵🇸Feb 19
@natevw @mcc I even thought that the original reference was to how people on social media use classical logic instead of intuitionistic and started trying to figure out if the latter statement can be reduced from the former in intuitionistic logic (I'm rusty okay?), and then saw your reply
Show threadmccFeb 19

@IngaLovinde @natevw intuititionistic logic might actually be the correct one for discussing the real world because so many things people talk about IRL are to some degree subjective or require proof-standards

"he's not *not* an anarchist" is a reasonable statement might say about a person

Show threadInga stands with 🇺🇦 🇵🇸Feb 19
@mcc @natevw a soviet joke:
Professor during the class explains how in many languages double negations cancel each other out and result in agreement (but in some others, reinforce each other), and off-handedly remarks how in no language double agreements result in negation.
Student from the back of the class, sarcastically: "yes, sure".
Show threadphookyFeb 18
@mcc unfamiliar with DeMorging's laws
Show threadMark Pospesel Feb 18
@mcc my father taught propositional and predicate logic at university. Helping him proofread textbooks as a teen really helped build the mindset that primed me to become a programmer. Also the start of my career was making a Windows executable to accompany a revision of one of his textbooks. Anyway seeing this thread brought all that back to me.
Show threadHugo MillsFeb 18
@mcc Social media ⊻ good hair
Show threadGerardFeb 18
@mcc attempting to generalise (but probably screwing up the notation if not the logic):
∀P ∃person ∃Q P(A,B)⇏Q(A,B) ∧ person thinks P(A,B) ⇒ Q(A,B) ∧ person is outraged
Show threadxXgarlandFeb 18
@mcc A -> B <=> not A or B.

logic is hard and the implication is weird.
Show threadjon crowcroftFeb 18
@mcc you can infer a lot about people from that