Kapitteltest – Kapittel 24
Test deg selv
Hva er galt med dette beviset?
Test deg selv
Hvilke to slutningsregler brukes i denne utledningen?
Vi kan ikke lukke noen antakelse når vi bruker $\bot$-regelen, derfor er ikke dette riktig.
Test deg selv
Hvilke slutningsregler brukes i dette beviset?
Svar for eksempel slik som dette: $\land$E.
Kopiér symbolene du trenger herfra:
$\land$ $\lor$ $\imp$ $\bot$
a)
b)
c)
d)
Test deg selv
Hva er galt med dette beviset?
Test deg selv
Hva er galt med dette beviset?
Her skulle det vært konkludert med $\neg \neg Q$ og ikke $Q$. Selv om formlene er ekvivalente, finnes det ikke noen regel i naturlig deduksjons som sier at vi kan gjøre dette. Poenget med en logisk kalkyle er å bevise at formler er ekvivalente.