Step-by-step explanation:
move the constant to the right hand side and change its sign
-10 +3= -117-3
calculate the difference
-10n= -120
divide both sides by -10
-10 = -120
N= 12
Answer:
Step-by-step explanation:
1) Subtract 3 from both sides.
2) Simplify -117 - 3 to - 120.
3) Divide both sides by -10.
4) Two negative makes a positive.
5) Simplify 120/10 to 12.
Therefor,theanswerisn=12.
Use rules of inference to prove that the following conclusion follows from these hypotheses:
C : ∃x (p(x) ∧ r(x))
Clearly label the inference rules used at every step of your proof.
2. Consider the following hypotheses:
H1 : ∀x (¬C(x) → ¬A(x)) H2 : ∀x (A(x) → ∀y B(y)) H3 : ∃x A(x)
Use rules of inference to prove that the following conclusion follows from these hypotheses:
C : ∃x (B(x) ∧ C(x))
Clearly label the inference rules used at every step of your proof.
3. Consider the following predicate quantified formula:
∃x ∀y (P (x, y) ↔ ¬P (y, y))
Prove the unsatisfiability of this formula using rules of inference.
Answer:
See deductions below
Step-by-step explanation:
1)
a) p(y)∧q(y) for some y (Existencial instantiation to H1)
b) q(y) for some y (Simplification of a))
c) q(y) → r(y) for all y (Universal instatiation to H2)
d) r(y) for some y (Modus Ponens using b and c)
e) p(y) for some y (Simplification of a)
f) p(y)∧r(y) for some y (Conjunction of d) and e))
g) ∃x (p(x) ∧ r(x)) (Existencial generalization of f)
2)
a) ¬C(x) → ¬A(x) for all x (Universal instatiation of H1)
b) A(x) for some x (Existencial instatiation of H3)
c) ¬(¬C(x)) for some x (Modus Tollens using a and b)
d) C(x) for some x (Double negation of c)
e) A(x) → ∀y B(y) for all x (Universal instantiation of H2)
f) ∀y B(y) (Modus ponens using b and e)
g) B(y) for all y (Universal instantiation of f)
h) B(x)∧C(x) for some x (Conjunction of g and d, selecting y=x on g)
i) ∃x (B(x) ∧ C(x)) (Existencial generalization of h)
3) We will prove that this formula leads to a contradiction.
a) ∀y (P (x, y) ↔ ¬P (y, y)) for some x (Existencial instatiation of hypothesis)
b) P (x, y) ↔ ¬P (y, y) for some x, and for all y (Universal instantiation of a)
c) P (x, x) ↔ ¬P (x, x) (Take y=x in b)
But c) is a contradiction (for example, using truth tables). Hence the formula is not satisfiable.
Answer:
10 min
Step-by-step explanation:
2min = 2 seals
x min= 10 seals
2*10/2
= 10 min
Answer:
Step-by-step explanation:
Hope this helped
Answer:
Step-by-step explanation:
A boat leaves the harbor entrance and travels 28 miles in the direction N 43° E.
Displacement in vector form
= 28 cos43 i + 28sin43j
= 20.47 i + 19.1 j
The captain then turns the boat 90° and travels another 15 miles in the direction S 47° E
Displacement
= 15 cos47 i - 15 sin47 j
= 10.22 i - 10.97 j
Total displacement
= 20.47 i + 19.1 j + 10.22 i - 10.97 j
= 30.69 i - 8.13 j
Magnitude of displacement
= 31.75 miles
Angle with east direction
TanФ = - 8.13 / 30.69
Ф = 15 degree south of east.