&& - 論理積 (かつ) 演算子

&& (かつ) 演算子はまず左辺の式を評価します。それが真となる値であれば、右辺の値を評価し、その値を結果とします。そうでない場合は、結果は左辺の値となります。その型は両辺の型の組み合わせ (ユニオン型）です。

したがって&&はifのシンタックスシュガーのように考えられます。

some_exp1 && some_exp2

# 上記は以下に同じ
tmp = some_exp1
if tmp
  some_exp2
else
  tmp
end