Logik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 17:25 Mi 09.11.2011 | | Autor: | DietmarP |
| Aufgabe | Schreibübung: Apq bezeichne p und aund Np bezeichne ~ p (non p). Schreibe folgende Aussageformen mit Hilfe von A und N bzw. in (v) bis (viii)mit "und" und ~
i) p und non q
ii) non (non p und q)
iii) ~p und (~q und r)
iv) ~ (p und ~ q) und (~q und ~r)
v) NApq
vi) ANpq
vii) ApNq
viii) ANpAqNr |
Hallo!
Ich müsste dieses Beispiel lösen, weiß jedoch nicht was ich da tun soll. Könnte mir bitte jemand sagen wie ich für dieses Beispiel eine Lösung finde bzw was ich da tun soll?
Danke im vorraus
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
Hallo DietmarP,
> Schreibübung: Apq bezeichne p und aund Np bezeichne ~ p
> (non p). Schreibe folgende Aussageformen mit Hilfe von A
> und N bzw. in (v) bis (viii)mit "und" und ~
>
> i) p und non q
> ii) non (non p und q)
> iii) ~p und (~q und r)
> iv) ~ (p und ~ q) und (~q und ~r)
> v) NApq
> vi) ANpq
> vii) ApNq
> viii) ANpAqNr
> Hallo!
>
> Ich müsste dieses Beispiel lösen, weiß jedoch nicht was
> ich da tun soll.
![[haee]](/images/smileys/haee.gif "[haee]")
Das steht doch explizit in der Aufgabenstellung:
Du hast
1) [mm]Apq := p \ \text{und} \ q[/mm]
2) [mm]Np := \neg p[/mm] (bzw. [mm]\text{non} \ p[/mm])
Du sollst das nun umschreiben, etwa (i)
[mm]p \ \text{und} \ \text{non} \ q[/mm]
Was ist [mm]\text{non} \ q[/mm] ??
Nach 2) ist das [mm]Nq[/mm]
Dann ist nach 1) also [mm]p \ \text{und} \ \text{non} \ q \ \ = \ \ ApNq[/mm]
Nun du weiter, ab (v) sollst du in die andere Richtung "übersetzen"
> Könnte mir bitte jemand sagen wie ich
> für dieses Beispiel eine Lösung finde bzw was ich da tun
> soll?
> Danke im vorraus
Ein "r" genügt völlig!
>
> Ich habe diese Frage in keinem Forum auf anderen
> Internetseiten gestellt.
Gruß
schachuzipus
|
|
|
| |
|
| Status: |
(Frage) beantwortet | | Datum: | 19:34 Mi 09.11.2011 | | Autor: | DietmarP |
Hallo!
Habe jetzt mal versucht die restlichen Aufgaben zu lösen. Bitte um eine kurze Kontrolle ob ich die Beispiele richtig gelöst habe:
i) ApNq
ii) NpAq
iii) NpAq
iV) NpNqNqNr
v) ~p und non (p und q)
vi) non p und non (p und q)
vii) p und non q
viii) (p und q) und (p und q) non r
Hoffe das ich das Beispiel richtig gelöst habe. Bitte wenn möglich fehler korrigieren.
Danke im Vorraus
DietmarP
|
|
|
|
![[ok]](/images/smileys/ok.gif "[ok]"){kind=small}
![[notok]](/images/smileys/notok.gif "[notok]"){kind=small}
hinter A müssen immer 2 Operanden kommen, und es kommen 2 N
![[]](/images/popup.gif){kind=small}
Polnische Notation 