matheraum.de
Raum für Mathematik
Offene Informations- und Nachhilfegemeinschaft

Für Schüler, Studenten, Lehrer, Mathematik-Interessierte.
Hallo Gast! [ einloggen | registrieren ]
Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum
Forenbaum
^ Forenbaum
Status Hochschulmathe
  Status Uni-Analysis
    Status Reelle Analysis
    Status UKomplx
    Status Uni-Kompl. Analysis
    Status Differentialgl.
    Status Maß/Integrat-Theorie
    Status Funktionalanalysis
    Status Transformationen
    Status UAnaSon
  Status Uni-Lin. Algebra
    Status Abbildungen
    Status ULinAGS
    Status Matrizen
    Status Determinanten
    Status Eigenwerte
    Status Skalarprodukte
    Status Moduln/Vektorraum
    Status Sonstiges
  Status Algebra+Zahlentheo.
    Status Algebra
    Status Zahlentheorie
  Status Diskrete Mathematik
    Status Diskrete Optimierung
    Status Graphentheorie
    Status Operations Research
    Status Relationen
  Status Fachdidaktik
  Status Finanz+Versicherung
    Status Uni-Finanzmathematik
    Status Uni-Versicherungsmat
  Status Logik+Mengenlehre
    Status Logik
    Status Mengenlehre
  Status Numerik
    Status Lin. Gleich.-systeme
    Status Nichtlineare Gleich.
    Status Interpol.+Approx.
    Status Integr.+Differenz.
    Status Eigenwertprobleme
    Status DGL
  Status Uni-Stochastik
    Status Kombinatorik
    Status math. Statistik
    Status Statistik (Anwend.)
    Status stoch. Analysis
    Status stoch. Prozesse
    Status Wahrscheinlichkeitstheorie
  Status Topologie+Geometrie
  Status Uni-Sonstiges

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Neuerdings beta neu
 Forum...
 vorwissen...
 vorkurse...
 Werkzeuge...
 Nachhilfevermittlung beta...
 Online-Spiele beta
 Suchen
 Verein...
 Impressum
Das Projekt
Server und Internetanbindung werden durch Spenden finanziert.
Organisiert wird das Projekt von unserem Koordinatorenteam.
Hunderte Mitglieder helfen ehrenamtlich in unseren moderierten Foren.
Anbieter der Seite ist der gemeinnützige Verein "Vorhilfe.de e.V.".
Partnerseiten
Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
Startseite > MatheForen > Aussagenlogik > Formalisieren
Foren für weitere Studienfächer findest Du auf www.vorhilfe.de z.B. Astronomie • Medizin • Elektrotechnik • Maschinenbau • Bauingenieurwesen • Jura • Psychologie • Geowissenschaften
Forum "Aussagenlogik" - Formalisieren
Formalisieren < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Aussagenlogik"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Formalisieren: Aufgabe: Formalisieren
Status: (Frage) beantwortet Status 
Datum: 18:22 Mi 21.11.2012
Autor: hero85

Aufgabe
Folgende Aussage muss formalisiert werden

Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
Folgende Aussage soll formuliert werden:

Wenn Peter zu Hause ist und sich langweilt, oder zu Hause ist und arbeitet, oder er einfach nur einen schlechten Tag hatte, dann nervt er mich. Hat er gute Laune, dann
nervt er mich nicht.

Habe mir folgendes gedacht:
Wenn Peter zu Hause ist und sich langweilt (p)
oder
zu Hause ist und arbeitet (q)
oder
er einfach nur einen schlechten Tag hatte (r)
dann
nervt er mich (s)
Hat er gute Laune (t)

(p ∨ q ∨ r dann s ) t dann ¬

Könnt Ihr mir bitte sagen ob das richtig ist und wenn nicht mich berichtigen?


        
Bezug
Formalisieren: Antwort
Status: (Antwort) fertig Status 
Datum: 18:30 Mi 21.11.2012
Autor: wieschoo


> Folgende Aussage muss formalisiert werden
>  Ich habe diese Frage in keinem Forum auf anderen
> Internetseiten gestellt.
>  Folgende Aussage soll formuliert werden:
>

Hi
> Wenn Peter zu Hause ist und sich langweilt, oder zu Hause
> ist und arbeitet, oder er einfach nur einen schlechten Tag
> hatte, dann nervt er mich. Hat er gute Laune, dann
>  nervt er mich nicht.
>  
> Habe mir folgendes gedacht:
>  Wenn Peter zu Hause ist und sich langweilt (p)
>  oder
>  zu Hause ist und arbeitet (q)
>  oder
>  er einfach nur einen schlechten Tag hatte (r)
>  dann
>  nervt er mich (s)
>  Hat er gute Laune (t)
>  
> (p ∨ q ∨ r dann s ) UND t dann ¬
>  
> Könnt Ihr mir bitte sagen ob das richtig ist und wenn
> nicht mich berichtigen?
>  

Ich gehe mal davon aus, dass ihr das atomar zerlegen sollt.
Dann wäre vielleicht besser:
h : Peter ist zuhause.
l : Peter ist langweilig.
a : Peter arbeitet.
s : Peter hat einen schlechten Tag.
n : Peter nervt mich.

Im groben ist dein Aufbau richtig.

"Peter hast gute Laune" ist vermutlich(!) die Verneinung der Aussage "Peter hat einen schlechten Tag". Das ist ziemlich unpräzise formuliert. Ich würde dennoch dies aufteilen
s : Peter hat einen schlechten Tag.
g : Peter hat gute Laune.





Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Aussagenlogik"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
www.unimatheforum.de
[ Startseite | Forum | Wissen | Kurse | Mitglieder | Team | Impressum ]