3.06 Операция эквивалентности

Операция эквивалентности соответствует связке: «тогда и только тогда, когда».

Операция эквивалентности соответствует связке «тогда и только тогда, когда». Эквиваленция Р тогда и только тогда, когда Q имеет то же значение, что и P, т. е. если Р, то Q, и если Q, то Р.

Эквиваленция обозначается Р « Q. Приведем конкретные примеры, как с помощью операций «, ®, , , строить сложные высказывания из простых предложений.

Пример 1.

Если «Спартак» или «Динамо» проиграют, а «Торпедо» выиграет, то «Локомотив» займет второе место, а я проиграю пари.

Р – «Спартак проиграет»;

Q – «Динамо» проиграет;

G – «Торпедо» выиграет;

D – «Локомотив» займет второе место;

B – я проиграю пари.

Это высказывание представляет собой импликацию «если – то»: I = A«C.

Антецедент А состоит из трех простых предложений P,Q и C.

Консеквент В состоит из двух простых предложений D и В;

А = (РQ) G; C = D B;
I =
[ (P Q) G] ® (D B).

Пример 2.

Если правительство Чечни или правительство России упорст­Вуют, то конфликт в Чечне может быть урегулирован тогда и только тогда, когда СБСЕ соберет круглый стол с участием всех заинтересованных сторон, а дополнительные войска в Чечню посланы не будут.

L – правительство Чечни упорствует;

M – правительство России упорствует;

S – конфликт может быть урегулирован;

G – СБСЕ соберет круглый стол;

R – дополнительные войска будут посланы.

Все высказывания – это импликация I = A ® B. Антецедент A есть дизъюнкция двух предложений L и M: A = (L M). Консеквент B Есть эквиваленция, левая часть которой есть предложение S, а правая часть – конъюнкция предложений G и не R: B = [S « (G )];

I = (L M) ® [ S « (G )].

Пример 3.

C – сегодня ясная погода;

R – сегодня идет дождь;

S – сегодня идет снег;

Y – вчера было пасмурно.

Сегодня ясная погода, если не идет ни дождь, ни снег.

® С

Сегодня ясная погода тогда и только тогда, когда вчера не было пасмурно, или сегодня не идет ни дождь, ни снег.

С « ()

Переведите на обычный язык следующие высказывания:

« (R S) Y;
Y R
® .

© 2011-2024 Контрольные работы по математике и другим предметам!