Hi, I've heard of this one name, or rather it's a name of language that they use on chatting or using password, that goes like changing a to @, o to (), s to $, etc etc. Anyone knows what is the name of that thing?
Firstly, where do I have to post if i have a question on LaTeX?
and here's the question,
\vdash_{A}
how do I make that subscript exactly below the line - on that simbol?
Hi, I am planning to take my master next year, I have several misunderstanding that I wish anybody can explain.
Okay, at first, last year, I've been checking Master programme on Universities. I found that some of them distinguished Master by research and master by coursework. And I keep...
Theorem : let A be a set of formulas, a be a formula
For all A and all a,
Every interpretation which is a model of A is also a model of a iff
not (Sat A) U {~a}
Proof
Every interpretation which is a model of A is also a model of a
iff(1) there is no interpretation which is a model of A but...
hmm, you know xg-1 in in the kernel, then (xg-1)g is in {kg | k ∈ ker i}, so this conclude that i^−1(h) is subset of {kg | k ∈ ker i}.
now left to show is {kg | k ∈ ker i} subset of i^−1(h)
Homework Statement let a,b be positive integer , c is real number, and -a<c<b
i want to show there exist integer m, -a \leq m \leq b such that m-1 \leq c<m
i don't know any easy method, but this is where i got now,
Let set S=[m|-a \leq m \leq b]
So by contradiction,
suppose that for all m...
aaaaaaaaaaaarghh, yes yes, thank you ^^
hmm, now i have to prove that
(a_n)
is convergent,
i suspect i should prove that
(a_n)
is bounded then, i know
(a_n)
is monotone then,
(a_n)
must be converging right? then continue like i was doing above right?