Re: Interpretation of Relations
From: vc <boston103_at_hotmail.com>
Date: 23 Jan 2007 06:24:05 -0800
Message-ID: <1169562245.046284.206230_at_d71g2000cwa.googlegroups.com>
Date: 23 Jan 2007 06:24:05 -0800
Message-ID: <1169562245.046284.206230_at_d71g2000cwa.googlegroups.com>
Joe Thurbon wrote:
>For propositions A and B, modus ponens is a function from
> AxB -> {true, false}.
What are A and B ?
Modus ponens is a rule of derivation, a relation between FOL formulas
(strings of symbols of a certain kind), such that given A and A->B one
can derive B. There no notion of truth involved in the MP definition.