А не А не (неА)

да	нет	да
нет	да	нет

Сравнение крайних столбцов показывает, что всюду, где выска­зывание А истинно, там же истинно и двойное отрицание не (не А). И наоборот, всюду, где ложно А, там ложно и двойное отрицание не (не А). Следовательно, двойное отрицание тождественно исходному высказыванию: не (не А) º А.

 

Задача 2. Сравните с помощью таблиц истинности отрицание дизъюнкции и отрицание конъюнкции не (А и В) и не (А или В).

Р е ш е н и е .

АВАиВне (АиВ)АилиВне (АилиВ)

да	да	да	нет	да	нет
да	нет	нет	да	да	нет
нет	да	нет	да	да	нет
нет	нет	нет	да	нет	да

 

В о п р о с ы

1. Когда истинно отрицание?

2. Когда ложна дизъюнкция?

3. Когда истинна конъюнкция?

4. Когда ложна импликация?

 

З а д а н и е

 

1. Составьте таблицы истинности для утверждений:

а) (не А) и (не В); в) (не А) или (не В);

б) А и (не В); г) А или (не В).

2. Сравните с помощью таблиц истинности логические выражения:

а) не (А и В); в) (не А) или (не В);

б) не (А и В); г) (не А) или (не В).

3. Проверьте по таблицам истинности логические законы:

а) отрицание конъюнкции:

не (А и В) = (не А) или (не В);

б) отрицание дизъюнкции:

не (А или В) = (не А) и (неВ);

в) отрицание импликации:

не (А ® В) º (не В) ® (не А).