[infostudents] Re: KI Blatt 5

  • From: Denis Stier <kingstonclub@xxxxxxxxx>
  • To: infostudents@xxxxxxxxxxxxx
  • Date: Thu, 5 Jun 2008 18:12:14 +0200

Nachtrag, ich merk gerade, das ihr von Aufgabe 5.2 geredet habt. Tschuldige 
ich war gedanklich bei Aufg. 5.4 :)

Vergesst einfach was ich vorher geschrieben hab.
Grüße.Denis.

On Thursday 05 June 2008 14:50:17 ox4655 wrote:
> Hallo Jonas.
>
> Auf Folie 7.23 haben wir das Contradiction theorem.  Forme die Formel K
> .... danach um und verwende dann die Resolution.
>
> mfg Ivo
> ---
> Sent through the Infostudents Mailinglist
>
> List Archive:
> http://www.freelists.org/archives/infostudents/
>
> Subscribe / Unsubscribe:
> http://www.freelists.org/list/infostudents


Other related posts: