## Mathematical Logic and Structures

Topics that don't fit anywhere else.

### Mathematical Logic and Structures

Hey guys, i need a HUGE favor, i need the resolution for this 5 questions, its a question of end this year my degree or stay one year just with a subject. Please I am begging, who knows the resolution please say me something.

Part 1: Mathematical Logic

2- Convert the formula into the prenex form: (square root of)x p(x,g) -> ( inverted E )y (square root of) z q (x,y)
3- Consider the language L with the symbol of equality and one array predicate symbol. Write the formula in this language which express “there exist exactly one x such that p(x) holds”
4- Verify, which any of the formulas ¬ A v B and A or B substituted for x makes the formula ( A -> x ) -> ( x -> B ) a tautology.
Part 2: Mathematical Structures
1 - find the subgroup of the group (Z, +, 0) generated by the set {20,25} .
2 - Describe the free object over a given set X on the constant Pos (of partially ordened sets and isotone maps)
rafa_mota04

Posts: 3
Joined: Sun May 19, 2013 4:19 pm

rafa_mota04 wrote:Hey guys, i need a HUGE favor, i need the resolution for this 5 questions, its a question of end this year my degree or stay one year just with a subject.

The above sounds as though you are requesting that people do your take-home exam for you, in order to allow you to cheat your way to a degree. Naturally, this is not at all something that this site would condone.

Please reply with a clear listing of your efforts so far. It will be helpful if you include the topic of study, which may help to define some of the terms and symbols that you have used. Thank you.

stapel_eliz

Posts: 1758
Joined: Mon Dec 08, 2008 4:22 pm

### Re: Mathematical Logic and Structures

I just need help, because this exercicies are the same kind of exercices that i will have in exam.
rafa_mota04

Posts: 3
Joined: Sun May 19, 2013 4:19 pm

So you've been taking courses in... whatever your topical area is. And you're about to have an exam on these... topics. Please reply with the topical area and a clear listing of your efforts so far. Thank you.

stapel_eliz

Posts: 1758
Joined: Mon Dec 08, 2008 4:22 pm

### Re: Mathematical Logic and Structures

Hi, I study Computer Science but this is advanced algebra :S

Until now i just understand and know how to do this question: find the subgroup of the group (Z, +, 0) generated by the set {20,25} .

Because for : Describe the free object over a given set X on the constant Pos (of partially ordened sets and isotone maps) i dont have any ideia where i found something to help me resolving this question.
rafa_mota04

Posts: 3
Joined: Sun May 19, 2013 4:19 pm