j
k
j a
j l
On 10/01/07, Rob Church robchur@gmail.com wrote:
P = "extension goes live" Q = "extension is optimised" R = "rob gets peace" P --> Q and P --> R ¬Q --> ¬R R, thus Q
P = "extension goes live" Q = "extension is optimised" R = "rob gets peace"
P --> Q and P --> R ¬Q --> ¬R
R, thus Q
That should have been R --> P, of course.
Rob Church
Back to the thread
Back to the list