View Single Post
Old 2008-02-18, 14:46   Link #60
pichu
Senior Member
*Fansubber
 
 
Join Date: Jul 2004
Well I'm sorry, but really... I'm refuting this: If I can style, I am a typesetter.

Given the following premises:

Typesetter is someone who can typeset. If one can typeset, one can style text and one can do graphics too.

Is the following conclusion valid?
If I can style, I am a typesetter.

Let T = typesetting
Let S = Text Styling
Let G = Graphics

Given:
T -> SG

Prove:
S->T is valid.

Use the Truth Tables:

TSGT->SGS->T(S->T)->(T->SG) (Conclusion)
00011
00111
01010
01110
10001* (I can typeset, I can't style, nor do I know how to do graphics [FAIL])
10101* (I can typeset, I can't style, but I know how to do graphics [FAIL])
11001* (I can typeset, I know how to style, but I don't know how to do graphics [FAIL])
11111


I haven't done truth table in a while, so please be considerate, but if you don't know what is it, go study the following links:

http://en.wikipedia.org/wiki/Truth_table
http://en.wikipedia.org/wiki/Boolean_algebra

Let's represent 1 = true, and 0 = false. The * in the last column are the ones that fail that clause (whether styling concludes to be a typesetting)

As one can see, that conclusion is invalid. If you can refute my logic this way, please say so but in a boolean algebra or truth table fashion rather than words. Basic boolean stuff.

Even without "G", it's still invalid, as T->S =/=> S->T... Basic Definition (note: T->S == !T + S). I just add in "G" for a bit more meanings.
__________________
A small tool I made, and Learn how to make fansub karaoke in After-Effects: AFXKRK

Last edited by pichu; 2008-02-18 at 15:49. Reason: Fixed the TT ;_;
pichu is offline   Reply With Quote