Определите логическую форму рассуждения. Тот, кто все отрицает, ничему не верит; кто ничему не верит, находится в противоречии сам с собой, поскольку он верит в допущение, что все невероятно; кто находится в противоречии сам с собой, тот мыслит нелогично.

Дано: У нас есть несколько утверждений, которые мы можем обозначить как логические переменные:

• $A$: "Кто все отрицает, ничему не верит."
• $B$: "Кто ничему не верит, тот находится в противоречии сам с собой."
• $C$: "Кто находится в противоречии сам с собой, тот мыслит нелогично."
• $D$: "Кто все отрицает, тот мыслит нелогично."

Найти: Определить логическую форму рассуждения и проверить его корректность.

*Решение...