Если Петя купит шоколадку или печенье, то у него будет что-то к чаю.

Если дискриминант квадратного уравнения больше или равен нуля, то квадратное уравнение имеет действительные корни.

дизъюнкция - или

импликация - если ... то