Vinnaren i pepparkakshustävlingen!
  1. Vetenskap & humaniora
  2. Fysik, matematik och teknologi
  3. Matematiska och naturvetenskapliga uppgifter

Bevisa att OMM har fölgande sannhetstabellen

Svara
2013-04-07, 15:33
  #1
marib
Medlem
maribs avatar
Här är min uppgift, det är på norska.
http://oi48.tinypic.com/2eqey5j.jpg

Bevisa att Om och endast om (OMM) ger fölgande sannhetstabell.
http://sv.wikipedia.org/wiki/Om_och_endast_om

Hur gör jag detta?
Citera
2013-04-07, 16:11
  #2
adequate
Medlem
adequates avatar
P <=> Q är ekvivalent med P => Q & Q => P. Ta fram sanningstabellen för det sistnämnda uttrycket så får du den sökta tabellen.
Citera
2013-04-07, 17:30
  #3
marib
Medlem
maribs avatar
Är det okej att bevisa det såhär då?

http://oi45.tinypic.com/vhg4jn.jpg

Eller, man kan ha en rad till mellan sista och näst sista
(p-->q)<-->(q-->p)
1
0
0
1

och det visar att (p-->q)<-->(q-->p) och p<-->q är ekvivalenta.
__________________
Senast redigerad av marib 2013-04-07 kl. 17:33.
Citera
2013-04-07, 17:40
  #4
adequate
Medlem
adequates avatar
Citat:
Ursprungligen postat av marib
Är det okej att bevisa det såhär då?

http://oi45.tinypic.com/vhg4jn.jpg

Eller, man kan ha en rad till mellan sista och näst sista
(p-->q)<-->(q-->p)
1
0
0
1

och det visar att (p-->q)<-->(q-->p) och p<-->q är ekvivalenta.
Men det där blir ju cirkulärt, definiera omm i termer av omm. Läs vad jag skrev igen, du ska ta fram sanningstabellen för uttrycket p=>q & q=>p, inget annat.
__________________
Senast redigerad av adequate 2013-04-07 kl. 17:42.
Citera
2013-04-07, 17:44
  #5
marib
Medlem
maribs avatar
Citat:
Ursprungligen postat av adequate
Men det där blir ju cirkulärt, definiera omm i termer av omm. Läs vad jag skrev igen, du ska ta fram sanningstabellen för uttrycket p=>q & q=>p, inget annat.

Alltså så kan jag använda detta för att visa det?

http://oi45.tinypic.com/vhg4jn.jpg
Citera
2013-04-07, 17:45
  #6
adequate
Medlem
adequates avatar
Citat:
Ursprungligen postat av marib
Alltså så kan jag använda detta för att visa det?

http://oi45.tinypic.com/vhg4jn.jpg
Du är i princip klar om du byter namn på sista kolumnen till det jag skrev.
Citera
2013-04-07, 17:49
  #7
marib
Medlem
maribs avatar
Citat:
Ursprungligen postat av adequate
Du är i princip klar om du byter namn på sista kolumnen till det jag skrev.

Tack så mycket för hjälpen, förstår allt nu!
Citera
2013-04-07, 17:56
  #8
manne1973
Medlem
Citat:
Ursprungligen postat av marib
Alltså så kan jag använda detta för att visa det?

http://oi45.tinypic.com/vhg4jn.jpg
Den tabellen ser korrekt ut. Möjligen kan du genom att lägga in kolumnen (p-->q) och (q-->p) förtydliga hur p<-->q beräknas/definieras.
Citera
Svara

Stöd Flashback

Flashback finansieras genom donationer från våra medlemmar och besökare. Det är med hjälp av dig vi kan fortsätta erbjuda en fri samhällsdebatt. Tack för ditt stöd!

Stöd Flashback