Trenger litt hjelp - diskret matematikk

[binge]

Noen som kan gi litt nødhjelp til følgende oppgave:

 

Gi et kort argument for at begge de to følgende utsagn alltid må være sanne:

(Tautologi)

 

D --> (A -->D)

NOT A --> (A --> D)

 

Diskret matematikk er ikke min sterke side

 

Setter STOR pris på all hjelp som er mulig å få

Endret 23. mars 2007 av binge

[binge]

Ingen som har det minste snøring?

[anders02]

Hva med å lage en sannhetstabell?

[blacktower]

D --> (A -->D)

-----------------

P --> Q er usant hvis og bare hvis P er sann og Q usann.

- Hvis utrykket skal være usannt MÅ D være sann.

- Hvis D er sann er alltid A--> D sant.

- Da ender vi opp med D ---> sant, som er sant, hvilket betyr at utrykket ikke kan være usant.

Utrykket kan ikke være usant, så det er alltid sant.

 

Eventuelt, skriv det om

D --> (A -->D) =

-D or (-A OR D) =

D or -D or -A

 

D or -D er en kjent tautologi, og (sann or X) er alltid sant.

 

NOT A --> (A --> D)

-----------------------

Vel.. samme fremgangsmåte her. Kan ikke gjøre alt for deg .

[binge]

Takker og bukker for hjelpen Er til uvurderlig hjelp når man har fått utlevert et hode som har litt vanskeligheter med å se logikken i dette fagfeltet

 

Om jeg aller vennligst kunne fått hjelp til en aller siste oppgave..

 

Gitt mengdene

A={{rød}, gul, grønn},

B={rød, lilla, gul},

C={lilla, gul, {rød, grønn}}.

 

Beregn resultatet av følgende operasjoner:

i. B-A

ii. A U C

Endret 26. mars 2007 av binge

[blacktower]

Med fare for å være upedagogisk

irb(main):003:0> A = [[:rod], :gul, :gronn]
=> [[:rod], :gul, :gronn]
irb(main):004:0> B = [:rod, :lilla, :gul]
=> [:rod, :lilla, :gul]
irb(main):005:0> C = [:lilla, :gul, [:rod, :gronn]]
=> [:lilla, :gul, [:rod, :gronn]]
irb(main):006:0> B - A
=> [:rod, :lilla]
irb(main):007:0> A | C
=> [[:rod], :gul, :gronn, :lilla, [:rod, :gronn]]

[binge]

Du er en ekte hverdagshelt takker nok en gang

[binge]

Må plage de glupe hjerner på forumet en aller siste gang

 

Sliter noe uhorvelig med følgende oppgave:

 

Beskriv relasjonen R(x, y), definert til å holde mellom to mengder x og y hvis x snitt y er ikke-tomt,

med hensyn til refleksivitet, symmetri, antisymmetri og transitivitet. Gjør det samme med

relasjonene Q(x, y), sann når x snitt y = tomt, og P(x, y) som er sann når |x snitt y| >= 4.