Отрицание в следующих предложениях
Я новичок в логике. Я написал отрицание на следующие предложения.
(i) If you can run fast on sports meet then you can run fast on Olympic.
(ii) If the connector is loose or it is unplugged machine will not work.
Может ли кто-нибудь проверить, правильны или неправильны следующие модификации? Любая помощь высоко ценится.
(i) If you can't run fast then you can't run on Olympic
¬run fast(sports meet) → run fast(Olympic)
(ii) If the connector is not loose or it is plugged machine will work.
¬loose(connector) ∨ plugged (connector) → work(machine)