Bunch of logic-speak: can't understand

[Char. Limit]

So I was looking at improper integrals of the second kind, and I got this:

Now, what's all that logic-speak after the GIF even mean? I can't understand it... it's full of giant Vs and Lambdas.

 

[Borek]

V for OR and lambda for AND?

 

[Char. Limit]

V for OR and lambda for AND?

Ah... that makes it a lot easier to understand.

I really need to take a logic class or something...