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

UptoLike

ВУЗ: 

ВГУ | Воронеж

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

Рубрика: 

Операция замыкания . Основные замкнутые классы .
__________________________________________________________________________________________
57
Форма высказывания естественного языка
Соответствующая
формула языка
алгебры логики
Не
A
;
неверно, что
A
;
A
не имеет места
A
A
и
B
;
как
A
, так и
B
;
не только
A
, но и
B
;
A
вместе с
B
;
A
, несмотря на
B
;
A
, в то время как
B
AB
или
BA &
A
, но не
B
;
не
B
, а
A
B
A
или
BA &
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. Переведите на язык алгебры логики следующие высказывания:
a) Если светит солнце, то для того , чтобы не было дождя и доста-
точно, чтобы дул ветер.
b) Неверно, что если дует ветер, то солнце светит только тогда,
когда нет дождя. 
                                           57
Операция замыкания. Основные замкнутые классы.
__________________________________________________________________________________________


                                                                     Соответствующая
 Форма высказывания естественного языка                               формула языка
                                                                      алгебры логики
Не 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 ;
A , разве что B ;          либо не A , либо не B ;                        AB ∨ A B
либо A , либо B ;          A или B , но не оба
либо A , либо B и C ;
                                                                        AB C ∨ A BC
A , разве что B и C
либо A и B , либо C и D                                              AB C 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. Переведите на язык алгебры логики следующие высказывания:
      a) Если светит солнце, то для того, чтобы не было дождя и доста-
           точно, чтобы дул ветер.
      b) Неверно, что если дует ветер, то солнце светит только тогда,
           когда нет дождя.

Страницы