Sandhedstabeller
Eksempler på sanhedstabeller hvor p og q er udsagn.
a)
| p | q | (p&q)|(p|q) | p|q |
| s | s | s | s |
| s | f | s | s |
| f | s | s | s |
| f | f | f | f |
b)
| p | q | (p&q)&(p|q) | p&q |
| s | s | s | s |
| s | f | f | f |
| f | s | f | f |
| f | f | f | f |
Vi vil vise at p <=> er ækvivalent med udsagnsformerne q <=> p og 'q <=> 'p. Det gør vi med følgende sandhedstabel:
| p | q | p=>q | q=>p | p<=>q | q<=>p | 'q<=>'p |
| s | s | s | s | s | s | s |
| s | f | f | s | f | f | f |
| f | s | s | f | f | f | f |
| f | f | s | s | s | s | s |
Vi vil undersøge om udsagnsformen p=> q er ækvivalent med q => p, 'q => p, q=> 'p eller 'q => 'p. Det gør vi med følgende sandhedstabel:
| p | q | p=>q | q=>p | ’q=>p | q=>’p | ’q=>’p |
| s | s | s | s | s | f | s |
| s | f | f | s | s | s | f |
| f | s | s | f | s | s | s |
| f | f | s | s | f | s | s |
Derudfra kan vi se at udsagnsformen p=>q er ækvivalent med ’q=>’p fordi de har samme sandhedsværdier.
page_revision: 0, last_edited: 1179626464|%e %b %Y, %H:%M %Z (%O ago)