Могут ли быть истинными следующие высказывания, в которых используются импликация и эквивалентность? а) если утром тучи в небе, то к обеду будет дождь б) если костя брат n, то n - брат кости в) если х - сын или дочь y, то х - мать или отец х г) людоед голоден тогда и только тогда, когда он давно не ел.

Людоед голоден тогда и только тогда, когда он давно не ел.

Обозначим через А простое высказывание «Людоед голоден», а через В «он давно не ел». Тогда логическая формула сложного высказывания имеет вид: А=В.

 

Таблица истинности операций импликации и эквивалентности.

   А                            В                    А→В                          А=В
   И                            И                      И                                И
   И                            Л                      Л                                 Л
   Л                            И                      И                                 Л
   Л                            Л                      И                                 И

 

Вывод.

Порядок логических операций по убыванию старшинства следующий: отрицание, конъюнкция, дизъюнкция, импликация, эквивалентность.