Question:
Direkte Bevis
Author: Renate KallandAnswer:
Et direkte bevis for en påstand på formen "hvis F, så G" er et logisk gyldig resonnement som begynner med antakelsen om at F er sann og som ender med konklusjonen om at G er sann. Eks: Anta at en valuasjon er gitt. Bevis påstanden "hvis valuasjonen gjør (P A Q) sann, så gjør valuasjonen P sann". Svar: Anta at valuasjonen gjør (P A Q) sann. Da må valuasjonen gjøre både P og Q sanne, fordi det er slik A-formler tolkes, og spesielt må valuasjonen gjøre P sann. Det følger derfor at hvis (P A Q) er sann, så er P sann.
0 / 5 (0 ratings)
1 answer(s) in total