This HTML5 document contains 42 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n11http://www.renyi.hu/~csirmaz/
wikipedia-huhttp://hu.wikipedia.org/wiki/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-huhttp://hu.dbpedia.org/resource/
prop-huhttp://hu.dbpedia.org/property/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n12http://hu.dbpedia.org/resource/Sablon:
owlhttp://www.w3.org/2002/07/owl#
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n10http://www.springerlink.com/content/l3386qw30t78k031/
n9http://hu.dbpedia.org/resource/Kategória:

Statements

Subject Item
dbpedia-hu:Logikai_kalkulus
rdfs:label
Logikai kalkulus
owl:sameAs
freebase:m.0239v0
dct:subject
n9:Matematikai_logika
dbo:wikiPageID
675065
dbo:wikiPageRevisionID
21924805
dbo:wikiPageExternalLink
n10:fulltext.pdf n11:
prop-hu:wikiPageUsesTemplate
n12:Bővebben n12:Cite_journal n12:Cite_book n12:Halott_link n12:ISBN
prop-hu:author
Pásztorné Varga Katalin - Várterész Magda Ruzsa Imre Alexander Chagrov – Michael Zakharyaschev
prop-hu:coauthors
Máté András
prop-hu:date
2019
prop-hu:first
Imre
prop-hu:isbn
9780198537793 963
prop-hu:language
magyar
prop-hu:last
Ruzsa
prop-hu:location
Oxford Budapest
prop-hu:publisher
Osiris Kiadó Akadémiai Kiadó Panem Könyvkiadó Clarendon Press
prop-hu:title
Bevezetés a modern logikába A matematikai logika alkalmazásszemléletű tárgyalása Modal Logic Logikai szintaxis és szemantika I.
prop-hu:url
n10:fulltext.pdf
prop-hu:year
2003 1988 1997
prop-hu:volume
II-III. rész
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.
prov:wasDerivedFrom
wikipedia-hu:Logikai_kalkulus?oldid=21924805&ns=0
dbo:wikiPageLength
38361
foaf:isPrimaryTopicOf
wikipedia-hu:Logikai_kalkulus
Subject Item
wikipedia-hu:Logikai_kalkulus
foaf:primaryTopic
dbpedia-hu:Logikai_kalkulus