Эта таблица подтверждает наше интуитивное представление о том, что утверждение и его отрицание не могут быть истинны одновременно. Эта тавтология в исчислении высказываний называется законом исключения третьего. Рассуждения с помощью исчисления высказываний. Прежде всего, надо обеспечить способ сравнения двух высказываний на эквивалентность, для того, чтобы, при необходимости, заменять одно другим. Так же, нам потребуется техника для обнаружения тавтологий, более мощная, чем таблица истиности. И, наконец, мы рассмотрим методы рассуждений, которые могут быть полезны для разрешения логических проблем, сформулированных на естественном языке. Все это нам потребуется для анализа различных свойств как алгоритмов, так и программ на языке программирования Pascal. Эквивалентность. Рассмотрим высказывание (pÚq)Ù(pÚØq). Его таблица истиности представлена в таблице 5.7. Таблица 5.7. Таблица истиности для (pÚq)Ù(pÚØq)
|
Главная