PlanetMath: transitive

(more info)

Math for the people, by the people.

Main Menu

transitive

(Definition)

The transitive property of logic is

$\displaystyle (a \Rightarrow b) \land (b \Rightarrow c) \Rightarrow (a \Rightarrow c)$

Where $\Rightarrow$ is the conditional truth function. From this we can derive that

$\displaystyle (a = b) \land (b = c) \Rightarrow (a = c)$

"transitive" is owned by akrowne.

(view preamble)

Other names:

transitive property

Log in to rate this entry.
(view current ratings)

Cross-references: conditional truth function, logic
There are 5 references to this entry.

This is version 1 of transitive, born on 2002-01-26.
Object id is 1618, canonical name is Transitive2.
Accessed 5965 times total.

Classification:

03B05 (Mathematical logic and foundations :: General logic :: Classical propositional logic)

Pending Errata and Addenda

None.

Discussion

forum policy

No messages.

Interact