По поводу [3] - ошибка в ссылке, конечно.

Линейный поиск подразумевает дизъюнкцию в условии окончания (конъюнкцию в условии продолжения).
Это - полный проход (условие окончания - больше нет вещественных чисел).

Можно строить более "глубоко", но вопрос в целесообразности. Доказать правильность = представить в такой форме, чтобы правильность была очевидна.