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

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

Namespace Prefixes

PrefixIRI
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#
n9http://hu.dbpedia.org/resource/Sablon:
owlhttp://www.w3.org/2002/07/owl#
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n11http://hu.dbpedia.org/resource/Kategória:

Statements

Subject Item
dbpedia-hu:Logikai_művelet
rdfs:label
Logikai művelet
owl:sameAs
freebase:m.04m39
dct:subject
n11:Matematikai_logika n11:Logika
dbo:wikiPageID
268987
dbo:wikiPageRevisionID
22355572
prop-hu:wikiPageUsesTemplate
n9:Bővebben
dbo:abstract
Logikai műveletek alatt az ítéletkalkulus ítéletein definiált műveleteket értünk, amelyek segítségével az ítéletekből újabb, összetett ítéleteket alkothatunk. Az így képezett összetett ítéletek igazságértéke pedig egyértelműen meghatározható a kiindulási ítéletek igazságértékeiből. A logikai művelet, mint általános fogalom, számtalan különféle néven fordul elő a szakirodalomban. A szerzők beszélnek pl. logikai függvényekről, igazságfüggvényekről, logikai operátorokról (ezek közé általában a kvantorokat is beleértve), vagy - ritkábban - junktorokról. A legáltalánosabban használt logikai műveletek a negáció, a konjunkció, a diszjunkció, az implikáció és az ekvivalencia.A logikai műveleteket két nagy csoportba osztjuk: a formális logika és a szimbolikus logika.A formális logika célja a helyes következtetések levonása.A szimbolikus logika szimbólumokat használ: * Igaz = i, felfelé mutató nyíl, 1, T * Hamis = h, lefelé mutató nyíl, 0, F
prov:wasDerivedFrom
wikipedia-hu:Logikai_művelet?oldid=22355572&ns=0
dbo:wikiPageLength
6531
foaf:isPrimaryTopicOf
wikipedia-hu:Logikai_művelet
Subject Item
wikipedia-hu:Logikai_művelet
foaf:primaryTopic
dbpedia-hu:Logikai_művelet