1. Other
  2. Other
  3. question regarding predicate logic...

Question: question regarding predicate logic...

Question details

Question regarding predicate logic

3. The greatest common divisor of two integers a and b is d if d divedes a, d divides b, and any integer that divides a and b is less than or equal to d. Express this as a three-place predicate GCD(a,b,d) using only quantifiers, binary connectives, the usual comparison symbols (, s, etc.) and the divides symbol |

Solution by an expert tutor
Blurred Solution
This question has been solved
Subscribe to see this solution