Registrierung Kalender Mitgliederliste Teammitglieder Suche Häufig gestellte Fragen Zur Startseite

Informatiker Board » Themengebiete » Theoretische Informatik » Logik » Prädikatenlogik » Antwort erstellen » Hallo Gast [Anmelden|Registrieren]

Antwort erstellen
Benutzername: (du bist nicht eingeloggt!)
Thema:
Nachricht:

HTML ist nicht erlaubt
BBCode ist erlaubt
Smilies sind erlaubt
Bilder sind erlaubt

Smilies: 21 von 33
smileWinkDaumen hoch
verwirrtAugenzwinkerngeschockt
Mit ZungeGottunglücklich
Forum Kloppebösegroßes Grinsen
TanzentraurigProst
TeufelSpamWillkommen
LehrerLOL HammerZunge raus
Hilfe 
aktuellen Tag schließen
alle Tags schließen
fettgedruckter Textkursiver Textunterstrichener Text zentrierter Text Hyperlink einfügenE-Mail-Adresse einfügenBild einfügen Zitat einfügenListe erstellen CODE einfügenPHP CODE farbig hervorheben
Spamschutz:
Text aus Bild eingeben
Spamschutz

Die letzten 2 Beiträge
Karlito

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
Jaque Prädikatenlogik

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)