- #1
ashleemorgan65
- 1
- 0
I am taking a logic class and we are getting into Predicate Logic and i have no idea how to do it can someone help me?
You can use Universal Instantiation, Conditional Proof, Conjunction Introduction (P, Q l- (P & Q)), and Universal Generalization.lazycritic said:V(universal quantifier)xFx |- VxGx--->Vx(Fx & Gx)
Is "-" negation or part of the quantifiers? "~" is negation, A and E are quantifiers.3. -](makeshift particular quantifier)x]yLxy |- Vx-Lxx
Quantifier exchange...but how do I get rid of the y?
4. |- -]xFx v Vx-Fx
Sorry, I'm not sure how to get rid of the y either.lazycritic said:According to your definitions, those problems look like:
3. ~Ex EyLxy |-Ax ~Lxx (close to the same thing)
Double negation. What is ~~Ax(~Fx)? Or ~~Ex(Fx)?4.|- ExFx v Ax ~Fx (looks like my post had a typo - no negation on the first existential quantifier)
Looks good.2. Fa AE
3. | Ga
4. | Ga & Fa
5. Ga ---> Ga & Fa
6. Ga ---> Fa & Ga
7. AxGx--->Ax(Fx & Gx)
3. ~Ex EyLxy |-Ax ~LxxHurkyl said:For #3, can't you use this?
Ay Py
-----
Px
Or some sort of substitution rule?
Predicate logic is a formal system of logic that deals with the relationships between propositions using predicates and quantifiers. It allows for precise and rigorous reasoning about complex statements and arguments.
Predicate logic is commonly used in mathematics and computer science to solve problems and prove theorems. In homework help, it can be used to analyze and evaluate arguments, identify logical fallacies, and construct logical proofs.
Some common symbols used in predicate logic include quantifiers (∀ for "for all" and ∃ for "there exists"), logical operators (¬ for "not", ∧ for "and", ∨ for "or"), and variables (x, y, z). These symbols help to express complex logical relationships in a concise and precise manner.
To improve your understanding of predicate logic, it is important to practice solving problems and constructing proofs. You can also read textbooks or watch online lectures to learn about different techniques and strategies for using predicate logic.
One common mistake in predicate logic is confusing the order of quantifiers. For example, the statement "for every x, there exists a y" is not the same as "there exists a y for every x." It is important to carefully consider the placement and scope of quantifiers when constructing logical statements.