Question

1)Translate all the definitions needed to derive the conclusion into propositional formulas (i.e., premises)

2)Derive your proof for S using natural deduction with the premises.

S: there exist irrational numbers a and b such that a^b is rational

A: √2 is rational

B: √2^√2 is rational

C: √2^√2*√2 is rational

Answer #1

1)Translate all the definitions needed to derive the conclusion
into propositional formulas (i.e., premises)
2)Derive your proof for S using natural deduction with the
premises.
S: there exist irrational numbers a and b such that a^b is
rational
A: √2 is rational

Use natural deduction to derive the conclusion in each
problem.
Use conditional proof or indirect proof as needed:
1.
(x)(Jx⊃∼Ga)
2.
(∃x)(Jx • Gc)
/ a ≠ c

1. There are three islanders: A says “If B and I are both
telling the truth, then so is C”, B says “If C is telling the
truth, then A is lying”, and C says “It is not the case that all
three of us are telling the truth.” Using propositional variables
a, b, and c to represent the truth of the statements of A, B, and C
respectively, we can represent the problem by the three premises a
↔...

1. For each statement that is true, give a proof and for each
false statement, give a counterexample
(a) For all natural numbers n, n2
+n + 17 is prime.
(b) p Þ q and ~ p Þ ~ q are NOT logically
equivalent.
(c) For every real number x
³ 1, x2£
x3.
(d) No rational number x satisfies
x^4+ 1/x
-(x+1)^(1/2)=0.
(e) There do not exist irrational numbers
x and y such that...

Prove the following using induction:
(a) For all natural numbers n>2, 2n>2n+1
(b) For all positive integersn,
1^3+3^3+5^3+···+(2^n−1)^3=n^2(2n^2−1)
(c) For all positive natural numbers n,5/4·8^n+3^(3n−1) is
divisible by 19

1. Translate the following English expressions into logical
statements. You must explicitly state what the atomic propositions
are (e.g., "Let p be proposition ...") and then show their logical
relation.
a. If it is red then it is not blue and it is not green.
b. It is white but it is also red and green and blue.
c. It is black if and only if it is not red, green, or blue.
2. Determine if the following expressions are...

1. In the space below,
a. state Archimedes’ Principle
b. define density
c. Mathematically, derive an equation based on this laboratory
that uses Archimedes principle to measure the density of an object
in terms of measurable quantities. Make sure the density of the
object is NOT in terms of the unknown volume of the object in
question. You can assume you know the density of water.
d. Be sure to draw a free-body diagram of the mass attached to
the...

FOR PROBLEMS 1 AND 2. Use the sequence formulas. Carry out your
calculations to the final number. Round the results to 1 decimal
place.
1. Consider the sequence: 1/2, 1, 2, 4, 8, a. Find the 30th term of
the sequence.
b. Find the sum of the first 30 terms of the sequence.
2. You give your daughter a piggy bank with $2 in it. She puts $5
in it the next week and each week thereafter. How much...

2. Which of the following is a negation for ¡°All dogs are
loyal¡±? More than one answer may be correct.
a. All dogs are disloyal. b. No dogs are loyal.
c. Some dogs are disloyal. d. Some dogs are loyal.
e. There is a disloyal animal that is not a dog.
f. There is a dog that is disloyal.
g. No animals that are not dogs are loyal.
h. Some animals that are not dogs are loyal.
3. Write a...

1. Calculate the mean and standard deviation for the numbers 1 –
20.
i.e.) 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16,
17, 18, 19, 20
Note: The set of numbers will be considered the population.
µ = _______σ = ________
2. With your calculator, randomly generate 5 numbers from the
numbers 1 – 20, 30 times.
Use:[MATH]>>>PRB #5
RandInt(1,20,5)[ENTER]Note: You cannothave the same number
repeated in the group of 5.
For...

ADVERTISEMENT

Get Answers For Free

Most questions answered within 1 hours.

ADVERTISEMENT

asked 14 minutes ago

asked 40 minutes ago

asked 45 minutes ago

asked 1 hour ago

asked 1 hour ago

asked 2 hours ago

asked 2 hours ago

asked 2 hours ago

asked 2 hours ago

asked 3 hours ago

asked 3 hours ago

asked 3 hours ago