Informatiker Board | Logik | Prädikatenlogik

Informatiker Board » Themengebiete » Theoretische Informatik » Logik » Prädikatenlogik

» Hallo Gast [Anmelden|Registrieren]

Letzter Beitrag | Erster ungelesener Beitrag

Druckvorschau | An Freund senden | Thema zu Favoriten hinzufügen

Prädikatenlogik

Autor

Beitrag

« Vorheriges Thema | Nächstes Thema »

Jaque
unregistriert

Prädikatenlogik

Zitatantwort auf diesen Beitrag erstellen

Meine Frage:
1) Wann wird in der folgenden Anweisung (a) S1(), (b) S2() und (c) S2() ausgeführt. Schreiben sie
zunächst die komplette Bedingung (in der Schreibweise der Aussagenlogik) hin und vereinfachen sie dann
maximal mit Regeln. Geben sie die Regeln an, die sie anwenden. /16
if (!((a>5)&&(b<3)))
if (3>a)
S1();
else
S2();
else
S3();

Meine Ideen:
Ich komme momentan bis zu diesem Punkt:

für S1

nicht ((a>5) und (b<3)) und (3>a)

De Morgan

(nicht (a>5) oder nicht(b<3)) und (3>a)

09.03.2013 13:48

Karlito Karlito ist männlich

Kaiser

Dabei seit: 11.04.2011
Beiträge: 1.461

Hallo,

ich weiß nicht wiee streng das bei euch ist. Aber bei uns wären die von dir ermittelten ausdrücke nicht in der Sprache der Aussagenlogik. Ausdrücke wie (a>5) kommen da nicht vor.

Außerdem: wo genau liegt dein Problem, die anderen Ausdrücke zu ermitteln. Bei S2 ist 3>a negiert und bei S3 ist der erste Teil negiert und 3>a fällt weg...

VG,

Karlito

09.03.2013 15:37

Nehmen Sie Karlito in Ihre Freundesliste auf

Baumstruktur | Brettstruktur

Informatiker Board » Themengebiete » Theoretische Informatik » Logik » Prädikatenlogik