show that L+ is inconsistent Let $A$ be a statement for which is not a tautology. Let $L^+$ be the formal theory obtained from $L$ by adding as new axioms all formulas obtainable from $A$ by substituting arbitrary statement forms for the statement letters in $A$, the same forms being substituted for all occurrences of a statement letter. Show that $L^+$ is inconsistent.
I have several questions:

*

*can $A$ be an axiom by itself from given conditions ?

*consider given assignment of truth values to the statement letters that gives us $A = false$. Let's replace statement letters of $false$ value with negation of a tautology, and of $true$ values with a tautology. So how can this obtained formula be an axiom that is be of $true$ value?

I cannot understand how to show that $L^+$ is inconsistent.
 A: 
can A be an axiom by itself from given conditions ?

Yes, it will be an axiom -- because any "statement letter" is in itself a "statement form", and substituting them all with themselves is a perfectly good invocation of the procedure in the definition.
The second part of your question is in fact the solution:

consider given assignment of truth values to the statement letters that gives us $A = false$. Let's replace statement letters of $false$ value with negation of a tautology, and of $true$ values with a tautology. So how can this obtained formula be an axiom that is be of $true$ value?

Remember that "axiom" doesn't mean "necessarily true" -- it simply means "something we allow a proof to start from without further argument".
You have the right idea that $L^+$ has an axiom whose truth value is false under all truth assignments.
Depending on how you define "inconsistent", you're either done or almost done. Namely, if "inconsistent" mean that the theory has no satisfying truth assignments, then you have argued for exactly that.
On the other hand, if (as is more common) "inconsistent" means that you can derive a contradiction, then note that your variant of $A$ is always false, and therefore the negation of that formula is always true, that is, a tautology. If your proof system is complete (which I will assume you know it is), that means that you can derive that tautology. The axiom itself, by virtue of being an axiom, can of course also be derived. In total, you have derived a both a formula and its negation, and thereby proved that $L^+$ is inconsistent.
