Answer:
Step-by-step explanation:
Reduction to normal from using lambda-reduction:
The given lambda - calculus terms is, (λf. λx. f (f x)) (λy. Y * 3) 2
For the term, (λy. Y * 3) 2, we can substitute the value to the function.
Therefore, applying beta- reduction on "(λy. Y * 3) 2" will return 2*3= 6
So the term becomes,(λf. λx. f (f x)) 6
The first term, (λf. λx. f (f x)) takes a function and an argument, and substitute the argument in the function.
Here it is given that it is possible to substitute the resulting multiplication in the result.
Therefore by applying next level beta - reduction, the term becomes f(f(f(6)) (f x)) which is in normal form.
Answer:
x>7 or x ≤ -3
Step-by-step explanation:
Solving the 1st inequality
-6x +14 < -28 --------------- (Collect like terms)
-6x < -28 - 14
-6x < - 42 -------------------- (Divide both sides by -6)
Note: If you decide an inequality expression by a negative value, the inequality sign changes)
-6x/-6 > -42/-6
x > 7
Solving the 2nd inequality
9x + 15 ≤ −12 ----------- (Collect like terms)
9x ≤ −12 - 15
9x ≤ −27 ------------------(Divide both sides by 9)
9
9x/9 ≤ −27/9
x ≤ -3
Bring both results together, we get
x>7 or x ≤ -3
The final result is complex (i.e. can't be combined together).
F(x)= 1/4x the slope goes 0.25 upwards
Answer: The measurement is not multiplied by a power of 10
i hope this helped <3