Are these mathematical statements correct?
The (propositional) logic is of fundamental importance for all sub-areas of mathematics.
With the help of connecting words such as “and”, “or”, “exactly if” etc., several (partial) statements can be linked to form a compound statement. The following statement functions can be used in logic two (or more) statements too one form a new statement.
If you combine two statements and the word “and” creates the conjunction of the statements and , symbolically with designated.
A conjunction of two statements is therefore only true if both (partial) statements are true.
If you combine two statements and the word "or" creates the adjunction of the statements and , symbolically with designated.
The adjunction is therefore true if one of the two statements is true (or both are true).
- The adjunct of the true statement and the wrong statement is the true statement .
- The true statement: "Either the earth is a cube or the sun is a star" is an adjunct of the false statement: "The earth is a cube" and the true statement: "The sun is a star".
If you combine two statements and the word “then” creates the implication of the statements and , symbolically with designated.
The implication is true if both statements and are true or if the first statement is wrong.  Formally, one obtains an identical truth table if one uses the implication forms.  
Equivalence of two statements
If you combine two statements and the word combination “then, and only then” results in the equivalence of the statements and , symbolically with designated.
The equivalence of two partial statements is only true if either both partial statements are true or both are false. 
- The true statement "In a right-angled triangle the rate of height applies" equivalently linked with the false statement "In a right-angled triangle all sides are the same length" results in the false statement "In a right-angled triangle all sides are the same length if and only if the rate of height applies" .
- The equivalence link of the false statement “The kilogram is a unit of length” with the true statement “A thousand meters equals one kilometer” is the false statement “The kilogram is a unit of length if and only then, if a thousand meters equals a kilometer”.
Contravalence of two statements
If you combine two statements and the word “either or” in the exclusive sense creates the contravalence of the statements and , with with designated.
The contravalence of two partial statements is only true if exactly one of the two (partial) statements is true. Thus it is formally, as its name suggests, identical with the negation of equivalence.
- If you combine the true statement “The train is going to Munich” with the false statement “The train is going to Frankfurt”, the result is the true statement “The train is either going to Munich or to Frankfurt”.
Rules for the combination of statements
The following equivalences are defined between the statements and their links, some of which are formally similar to the rules for calculating with numbers:
In addition, there are the following rules, which are sometimes useful for evidence proceedings and in computer science:
In doing so, the link also called "tautology"; it is always true. 
Variables, terms and proposition forms¶
A variable is a symbol for any element from a given basic set. In addition, there are no special rules or laws for calculating with variables.
A term is a designation for a single mathematical object (for example ), on the other hand also for a stringing together of several constants, variables, brackets and arithmetic operators (for example ).  However, terms do not contain a relational sign, so they are neither true nor false.
In addition to (at least) one variable and (at least) one term, a statement form always contains a relation symbol - for example or . However, in order to be able to assign a truth value to a statement form, all occurring variables must first be replaced by concrete elements from the basic set. Just like statements, several types of statements can be combined to form new types of statements through logical links.
The dependence of a statement form on one or more variables will be in the form expressed. Statements can be divided into three types:
Forms of assertion are treated as equations and inequalities, especially in algebra.
'For all' and 'There is'
In addition to inserting concrete objects for the variables that occur, forms of statements can also be made into statements in a second way: quantification.
While an existence statement is true if the underlying statement form even just for a specific one is fulfilled, a universal statement can be made in the opposite case already through the proof of existence of a single "counterexample" be refuted as false.  
Direct and indirect evidence¶
The formal rules of logic can also be used in order to be able to draw conclusions about new laws using forms of statements that have already been proven to be true. Theorems obtained in this way (also called “theorems” or “propositions” for short) represent the basic structure of mathematical theory.
In addition to already known theorems, so-called definitions are also used in order to be able to prove new theorems. When defining a term, it is clearly defined by defining essential, common features and is differentiated from other terms. Definitions are neither true nor false; rather, they serve as abbreviations for awkward formulations. The symbol is used as a definition symbol for mathematical terms , an abbreviation for "is equal by definition".
For the actual "proofs", the following conclusive rules of logic are possible, among others:
- Conclusion from a negation:
- The propositional expression is generally valid. A proposition can thus be proven by refuting the negation of the proposition.
In the case of direct proofs, based on valid prerequisites and using admissible inference rules, the assertion is inferred directly after a finite number of steps. In the case of indirect proofs, on the other hand, the negation of the assertion is added to the requirements.
The complete induction
Complete induction is a widely used technique for directly proving a statement. The logical conclusion is based on three steps:
- With the "induction start" it is shown that a statement form for a (freely selectable) value is valid.
- The "induction assumption" consists in the fact that the statement form for a particular is valid.
- With the “induction conclusion”, a “proof in the proof”, it is shown that from the validity of the statement also the validity of the statement follows, in shorthand .
- What color keeps popping up in your dreams
- Is PIBM Pune good for funding
- Why do some people respect Hitler?
- What sparked your appreciation for wine
- Which Pokemon needs a mega evolution
- Which religion has more followers?
- What is AdSense particularly good for?
- Can I register for CPT this time
- How many customers does Pentaho have
- What is this New California
- A revoked medical license can be restored
- Have missile windows
- Pluto still revolves around the sun
- What are good neighborhoods in Huntsville Al
- Surgical scalpels are reused
- How fast is the internet speed of T1
- How does a Bitcoin exchange work 1
- Which encourages retailers to offer military discounts
- What is a tonsillectomy
- How does acceleration come about?
- Which is the first electronic car
- Who are the wanted band members
- How to properly store birdseed
- What classic rock songwriters actually wrote music?
- What is the most expensive coaching in India
- How do I calculate the apparent power
- What are some examples of common accounts
- Which careers are in demand in 2017?
- How serious is left ventricular hypertrophy
- How do Irish politics work
- What is procurement and contract
- Is that a poisonous spider 1
- What are research opportunities in the field of clean energy