Argue that the relation "logically implies" is transitive on the set of all statements.

I've never seen an argument for transitivity, my textbook only gives examples.

Printable View

- October 20th 2011, 05:35 PMJskidHow do you argue something is transative?
Argue that the relation "logically implies" is transitive on the set of all statements.

I've never seen an argument for transitivity, my textbook only gives examples. - October 21st 2011, 12:57 AMemakarovRe: How do you argue something is transative?
Hmm, does this mean that your textbooks only gives examples of transitive relations, without proofs that they are actually transitive? If there are proofs or explanations, then those are arguments... Does your textbook have the definition of transitivity?

A relation on a set is called transitive if for all , if and , then .

To show that a relation is transitive you need to thoroughly understand this definition, and you need to know how to prove statements of the form "for all x, ..." and "if ..., then ...". - October 21st 2011, 01:54 AMDevenoRe: How do you argue something is transative?
the transitivity of (logical) implication, then, would mean:

is this a true statement for " " (logically implies)?

(hint: assign values of true and false for p,q and r (you will get 8 possible combinations you have to try), and examine the truth-values of

and

you can use the following tables:

A B | A→B (A implies B)

T T | T

T F | F

F T | T

F F | T,

A B | A ∧ B (A and B)

T T | T

T F | F

F T | F

F F | F.....what are your findings?) - October 21st 2011, 09:04 AMJskidRe: How do you argue something is transative?
What's the difference between the implies that uses the two lines for the arrow versus the one line for the arrow?

- October 21st 2011, 09:26 AMemakarovRe: How do you argue something is transative?
In Deveno's post, I don't think there is any difference.

- October 21st 2011, 12:32 PMDevenoRe: How do you argue something is transative?
the two-line arrow is technically "correct" (means "implies") as the one-line arrow usually means "goes to" (used for limits and mappings).

(however, looking at a POset as a category, they are the same thing: as implication provides a partial ordering on wffs).