| Property |
Value |
| dbo:abstract
|
- Logikai kalkuluson olyan adott nyelv formuláihoz tartozó formális rendszert, szabályrendszert értünk, amely pusztán szintaktikailag, szemantika nélkül ad meg egy következményrelációt. A logikai kalkulus tehát egy axiómarendszer, amely magában a logikai tautológiákat állítja elő, adott formulákat (premissza) ideiglenesen hozzávéve pedig más formulákra (konklúzió) lehet jutni (következtetni) vele. Tehát például a klasszikus logika esetében, ha rendelkezünk egy alkalmas logikai kalkulussal, akkor anélkül tudunk számot adni a szokásos következmény, logikai igazság, ellentmondás és ekvivalencia, és általában a logikai konstansok fogalmáról, hogy az „igaz” és „hamis” szavak, azaz a szemantika segítségére szorulnánk. A „kalkulus” kifejezést George Boole hatására egy időben a Boole-algebra jelölésére is alkalmazták, azonban ez a fajta használat mára elavult. (hu)
- Logikai kalkuluson olyan adott nyelv formuláihoz tartozó formális rendszert, szabályrendszert értünk, amely pusztán szintaktikailag, szemantika nélkül ad meg egy következményrelációt. A logikai kalkulus tehát egy axiómarendszer, amely magában a logikai tautológiákat állítja elő, adott formulákat (premissza) ideiglenesen hozzávéve pedig más formulákra (konklúzió) lehet jutni (következtetni) vele. Tehát például a klasszikus logika esetében, ha rendelkezünk egy alkalmas logikai kalkulussal, akkor anélkül tudunk számot adni a szokásos következmény, logikai igazság, ellentmondás és ekvivalencia, és általában a logikai konstansok fogalmáról, hogy az „igaz” és „hamis” szavak, azaz a szemantika segítségére szorulnánk. A „kalkulus” kifejezést George Boole hatására egy időben a Boole-algebra jelölésére is alkalmazták, azonban ez a fajta használat mára elavult. (hu)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 38361 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| prop-hu:author
|
- Alexander Chagrov – Michael Zakharyaschev (hu)
- Pásztorné Varga Katalin - Várterész Magda (hu)
- Ruzsa Imre (hu)
- Alexander Chagrov – Michael Zakharyaschev (hu)
- Pásztorné Varga Katalin - Várterész Magda (hu)
- Ruzsa Imre (hu)
|
| prop-hu:coauthors
|
- Máté András (hu)
- Máté András (hu)
|
| prop-hu:date
| |
| prop-hu:first
| |
| prop-hu:isbn
|
- 963 (xsd:integer)
- 9780198537793 (xsd:decimal)
|
| prop-hu:language
| |
| prop-hu:last
| |
| prop-hu:location
|
- Budapest (hu)
- Oxford (hu)
- Budapest (hu)
- Oxford (hu)
|
| prop-hu:publisher
|
- Osiris Kiadó (hu)
- Akadémiai Kiadó (hu)
- Clarendon Press (hu)
- Panem Könyvkiadó (hu)
- Osiris Kiadó (hu)
- Akadémiai Kiadó (hu)
- Clarendon Press (hu)
- Panem Könyvkiadó (hu)
|
| prop-hu:title
|
- A matematikai logika alkalmazásszemléletű tárgyalása (hu)
- Bevezetés a modern logikába (hu)
- Logikai szintaxis és szemantika I. (hu)
- Modal Logic (hu)
- A matematikai logika alkalmazásszemléletű tárgyalása (hu)
- Bevezetés a modern logikába (hu)
- Logikai szintaxis és szemantika I. (hu)
- Modal Logic (hu)
|
| prop-hu:url
| |
| prop-hu:volume
|
- II-III. rész (hu)
- II-III. rész (hu)
|
| prop-hu:wikiPageUsesTemplate
| |
| prop-hu:year
|
- 1988 (xsd:integer)
- 1997 (xsd:integer)
- 2003 (xsd:integer)
|
| dct:subject
| |
| rdfs:label
|
- Logikai kalkulus (hu)
- Logikai kalkulus (hu)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is foaf:primaryTopic
of | |
