SOLUTION: Proof:
1. ~O > ~ O
2. X > (X > O)
/~X
Algebra.Com
Question 1090652: Proof:
1. ~O > ~ O
2. X > (X > O)
/~X
Answer by jim_thompson5910(35256) (Show Source): You can put this solution on YOUR website!
The argument is Invalid
How can we determine this? By use of a logic table shown below

Breakdown of the table
- Column A represents the truth values for logic expression O (either T for true or F for false)
- Column B represents the truth values for logic expression X
- Column C is the truth values for logic expression ~O (this is the complete opposite of what is shown in column A)
- Column D has us compute the first premise's truth values. In this case, no matter what O happens to be, the truth value of ~O > ~O is always true. This is because ~O > ~O is equivalent to ~~O v ~O and that turns into O v ~O. After substitution of truth values, you'd end up with T v F or F v T which is always true. In plain english, it's like saying "I either got the object or I didn't get the object"
- Column E isn't a premise so I didn't mark it in blue. It will help set up the premise in column F. Similar to column D, we use the conditional template. The expression X > O is only false if X is true and O is false. This happens in line 4
- Column F uses column E. Column F is a premise so I marked it in blue. The same rules used prior (with columns D and E) will be used here
- The last column, column G, is the conclusion marked in green. Simply negate or take the opposite of whatever you see in column B (where X is located)
Row 2, where I've marked the premises and conclusion in red, shows us that the argument is invalid. This row is a case where all of the premises are true but the conclusion is false.
In short,
if O = true and X = true
then...
the premise ~O > ~O is true
the premise X > (X > O) is true
but the conclusion ~X is false
This is why the argument is invalid. It is impossible to do a proof derivation of invalid proofs. It's possible your teacher made a typo or s/he is trying to throw a trick question.
RELATED QUESTIONS
lim cosx - cos3x /x^2
x-o
lim 1-cos4x /xsin2x
x-o
(answered by richard1234)
1. ~X ⊃ ~~O
2. ~X ⊃ A
3. ~(O * A) /... (answered by Edwin McCravy)
x+x=o (answered by longjonsilver)
Give a logical argument for the proof below.
Given: 3(x - 4) = 7x + 8
Prove: x = -5... (answered by josgarithmetic)
X exponent... (answered by jim_thompson5910)
I need help finishing this proof.
1. ~ (A v B)
2. E > B
3. E v (G > U)
4. H v (answered by jim_thompson5910)
f(x)=x-2 and g(x) = x2 (squared) find each value
(g o f)(4)
(f o... (answered by nerdybill)
For f(x)= 1/x^2-3 Find:
a. (f o g)(x)
b. (g o... (answered by fractalier)
x^2-10x+y^2+21=o (answered by Fombitz)