Heisann!
Har sittet å grublet frem å tilbake på disse 2 her.
Finn en forenkling av utsagnet
[(p V q) ^ (p V ¬q)] _ q .
Avgjør om
[(p V q) ^ (p V ¬q)] V q -> ¬p
er et logisk gyldig (“valid”) argument.?
Noen som kan veilede meg litt her ?
Search found 1 match
- 07/03-2007 14:12
- Forum: Høyskole og universitet
- Topic: Forenkling
- Replies: 2
- Views: 1289