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

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

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n16http://worldcat.org/oclc/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n17https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
n21https://www.jstor.org/stable/
freebasehttp://rdf.freebase.com/ns/
dbpedia-pthttp://pt.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbpedia-zhhttp://zh.dbpedia.org/resource/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Implicational_propositional_calculus
rdf:type
yago:Logic105664069 yago:WikicatSystemsOfFormalLogic yago:Abstraction100002137 yago:Cognition100023271 yago:Ability105616246 yago:Method105660268 yago:System105661996 yago:Know-how105616786 yago:PsychologicalFeature100023100
rdfs:label
Implicational propositional calculus 蕴涵命题演算 Cálculo proposicional implicacional
rdfs:comment
In mathematical logic, the implicational propositional calculus is a version of classical propositional calculus which uses only one connective, called implication or conditional. In formulas, this binary operation is indicated by "implies", "if ..., then ...", "→", "", etc.. Na lógica matemática, o cálculo proposicional implicacional é um fragmento do cálculo proposicional clássico (bivalente) que usa somente um conectivo, chamado de implicação ou condicional. Nas fórmulas, essa operação binária é indicada por "implica", "se ..., então ...", "", etc. 在数理逻辑中，蕴涵命题演算是只使用叫做蕴涵或条件的一个连结词的经典(二值)命题演算。用公式表达，这个二元运算被指示为“implies”“如果 ..., 则 ...”, “→”, “”等等。
dcterms:subject
dbc:Systems_of_formal_logic dbc:Conditionals dbc:Articles_containing_proofs dbc:Propositional_calculus
dbo:wikiPageID
5795043
dbo:wikiPageRevisionID
1060560676
dbo:wikiPageWikiLink
dbr:Binary_operation dbc:Systems_of_formal_logic dbr:Deduction_theorem dbr:Classical_logic dbr:Logical_connective dbc:Conditionals dbr:Functional_completeness dbr:Logical_equivalence dbr:Logical_operator dbr:Hypothetical_syllogism dbr:Truth_table dbr:Material_conditional dbr:Valuation_(logic) dbr:Propositional_calculus dbr:Mathematical_logic dbr:Truth_function dbr:Peirce's_law dbr:NP-complete dbr:List_of_logic_systems dbr:False_(logic) dbr:Axiom_schema dbr:Substitution_(logic) dbc:Propositional_calculus dbr:Entailment dbr:Compactness_theorem dbc:Articles_containing_proofs dbr:Tautology_(logic) dbr:Formula dbr:Modus_ponens dbr:Co-NP-complete dbr:Completeness_(logic) dbr:Rule_of_inference
dbo:wikiPageExternalLink
n16:259359 n21:20488489
owl:sameAs
wikidata:Q6007243 dbpedia-zh:蕴涵命题演算 yago-res:Implicational_propositional_calculus n17:4nVP4 dbpedia-pt:Cálculo_proposicional_implicacional freebase:m.0f508m
dbp:wikiPageUsesTemplate
dbt:EquationRef dbt:NumBlk dbt:Main dbt:Reflist dbt:= dbt:Math dbt:EquationNote
dbo:abstract
Na lógica matemática, o cálculo proposicional implicacional é um fragmento do cálculo proposicional clássico (bivalente) que usa somente um conectivo, chamado de implicação ou condicional. Nas fórmulas, essa operação binária é indicada por "implica", "se ..., então ...", "", etc. In mathematical logic, the implicational propositional calculus is a version of classical propositional calculus which uses only one connective, called implication or conditional. In formulas, this binary operation is indicated by "implies", "if ..., then ...", "→", "", etc.. 在数理逻辑中，蕴涵命题演算是只使用叫做蕴涵或条件的一个连结词的经典(二值)命题演算。用公式表达，这个二元运算被指示为“implies”“如果 ..., 则 ...”, “→”, “”等等。
prov:wasDerivedFrom
wikipedia-en:Implicational_propositional_calculus?oldid=1060560676&ns=0
dbo:wikiPageLength
20737
foaf:isPrimaryTopicOf
wikipedia-en:Implicational_propositional_calculus