Дискретная математика. Элементы теории, задачи и упражнения. Часть 2. Булгакова И.Н. - 7 стр.

UptoLike

ВУЗ: 

ВГУ | Воронеж

Составители: 

Рубрика: 

7
Форма высказывания естественного языка
Соответствующая
формула языка
алгебры логики
Не
A
;
неверно, что
A
;
A
не имеет места
A
A
и
B
;
как
A
, так и
B
;
не только
A
, но и
B
;
A
вместе с
B
;
A
, несмотря на
B
;
A
, в то время как
B
AB
или
&
A
A
, но не
B
;
не
B
, а
A
AB
или
&
AB
A
или
B
;
A
или
B
или оба
B
A
Ú
A
либо
B
;
A
, разве что
B
;
либо
A
, либо
B
;
не
A
, разве что не
B
;
либо не
A
, либо не
B
;
A
или
B
, но не оба
B
A
B
A
Ú
либо
A
, либо
B
и
C
;
A
, разве что
B
и
C
BCACBA
Ú
либо
A
и
B
, либо
C
и
D
CDBADCAB
Ú
если
A
, то
B
;
B
, если
A
;
A
только, если
B
;
A
достаточно для
B
;
A
только при условии,
что
B
;
B
необходимо для
A
;
A
, значит
B
;
для
B
достаточно
A
;
A
влечет
B
;
для
A
необходимо
B
;
все
A
есть
B
;
из
A
следует
B
;
B
тогда, когда
A
B
A
®
A
эквивалентно
B
;
A
тогда и только тогда, когда
B
;
A
, если и только если
B
;
A
необходимо и достаточно для
B
B
A
«
ЗАДАЧИ И УПРАЖНЕНИЯ
1. Переведите на язык алгебры логики следующие высказывания:
1) Если светит солнце, то для того, чтобы не было дождя и доста-
точно, чтобы дул ветер.
2) Неверно, что если дует ветер, то солнце светит только тогда,
когда нет дождя. 
                                                     Соответствующая
  Форма высказывания естественного языка              формула языка
                                                      алгебры логики
Не A ;
неверно, что A ;                                           A
A не имеет места
A и B;                     A вместе с B ;
как A , так и B ;          A , несмотря на B ;        AB или A & B
не только A , но и B ;     A , в то время как B
A , но не B ;
                                                      AB или A & B
не B , а A
A или B ;
A или B или оба                                           A� B
A либо B ;                 не A , разве что не B ;
              B
A , разве что ;            либо не A , либо не B ;      AB � A B
либо A , либо B ;          A или B , но не оба
либо A , либо B и C ;
                                                       AB C � A BC
A , разве что B и C
либо A и B , либо C и D                              ABC D � A B CD
                           B необходимо для A ;
если A , то B ;            A , значит B ;
B , если A ;               для B достаточно A ;
A только, если B ;         A влечет B ;
                                                         A� B
A достаточно для B ;       для A необходимо B ;
A только при условии, все A есть B ;
что B ;                    из A следует B ;
                           B тогда, когда A
A эквивалентно B ;
A тогда и только тогда, когда B ;
                                                         A� B
A , если и только если B ;
A необходимо и достаточно для B


                    ЗАДАЧИ И УПРАЖНЕНИЯ

1. Переведите на язык алгебры логики следующие высказывания:
      1) Если светит солнце, то для того, чтобы не было дождя и доста-
          точно, чтобы дул ветер.
      2) Неверно, что если дует ветер, то солнце светит только тогда,
          когда нет дождя.


                                     7

Страницы