Logikk
Lagt inn: 16/09-2013 13:43
Let [tex]S[/tex] be a proof system. A formula [tex]A[/tex] is S-consistent if [tex]-A[/tex] is not provable in [tex]S[/tex].
Semantikken er jo: A formula [tex]A[/tex] is S-consistent if [tex]-A[/tex] is not provable in [tex]S[/tex].
Så skal jeg bruke denne informasjonen til å bevise/motbevise noen egenskaper dette systemet har.
1. S er sound
2. S er komplett
osv...
La oss gå utifra at [tex](x \vee -x) \in A[/tex]
Da kan jeg jo bevise at den er sound ved at jeg finner en valuasjon som opfyller formelen. Men er dette alt som trengs i denne sammenheng? Noen kloke hoder med innspill?
Semantikken er jo: A formula [tex]A[/tex] is S-consistent if [tex]-A[/tex] is not provable in [tex]S[/tex].
Så skal jeg bruke denne informasjonen til å bevise/motbevise noen egenskaper dette systemet har.
1. S er sound
2. S er komplett
osv...
La oss gå utifra at [tex](x \vee -x) \in A[/tex]
Da kan jeg jo bevise at den er sound ved at jeg finner en valuasjon som opfyller formelen. Men er dette alt som trengs i denne sammenheng? Noen kloke hoder med innspill?