Begrepsinformasjon
Anbefalt term
Utsagnslogikk
                         
        
Type
- 
            Innholdsbeskrivende emne 
Definisjon
- Setningslogikk er en grunnleggende gren av den moderne logikken. Den ligger i skjæringspunktet mellom filosofi og matematikk idet den benytter seg av algebraiske metoder for å belyse sannheten av utsagn eller setninger. <wikipedia
Overordnede begreper
Henvisningsterm
- Domslogikk
- Junktorlogikk
- Proposisjonslogikk
- Setningslogikk
Identifikator
- HUME00727
På andre språk
- 
                
                engelsk 
- 
                Propositional calculculus
- 
                Zeroth-order logic
- 
                
                norsk nynorsk 
- 
                Domslogikk
- 
                Junktorlogikk
- 
                Proposisjonslogikk
- 
                Setningslogikk
URI
                    http://data.ub.uio.no/humord/c00727
                    
                
            {{label}}
            {{#each values }} {{! loop through ConceptPropertyValue objects }}
            {{#if prefLabel }}
            
                
            {{/if}}
            {{/each}}
        
    
                    {{#if notation }}{{ notation }} {{/if}}{{ prefLabel }}
                    {{#ifDifferentLabelLang lang }} ({{ lang }}){{/ifDifferentLabelLang}}
                
                {{#if vocabName }}
                    {{ vocabName }}
                {{/if}}