Re: Derivations (SD)

Hey Jeff,

Thanks man. That first one was the one I was worried most about. On
this one:

d. {A -> B, B -> C, ~C} |- ~A

Couldn't A be derived from A -> B with horseshoe elimination and then
just slap the tilde on the A with negation introduction? I think I'm
missing something here. It looks like they have a sub derivation on the
homepage with the rules. Would I need to do anything with the second
and third formulas above? Seems like I would. I'm missing something
here.

.

Relevant Pages

  • Re: Compact connected Hausdorff
    ... > of U are also open in X (a relatively open subset of an open set is ... > What am I missing? ... Prev by Date: ...
    (sci.math)
  • Form.SetBounds
    ... missing something here? ... Letting is become visible and then setting ... Steve ... Prev by Date: ...
    (microsoft.public.dotnet.languages.vb)
  • Re: Exclusive checkboxes
    ... only one option button on the whole page/sheet can be selected. ... I dont know if there is a way of grouping the options together. ... let me know if I am missing something. ... Prev by Date: ...
    (microsoft.public.excel)
  • Re: stop script if dates are missing, edit help...
    ... he wanted the ability to enter the start date in 1/1/2005 format and ... right on column J, which is K, if any of those are missing to print out ... msg box and basically stop and say: make sure the dates in the range ... Prev by Date: ...
    (microsoft.public.excel)
  • Missing start menu - What componet?
    ... get is log off and the shutdown options. ... What am I missing? ... Jason ... Prev by Date: ...
    (microsoft.public.windowsxp.embedded)