Internet dating introduction email victor webster dating

While the above compound sentence is itself a statement, because it is true, the two parts, "Ganymede is a moon of Jupiter" and "Ganymede is a moon of Saturn", are themselves statements, because the first is true and the second is false. However, it is sometimes used to name something abstract that two different statements with the same meaning are both said to "express".

internet dating introduction email-89internet dating introduction email-4

However, in propositional logic, simple statements are considered as indivisible wholes, and those logical relationships and properties that involve parts of statements such as their subjects and predicates are not taken into consideration.

Propositional logic can be thought of as primarily the study of logical operators.

The most thoroughly researched branch of propositional logic is classical truth-functional propositional logic, which studies logical operators and connectives that are used to produce complex statements whose truth-value depends entirely on the truth-values of the simpler statements making them up, and in which it is assumed that every statement is either true or false and not both.

However, there are other forms of propositional logic in which other truth-values are considered, or in which there is consideration of connectives that are used to produce statements whose truth-values depend not simply on the truth-values of the parts, but additional things such as their necessity, possibility or relatedness to one another.

then...", "because", and "necessarily", are all operators.

A logical operator is said to be on the truth or falsity of the statements from which they are constructed.

However, the nature or existence of propositions as abstract meanings is still a matter of philosophical controversy, and for the purposes of this article, the phrases "statement" and "proposition" are used interchangeably.

, is that branch of logic that studies ways of combining or altering statements or propositions to form more complicated statements or propositions.

These are, of course, cornerstones of classical propositional logic.

Tags: , ,