this post was submitted on 05 Dec 2024
235 points (93.7% liked)

Science Memes

11408 readers
1046 users here now

Welcome to c/science_memes @ Mander.xyz!

A place for majestic STEMLORD peacocking, as well as memes about the realities of working in a lab.



Rules

  1. Don't throw mud. Behave like an intellectual and remember the human.
  2. Keep it rooted (on topic).
  3. No spam.
  4. Infographics welcome, get schooled.

This is a science community. We use the Dawkins definition of meme.



Research Committee

Other Mander Communities

Science and Research

Biology and Life Sciences

Physical Sciences

Humanities and Social Sciences

Practical and Applied Sciences

Memes

Miscellaneous

founded 2 years ago
MODERATORS
 
you are viewing a single comment's thread
view the rest of the comments
[–] [email protected] 59 points 2 weeks ago (2 children)

The boolean operator 'If and only if' do not have a relation with the program instruction 'if'.

The programatic 'if' is a jump, not a boolean operator. It do not have truth table.

In logic:, if and iff can be seen like functions taking two booleans and returning a boolean

  • 'if a then b' (noted a -> b): return true if a is false or b is true. Example: 'if I eat pizza then I fart' This is true even if I fart all the time (if b is true, we do not care about the value of a) as long as I fart when eating pizza (if a is true, b must be also true)

  • 'a <-> b' is equivalent to 'a -> b and b -> a': the two should be true at the same time. I can only fart will eating pizza and cannot fart otherwise.

[–] [email protected] 5 points 2 weeks ago (2 children)

So in programming, you'd write 'if' as:
not pizza or fart where the farting is irrelevant until the pizza is involved.

While 'iff' would be:
pizza equals fart where pizza means fart and no pizza means no fart.

I actually wrote iff as (not pizza and not fart) or (pizza and fart) before, and I'm pretty sure that's the way I wrote an iff in production code in the past, but your comment made me realize that "they should be true at the same time" can be tested really easily with equality.

[–] [email protected] 1 points 1 week ago

I don't love the pizza fart variable naming convention, but it's better than foobar and I don't have a better suggestion 😅

[–] [email protected] 1 points 2 weeks ago (1 children)

If not pizza and not fart: pass

[–] [email protected] 1 points 2 weeks ago

If pizza then fart else !fart