Themenbereiche Themenbereiche Profile Hilfe/Anleitungen Help    
Recent Posts Last 1|3|7 Days Suche Suche Tree Tree View  

Formalisieren

ZahlReich - Mathematik Hausaufgabenhilfe » ---- Archiv: Universitäts-Niveau » Mathematik für Informatiker » Formalisieren « Zurück Vor »

Autor Beitrag
Seitenanfangvoriger Beitragnächster BeitragSeitenende Link zu diesem Beitrag

stefan (kjuup)
Suche alle Beiträge dieser Person in dieser Hauptrubrik
Neues Mitglied
Benutzername: kjuup

Nummer des Beitrags: 1
Registriert: 11-2002
Veröffentlicht am Sonntag, den 10. November, 2002 - 19:40:   Beitrag drucken

Kann mir hier jemand helfen?

Formalisieren Sie unter Verwendung geeigneter Praedikate:
"Wer einmal luegt, dem glaubt man nicht, auch wenn er dann die Wahrheit spricht."

danke!
Seitenanfangvoriger Beitragnächster BeitragSeitenende Link zu diesem Beitrag

Orion (orion)
Suche alle Beiträge dieser Person in dieser Hauptrubrik
Erfahrenes Mitglied
Benutzername: orion

Nummer des Beitrags: 354
Registriert: 11-2001
Veröffentlicht am Montag, den 11. November, 2002 - 08:32:   Beitrag drucken

stefan ,

Ersetze die fraglichen Aussagen wie
folgt durch Variable:

p:<==> Jemand lügt einmal

q:<==> Man glaubt ihm.

Dann besagt der Satz :

p --> ((p v non p ) --> non q).

Das lässt sich leicht umformen zu der
äquivalenten Aussage

non p v non q

oder auch

p --> non q

Seitenanfangvoriger Beitragnächster BeitragSeitenende Link zu diesem Beitrag

stefan (kjuup)
Suche alle Beiträge dieser Person in dieser Hauptrubrik
Neues Mitglied
Benutzername: kjuup

Nummer des Beitrags: 2
Registriert: 11-2002
Veröffentlicht am Dienstag, den 12. November, 2002 - 17:45:   Beitrag drucken

vielen Dank!

Beitrag verfassen
Das Senden ist in diesem Themengebiet nicht unterstützt. Kontaktieren Sie den Diskussions-Moderator für weitere Informationen.

ad

Administration Administration Abmelden Abmelden   Previous Page Previous Page Next Page Next Page