How to import .py file from another directory?
How to do relative imports in Python?
Proof: For all integers $x$ and $y$, if $x^3+x = y^3+y$ then $x = y$ Countable set of truth assignments satisfying set of well formed formulas I am trying to answer the following question posed in my logic class: (throughout we work in propositional logic) is there a set $S$ of well-formed-formulas (wffs) satisfied by countable set $V$ of truth assignments such that any truth assignment satisfying $S$ lies in $V$?    My guess is no.  My first reaction to this was to do a diagonalization.  Present $V$ as an array with $v_{i, j}$ the truth value that assignment $v_i$ gives to the $j$-th propositional letter.  Obviously the hard case is when $S$ is infinite; if $S$ is finite, then only finitely many propositional letters occur in the $S$-formulae.  Then there is some maximal $k$ for which all $A_n$ with $n \geq k$ do not occur in V.  Then the diagonalization is trivial: just diagonalize from the $k$-th letter onward, since changing $A_k$ in this range doesn't affect anything in $S$.  But I have little clue about how to approach the main case when $S$ is infinite. I thought maybe I should try using the fact that $S$ is consistent (since it's satisfiable).  If it's maximally consistent, then I think this is simple too, since for every propositional letter $A_n$, either $A_n$ is in $S$ or $(\neg A_n)$ is in $S$, implying that there is only one truth assignment satisfying $S$--since every truth assignment must agree on each propositional letter.    But if $S$ is not maximally consistent, this isn't available to me.  Somehow I would like to show that infinitely many propositional letters do not occur in $S$.  Then I can apply the trick above and just diagonalize through the superfluous letters.    So, yes, just looking for some hints or corrections if you have any please, though maybe if I don't get anywhere on my own I'll give up and ask for more.  Thanks.  (By the way, by referring to letters that "occur in $S$" I mean letters that occur in some formula in $S$). What does $\lim\limits_{x \to \infty} f(x) = 1$ say about $\lim\limits_{x \to \infty} f'(x)$? Given that $f$ is differentiable, what does $\lim\limits_{x \to \infty} f(x) = 1$ say about $\lim\limits_{x \to \infty} f^\prime(x)$ ? Intuitively I feel that it's $0$.  I attempted to solve this by trying to evaluate $$\lim_{x \to \infty} \lim_{h \to 0} \frac{f(x + h) - f(x)}{h} $$ by trying to interchange the limits after showing that $\frac{f(x + h) - f(x)}{h}$ converges uniformly as $x \to \infty$. But I couldn't proceed further.  Trying to work backwards, as a specific example, $f(x) = \arctan(x)$ came to my mind. It's derivative certainly goes to $0$ as $x \to \infty$. Doesn't this show that $\frac{f(x + h) - f(x)}{h}$ converges uniformly to $0$ as $x \to \infty$ ?  I'm totally confused! I would really appreciate if anyone told me what I am doing wrong. Why does inductor current lag the applied voltage at its terminal by 90 degrees? I studied electromagnetism and I am currently working with Inductors.  I could not figure out the physical reason based on electromagnetics on why inductor current lags the applied voltage by 90 degrees?  Everywhere I find the Formula as the starting point of explanation which is partially satisfying.    Induced EMF =L di(t)/dt    From the above equation, I understood that when there is a change in current there will EMF induced in the coil terminals. But How this induced EMF makes the current to lag the supply voltage V(t) = Vm*sin(wt)? (Please don't just differentiate and say there is a lag, I am looking for a physical sense on why this happens)  Lets us consider the AC voltage is applied across the terminal at time t=0; At this time there is almost no current. From this transient state how the steady-state is reached where the current is delayed with respect to the voltage?  Can someone help me to figure out why the current lags the Supplied voltage by using electromagnetism, the motion of Charges or any other basic concepts? Let $X$ be obtained by removing finitely many lines from $\mathbb{R}^3$. How do I prove $X$ is connected? Let $X$ be obtained by removing finitely many lines from $\mathbb{R}^3$. How do I prove $X$ is connected?  I think the way to go about this is to show $X$ is path-connected but I'm not quite sure. The UK Visas and Immigration Directorate publishes  that provides helpful tips that can result in successful visa applications. Section 2 of this guidance opens is entitled &quot;other documents you may want to provide&quot; (emphasis mine).  Section 2: other documents you may want to provide – all visitors This section provides guidance on the types of documents that you may want to provide to help us consider your application against the Immigration Rules. Previous travel documents/passports, which show previous travel. Financial documents showing that you have sufficient funds available.  These must clearly show that you have access to the funds, such as:  bank statements building society book proof of earnings such as a letter from employer confirming employment details (start date of employment, salary, role, company contact details) where a third party (who is either in the UK or will be legally in the UK at the time of your visit) is providing financial support to you e.g. a business, a friend or a relative, documents to show that they have sufficient resources to support you in addition to themselves and any dependant family should be provided   The first item is &quot;bank statements&quot; and this ties in with the , which says...  evidence that you can support yourself during your trip, eg bank statements or payslips from the last 6 months  (Note 'eg' is a Latin abbreviation meaning &quot;for example&quot;; this appears to be optional rather than a fixed requirement.) Question: How should someone interpret this such that the chances of success are maximized? How many statements should I submit? What are they looking for and what do my bank statements tell about me? I am considering purchasing a Mac for my godson who will be using it to run Blender 2.8.  I know very little about this program.  All I can find are requirements for a Mac that will run earlier versions of Blender.  Would someone please recommend a list of requirements for a Mac (or a link to a list of requirements) that I could use to find a model that can run 2.8?  Thank you in advance for all your help! Sincerely, M. Lap How can I play encrypted DVD movies? Is particle superposition reflected in the particle's gravitational footprint? How to know where shell variables and functions are set? When I type the set command in my system I've got this extract out :  __colormgr_commandlist='     create-device     create-profile     delete-device     delete-profile     device-add-profile     device-get-default-profile     device-get-profile-for-qualifier     device-inhibit     device-make-profile-default     device-set-kind     device-set-model     device-set-serial     device-set-vendor     find-device     find-device-by-property     find-profile     find-profile-by-filename     get-devices     get-devices-by-kind     get-profiles     get-sensor-reading     get-sensors     get-standard-space     profile-set-filename     profile-set-qualifier     sensor-lock     sensor-set-options     ' __grub_script_check_program=grub-script-check _backup_glob='@(#*#|*@(~|.@(bak|orig|rej|swp|dpkg*|rpm@(orig|new|save))))' _xspecs=([freeamp]="!*.@(mp3|ogg|pls|m3u)" [cdiff]="!*.@(dif?(f)|?(d)patch)?(.@([gx]z|bz2|lzma))" [bibtex]="!*.aux" [rgview]="*.@(o|so|so.!(conf|*/*)|a|[rs]pm|gif|jp?(e)g|mp3|mp?(e)g|avi|asf|ogg|class)" [oowriter]="!*.@(sxw|stw|sxg|sgl|doc?([mx])|dot?([mx])|rtf|txt|htm|html|?(f)odt|ott|odm)" [chromium-browser]="!*.@(?([xX]|[sS])[hH][tT][mM]?([lL]))" [tex]="!*.@(?(la)tex|texi|dtx|ins|ltx|dbj)" [netscape]="!*.@(?([xX]|[sS])[hH][tT][mM]?([lL]))" .../.. _xinetd_services ()  {      local xinetddir=/etc/xinetd.d;     if [[ -d $xinetddir ]]; then         local restore_nullglob=$(shopt -p nullglob);         shopt -s nullglob;         local -a svcs=($( printf '%s\n' $xinetddir/!($_backup_glob) ));         $restore_nullglob;         COMPREPLY+=($( compgen -W '${svcs[@]#$xinetddir/}' -- "$cur" ));     fi } dequote ()  {      eval printf %s "$1" 2&gt; /dev/null } quote ()  {      local quoted=${1//\'/\'\\\'\'};     printf "'%s'" "$quoted" } quote_readline ()  {      local quoted;     _quote_readline_by_ref "$1" ret;     printf %s "$ret" }   I checked all files in my knowledge as /etc/profile, /etc/environment, and/or ~/.bashrc. I didn't find any generation  script or code calling.   Do you have any advice where is come from ? I'm currently dual-booting to either Ubuntu 10.10 or Windows XP. However, I rarely use windows and would like to remove it.  I've use the Ubuntu live CD to access GParted. I've also deleted the windows partitions (I think), which were labeled both ntfs and fat32.  I'm just not sure how to extend the Ubuntu partition to cover the unallocated space. Furthermore, how do I deal with the 'key' designations, which state that a partition is busy.  Help! commandButton/commandLink/ajax action/listener method not invoked or input value not set/updated Do we use the SD of whole population or SD of just one sample to calculate SE of samples means in central limit theorem? I'm learning applications on Central Limit Theorem and got really confused with a few points. According to this , the procedure to apply CLT usually goes like this:   So if SD is the population standard deviation, how are we gonna get it?? Isn't the whole population standard deviation what we eventually calculate by applying CLT and analyzing a sample of the whole population? How come the population standard deviation become a prerequisite??   Please tell me this tutorial is wrong.   I think the SD actually refers to the standard deviation of a sample (of some size n), which we can actually get easily. For example:    sample the whole population with a sample size of n (e.g. randomly select 10000 users from the whole population of 10 billions) calculate the mean of the 10000 measurements. calculate SE = SD / sqrt(10000), where SD is the standard deviation of the 10000 measurements, instead of the standard deviation of the whole population of 10 billions.    This explanation would make much more sense.   Any thoughts? gnome-desktop-item-edit: command not found on Ubuntu 19.10 and later even with the 'gnome-panel' package installed What harm can be done with a copy of one's passport? In one of the questions on this site, it was suggested the use of  to save a backup copy of your passport, in case you need to proof who you are if your original document is lost.   I like the idea, but what if someone gets access to your Dropbox folders and is able to acquire the copy of your passport.  The same goes for when you leave a copy of your passport at a hotel receptions desk. Once someone has the info printed on that copy, would that make it easier to steal your identity? round in PHP shows scientific notation instead of full number I'm trying to do an echo of a variable containing 1400000.  so there is written: echo round(1400000); this gives 1,4E+6 instead of the full number. Anybody an idea on how to display it fully? How to make ttf-mscorefonts-installer package download fonts, after it says it installed? When I install "Installer for Microsoft TrueType core fonts" (ttf-mscorefonts-installer) from the Software Center on 14.04, it gives a positive response--but after this I get a download error. It seems that the files actually providing the fonts are never retrieved. Is there any way to resolve this? A coin is tossed three times. The probability of zero heads is 1/8 and the probability of zero tails is 1/8. What is the probability that there is at least one head and at least one tail?  So, if P(zero heads)= 1/8 , then that should be the same of p(all tails)?  We would use the complement rule and Multiplication Rule?   P(at least one head) = 1 - P(no heads) = 1 - 1/8= 7/8 P(at least one tail) = 1 - P(no tails) = 1 - 1/8= 7/8  would I multiply the two values? How do I format a number to a dollar amount in PHP Reentering serial number in Windows 7 Does anyone know how to install a new serial on a working copy of Windows 7 - I get notified that my software is not genuine but cannot reenter the serial