| dbo:abstract |
This is a list of rules of inference, logical laws that relate to mathematical formulae. (en) Regole di inferenza di uso comune. * Reductio ad absurdum (it) Regras de inferência são regras de transformação sintáticas que podem ser usadas para inferir uma conclusão a partir de uma premissa, para criar um argumento. Um conjunto de regras pode ser usada para inferir qualquer conclusão válida, se esta conclusão for completa. Entretanto nunca se pode inferir uma conclusão inválida, se isto for assegurado. Um completo e seguro conjunto de regras não precisa incluir cada regra da listagem a seguir, já que muitas delas são redundantes, e podem ser provadas com o uso de outras regras. (pt) |
| dbo:wikiPageID |
354285 (xsd:integer) |
| dbo:wikiPageInterLanguageLink |
dbpedia-de:Schlussregel dbpedia-he:חוקי_היקש |
| dbo:wikiPageLength |
16723 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1105682488 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Propositional_calculus dbr:Monotonicity_of_entailment dbr:List_of_logic_systems dbr:Resolution_(logic) dbr:Deduction_theorem dbr:Reductio_ad_absurdum dbr:Universal_instantiation dbr:Commutative_property dbr:Material_conditional dbr:Negation dbr:Conditional_proof dbr:Conjunction_introduction dbr:Constructive_dilemma dbr:Contradiction dbr:Converse_nonimplication dbr:Linear_logic dbr:Logical_NAND dbr:Logical_NOR dbr:Logical_conjunction dbr:Idempotency_of_entailment dbr:Material_nonimplication dbr:Truth_table dbr:Disjunction_elimination dbr:Disjunction_introduction dbr:Disjunctive_syllogism dbr:Distributive_property dbr:Law_of_excluded_middle dbr:Logical_biconditional dbr:No-cloning_theorem dbr:No-deleting_theorem dbr:First-order_logic dbr:Logical_disjunction dbr:Ex_contradictione_quodlibet dbr:Universal_generalization dbr:Mathematical_proof dbr:Tautology_(logic) dbr:Hypothetical_syllogism dbr:Associative_property dbr:Absorption_(logic) dbc:Rules_of_inference dbr:Biconditional_elimination dbr:Biconditional_introduction dbr:Transposition_(logic) dbr:Modus_ponens dbr:Double_negation_elimination dbr:Double_negation_introduction dbr:Boolean_algebra dbr:Converse_implication dbr:Exclusive_disjunction dbr:If_and_only_if dbc:Mathematics-related_lists dbr:Material_implication_(rule_of_inference) dbr:Lookup_table dbr:Modus_tollens dbr:Rule_of_inference dbc:Logic-related_lists dbr:Exportation_(logic) dbr:Existential_generalization dbr:Existential_instantiation dbr:Substructural_logic dbr:Idempotency dbr:Projection_function dbr:Simplification_(logic) |
| dbp:wikiPageUsesTemplate |
dbt:Portal dbt:Short_description dbt:Logic |
| dct:subject |
dbc:Rules_of_inference dbc:Mathematics-related_lists dbc:Logic-related_lists |
| gold:hypernym |
dbr:List |
| rdfs:comment |
This is a list of rules of inference, logical laws that relate to mathematical formulae. (en) Regole di inferenza di uso comune. * Reductio ad absurdum (it) Regras de inferência são regras de transformação sintáticas que podem ser usadas para inferir uma conclusão a partir de uma premissa, para criar um argumento. Um conjunto de regras pode ser usada para inferir qualquer conclusão válida, se esta conclusão for completa. Entretanto nunca se pode inferir uma conclusão inválida, se isto for assegurado. Um completo e seguro conjunto de regras não precisa incluir cada regra da listagem a seguir, já que muitas delas são redundantes, e podem ser provadas com o uso de outras regras. (pt) |
| rdfs:label |
Lista di regole di inferenza (it) List of rules of inference (en) Lista de regras de inferência (pt) |
| owl:sameAs |
wikidata:List of rules of inference dbpedia-fa:List of rules of inference dbpedia-it:List of rules of inference dbpedia-pt:List of rules of inference dbpedia-th:List of rules of inference https://global.dbpedia.org/id/YPhn |
| prov:wasDerivedFrom |
wikipedia-en:List_of_rules_of_inference?oldid=1105682488&ns=0 |
| foaf:isPrimaryTopicOf |
wikipedia-en:List_of_rules_of_inference |
| is dbo:wikiPageWikiLink of |
dbr:Index_of_logic_articles dbr:Index_of_philosophy_articles_(I–Q) dbr:Inference dbr:Proof_by_example dbr:Rule_of_inference dbr:Index_of_philosophy dbr:Lists_of_mathematics_topics dbr:Existential_generalization dbr:Existential_instantiation dbr:Outline_of_logic dbr:Outline_of_mathematics |
| is foaf:primaryTopic of |
wikipedia-en:List_of_rules_of_inference |