Запишите в виде логической формулы следующие высказывания: Если Иванов здоров и богат, то...

Question

Запишите в виде логической формулы следующие высказывания:

Если Иванов здоров и богат, то он здоров.
Число является простым, если оно делится только на единицу и само на себя.
Если число делится на 4, то оно делится и на 2.
Произвольно взятое число либо делится на 2, либо делится на 3.
Спортсмен подлежит дисквалификации, если он некорректно ведет себя по отношению к сопернику или судье, и если он принимал “допинг”.

Answer 1

1. A - Иванов богат. В - Иванов здоров. (A & B) ⇒ A
2. А - число делится на единицу. B - число делится само на себя, С - число простое. С≡(A & B)
3. A - число делится на 2. В - число делится на 4. А⇒В
4. А - число делится на 2. В - число делится на 3. 
5. A - спортсмен некорректно себя ведет. В - спортсмен принимает допинг. С - спортсмен подлежит дисквалификации. (A ∨ B) ⇒ C