Difference between revisions of "Formal logic language"
From Maths
(Created page with "==Introduction== Formal logic plays an important role, especially so in set theory, but overall an important role. It is important to have a concrete understanding of this. =...") |
(No difference)
|
Revision as of 14:49, 9 March 2015
Introduction
Formal logic plays an important role, especially so in set theory, but overall an important role. It is important to have a concrete understanding of this.
Example 1
| ∀x∀y∀z((P(x,y)∧P(y,z))→P(x,z)) |
∀x∀y∀z(P(x,y)∧P(y,z)→P(x,z)) | ||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
| ||||||||||||||||||||||||
| Whenever we have (P(x,y) and P(y,z)) we also have P(x,z) | P(x,y) is true and whenever P(y,z) is true then P(x,z) is true | ||||||||||||||||||||||||
| It is always true that if (P(x,y) and P(y,z)) then P(x,z) | It is always true that P(x,y)) and (if P(y,z) then P(x,z)) | ||||||||||||||||||||||||
|
|
