PatternChaser

@StarkRG @actuallyautistic

Allistic communication relies on #implication, and reading/writing 'between the lines', thereby retaining #deniability!

Yes, it would be *so* good if they could learn to #communicate #honestly, as we (mostly) do. 👍

#AskingAutistics #ActuallyAutistic #AllAutistics
#AuDHD

Nando161

I love the #implication that somehow #Biden killed those #police like they’re trying to trick me into #voting for Biden.
:acab: :acab2: :acabkitty: :clowncop: :nocops: :pig_cop: :txt_eff_the_cops:

imdef

I should have been more precise. The two formal expressions

(2|x ^ 3|x) -> 6|x
(2|x -> 6|x) v (3|x -> 6|x)

are equivalent. However, it is less clear cut with their ordinary language translations:

"If x is divisible by 2 and x is divisible by 3, then x is divisible by 6."
"If x is divisible by 2, then x is divisible by 6, or if x is divisible by 3, then x is divisible by 6."
#logic #implication #conditional

imdef

Should have been more precise. The two formal expressions

(2|x ^ 3|x) -> 6|x
(2|x -> 6|x) v (3|x -> 6|x)

are equivalent. However, it is less clear cut with their ordinary language translations:

"If x is divisible by 2 and x is divisible by 3, then x is divisible by 6."
"If x is divisible by 2, then x is divisible by 6, or if x is divisible by 3, then x is divisible by 6."
#logic #implication

imdef

Example 2: write a|x for "x is divisible by a" or "a divides x". Then
(2|x ^ 3|x) -> 6|x
(2|x -> 6|x) v (3|x -> 6|x)

In both cases, the first form is natural and obvious and the second is something you'd normally never write. But, if pressed, maybe you'd bite the bullet and agree it's an equivalent form. I'm still undecided but I enjoyed the paper.
#logic #implication #conditional (3/3)

imdef

Material implication P -> Q is equivalent to ~P v Q. It is generally agreed that the "if P, then Q" construction in ordinary language is not always the same as material implication. However, when you study mathematics, you're trained to think that, in mathematics, "if P, then Q" really is material implication. Here is an in many ways careful explanation: (1/n)
gowers.wordpress.com/2011/09/2

#logic #implication #conditional

Basic logic — connectives — IMPLIES

Gowers's Weblog