About: Teoremas de la lógica proposicional

Property	Value
dbo:wikiPageID	6197776 (xsd:integer)
dbo:wikiPageRevisionID	72882433 (xsd:integer)
rdf:type	skos:Concept
rdfs:label	Teoremas de la lógica proposicional (es) Teoremas de la lógica proposicional (es)
skos:broader	category-es:Teoremas_de_lógica category-es:Lógica_proposicional category-es:Teoremas_de_matemáticas
skos:prefLabel	Teoremas de la lógica proposicional (es) Teoremas de la lógica proposicional (es)
prov:wasDerivedFrom	wikipedia-es:Categoría:Teoremas_de_la_lógica_proposicional?oldid=72882433&ns=14
is dct:subject of	dbpedia-es:Contrarrecíproco dbpedia-es:Eliminación_del_bicondicional dbpedia-es:Modus_ponendo_tollens dbpedia-es:Teorema_de_consenso dbpedia-es:Implicación_material dbpedia-es:Reductio_ad_absurdum dbpedia-es:Dilema_constructivo dbpedia-es:Doble_negación_(lógica) dbpedia-es:Introducción_de_la_conjunción dbpedia-es:Principio_del_tercero_excluido dbpedia-es:Simplificación dbpedia-es:Modus_tollendo_ponens dbpedia-es:Introducción_del_bicondicional dbpedia-es:Resolución_(lógica) dbpedia-es:Dilema_destructivo dbpedia-es:Introducción_de_la_disyunción dbpedia-es:Contraposición_lógica dbpedia-es:Modus_ponendo_ponens dbpedia-es:Modus_tollendo_tollens dbpedia-es:Tautología_(regla_de_inferencia) dbpedia-es:Transposición_(lógica) dbpedia-es:Leyes_de_De_Morgan dbpedia-es:Principio_de_identidad dbpedia-es:Principio_de_no_contradicción dbpedia-es:Principio_de_explosión dbpedia-es:Eliminación_de_la_disyunción dbpedia-es:Monotonicidad_de_la_implicación dbpedia-es:Teorema_de_Frege dbpedia-es:Silogismo_hipotético