Assertions for functional programming

[clear briar]

Can someone help me to understand whats the meaning of these question and its answer?

[abstract shard]

<@&987246964494204979> please have a look, thanks.

[ripe girder]

It basically says that you have two constant values true and false and that true is truthy regardless of the variables and false is not truthy for any combination of variables

[clear briar]

so there is one variable that unsitisfies this statement?

[ripe girder]

What?

[clear briar]

can u explain better? more depth

[ripe girder]

Okay, let's start like this:
What don't you understand about question & answer?

[clear briar]

I cant understand solution whats the meaning of it

[ripe girder]

Do you know Boolean algebra?

[clear briar]

why is false "stronger"

[clear briar]

yes

[ripe girder]

Okay, so instead of having an expression like e.g. a v b you have just false, which is obviously false regardless of what the variables a, b, c, d, ... are

[clear briar]

do u mean AND operator?

^

[ripe girder]

Gimme a sec to research strong/weak assertions again

[ripe girder]

I meant the OR operator there

[clear briar]

What if one of the variables is 1

it will be always true regardless second variable

[ripe girder]

"p is stronger than q" is another way of saying "p implies q". Thus the statement that "x is a cow" is stronger than the statement "x is an animal".

"p is weaker than q" is another way of saying "q implies p". Thus the statement that "x is a animal" is weaker than the statement "x is an cow"

So yeah, when we say false is the strongest assertion, that means that false implies every other q

Other way around for true

[clear briar]

That doesnt really answer my question, I know what are stringer/weaker assertion means but how that applies false/true.

[potent gazelle]

🥴

[clear briar]

?

[ripe girder]

What about my answer didn't answer your question?