Выполняется ли закон исключенного третьего в следующих утверждениях: "Петров получил зачет" и "Петров не получил зачет"?

Реки бывают горные или равнинные. Эта река горная. Следовательно, она не равнинная. Определите вид умозаключения. Сделайте выводы.

Записать следующие высказывания в виде формул логики высказываний, используя логические переменные для обозначения элементарных высказываний, т.е. таких, которые уже не могут быть построены с помощью каких-либо других высказываний.

Постройте прямое и косвенное доказательство тезиса, используя в качестве демонстрации дедукцию, а потом индукцию. А потом по-стройте прямое и косвенное опровержение этого тезиса, если это возможно. В случае невозможности объясните её причины.