| Question Home |
Position:Home>Philosophy> Is this a contradiction (formal logic)?Question: Is this a contradiction (formal logic)!? If I'm using indirect proof, and I need to find a contradiction to introduce a negation, does the following count!?
F v G ~F v ~G Or would I have to negate the modifier for a true contradiction to occur!? F v G ~(F v G) Or do both work!?Www@QuestionHome@Com Best Answer - Chosen by Asker: You need to negate the modifier as in your second example!. ~F v ~G doesn't provide a contradiction because in both examples F or G could still obtain!. By providing ~(F v G), it disallows for (F v G) altogether!. Remember that only one of F or G need to be T for (F v G) to be T!. Hope that helps a little!.Www@QuestionHome@Com i do not understand that jargon sir, but i am convinced that everything is a contradiction!. for an entity can only be defined relative to another entity!. taking everything to be one entity, then everything can only be defined relative to something else!. but there is nothing else to everything!. therefore everything is defined relative to nothing, and so nothing is everything!. or everything is nothing!. i beleive that the true logic of this world is in the calculus of contradictionsWww@QuestionHome@Com i don't believe there's a contradiction!. contradiction occurs when you assert one thing, then assert the opposite thing!. in your example all i see are two sets of dis junctions!. what's your argument!?Www@QuestionHome@Com What's really the answer!?Www@QuestionHome@Com |