(дискретная )* ∧ - конъюнкция ; ∨ - дизъюнция ; ¬ - отрицание; → -

- импликация.

*//докажите, что следующие формулы опровержимы, не составляя для них таблиц истинности, а указав какие-нибудь значения входящих в них пропозициональных переменных, при которых эти формулы обращаются в ложные высказывания:

1) (( x → ( y ∧ z )) → ( ¬y → ¬x )) → ¬y;

2) (( x ∨ y ) ∨ z ) → (( x ∨ y ) ∧ ( x ∨ z ));

3) (( x ∨ y ) ∧ (( y ∨ z ) ∧ ( z ∨ x → (( x ∧ y) ∧ z );

4) ( x ∧ y ) ∨ ( x ∧ z ) ∨ ( y ∧ z ) ∨ ( u ∧ v ) ∨ ( u ∧ w ) ∨ ( v ∧ w) ∧ ( ¬x ∧ ¬u ).

.

227

255

Посмотреть ответы 1

Ответы на вопрос:

alinabilalova161

4,8(3 оценок)

для профилактики остеохондроза шейно-грудного отдела позвоночника

Объяснение:

Задай свой вопрос

Как otvet5GPT работает?

otvet5GPT использует большую языковую модель вместе с базой данных GPT для обеспечения высококачественных образовательных результатов. otvet5GPT действует как доступный академический ресурс вне класса.
Сколько это стоит?

Проект находиться на стадии тестирования и все услуги бесплатны.
Могу ли я использовать otvet5GPT в школе?

Конечно! Нейросеть может помочь вам делать конспекты лекций, придумывать идеи в классе и многое другое!
В чем отличия от ChatGPT?

otvet5GPT черпает академические источники из собственной базы данных и предназначен специально для студентов. otvet5GPT также адаптируется к вашему стилю письма, предоставляя ряд образовательных инструментов, предназначенных для улучшения обучения.