About: Converse (logic)

Property	Value
dbo:description	implicação entre duas proposições onde uma é a inversa da outra (pt) reverse of a categorical or hypothetical proposition (en) ある命題の仮定と結論を入れ替えて得られる命題 (ja) concepto da lóxica e as matemáticas que indica a recíproca da implicación lóxica (gl) concepto en lógica y matemática (es) fait d'inverser une hypothèse et sa conclusion (fr) twierdzenie z odwróconą implikacją (pl) عكس قضية قاطعة أو فرضية (ar)
dbo:thumbnail	wiki-commons:Special:FilePath/Venn1101.svg?width=300
dbo:wikiPageWikiLink	dbr:Susan_Stebbing dbr:Term_logic dbr:Józef_Maria_Bocheński dbr:Pythagorean_theorem dbr:First-order_logic dbc:Logical_connectives dbr:Syllogism dbr:Inference dbr:Aristotle dbr:Logic dbr:Mathematics dbr:Contraposition dbr:Transposition_(logic) dbr:Four-vertex_theorem dbr:Converse_relation dbr:Logical_truth dbr:Antecedent_(logic) dbr:Consequent dbr:Binary_relation dbr:Logical_connective dbr:Categorical_proposition dbc:Immediate_inference dbr:Affirming_the_consequent dbr:Irving_Copi dbr:Material_conditional dbr:Euclid's_Elements dbr:Obversion dbr:Inverse_(logic) dbr:Asa_Mahan dbr:Converse_(semantics) dbr:Distribution_of_terms dbr:Iff dbr:File:An_example_of_converse_property.png dbr:File:Venn0101.svg dbr:File:Venn1100.svg dbr:File:Venn1101.svg
dbp:wikiPageUsesTemplate	dbt:Portal dbt:Reflist dbt:See_also dbt:Logical_connectives dbt:2-ary_truth_table dbt:Logical_connectives_sidebar dbt:Cn dbt:Short_description
dct:subject	dbc:Logical_connectives dbc:Immediate_inference
gold:hypernym	dbr:Result
rdfs:label	Converse (logic) (en) Conversió lògica (ca) Conversión lógica (es) Implication réciproque (fr) Implicazione inversa (it) Konvers (logika) (in) 逆 (ja) 역 (논리학) (ko) Recíproca (pt) Обратная теорема (ru) Обернення (логіка) (uk) 逆命题 (zh)
rdfs:seeAlso	dbr:Categorical_proposition
owl:sameAs	freebase:Converse (logic) wikidata:Converse (logic) dbpedia-it:Converse (logic) dbpedia-fr:Converse (logic) dbpedia-zh:Converse (logic) dbpedia-ja:Converse (logic) dbpedia-pt:Converse (logic) dbpedia-es:Converse (logic) dbpedia-fa:Converse (logic) dbpedia-ru:Converse (logic) dbpedia-ko:Converse (logic) dbpedia-id:Converse (logic) dbpedia-ca:Converse (logic) dbpedia-am:Converse (logic) dbpedia-hy:Converse (logic) dbpedia-sh:Converse (logic) dbpedia-simple:Converse (logic) dbpedia-uk:Converse (logic) dbpedia-uz:Converse (logic) dbpedia-global:Converse (logic)
prov:wasDerivedFrom	wikipedia-en:Converse_(logic)?oldid=1282258579&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Venn1101.svg wiki-commons:Special:FilePath/An_example_of_converse_property.png wiki-commons:Special:FilePath/Venn0101.svg wiki-commons:Special:FilePath/Venn1100.svg
foaf:isPrimaryTopicOf	wikipedia-en:Converse_(logic)
is dbo:wikiPageDisambiguates of	dbr:Converse
is dbo:wikiPageRedirects of	dbr:Conversion_(logic) dbr:Converse_implication dbr:Converse_(mathematics) dbr:Converse_conditional dbr:Conversely dbr:Conversion_(Logic) dbr:Convertend dbr:Logical_converse
is dbo:wikiPageWikiLink of	dbr:Prime_ideal dbr:Colossally_abundant_number dbr:Non-analytic_smooth_function dbr:Irreducible_ideal dbr:Fallacy_of_composition dbr:Converse dbr:Term_logic dbr:Soundness dbr:Root_of_unity dbr:Hall_subgroup dbr:Surface_of_constant_width dbr:Solenoidal_vector_field dbr:Finitely_generated_algebra dbr:Morphism dbr:Variety_(universal_algebra) dbr:Conway_base_13_function dbr:Skein_relation dbr:Orthodiagonal_quadrilateral dbr:Knaster–Tarski_theorem dbr:Projection_(linear_algebra) dbr:Euclidean_domain dbr:Unimodular_matrix dbr:Unconditional_convergence dbr:Cohn's_irreducibility_criterion dbr:Claude_LeBrun dbr:John_Horton_Conway dbr:Maschke's_theorem dbr:Pons_asinorum dbr:Choice_function dbr:Commuting_matrices dbr:Product_of_rings dbr:P-adic_number dbr:Categorical_imperative dbr:Galois_connection dbr:Contraposition dbr:Contraposition_(traditional_logic) dbr:Negligible_function dbr:Field_trace dbr:Faithful_representation dbr:Biconditional_introduction dbr:Induced_homomorphism dbr:Algebraic_extension dbr:Approximate_identity dbr:Completeness_(logic) dbr:Reinforcement dbr:Simple_module dbr:Axiom_of_limitation_of_size dbr:Index_of_logic_articles dbr:Atomic_domain dbr:Calculus_of_variations dbr:Square_of_opposition dbr:Closeness_(mathematics) dbr:De_motu_corporum_in_gyrum dbr:Decomposition_of_a_module dbr:Cyclical_monotonicity dbr:Eakin–Nagata_theorem dbr:Double_negation dbr:Pretzel_link dbr:Conversion_(logic) dbr:Chinese_remainder_theorem dbr:Parallelogram dbr:Tensor_product_of_fields dbr:Fundamental_group dbr:Categorical_proposition dbr:Converse_implication dbr:Splitting_field dbr:Abelian_and_Tauberian_theorems dbr:Artinian_module dbr:Polynomial_SOS dbr:Alternativity dbr:Intercept_theorem dbr:Boundary_parallel dbr:Transcendental_number dbr:Periodic_function dbr:Borel–Cantelli_lemma dbr:Unipotent dbr:Hard_cases_make_bad_law dbr:Hardy–Littlewood_Tauberian_theorem dbr:I_before_E_except_after_C dbr:Free_abelian_group dbr:Locally_compact_space dbr:Projective_module dbr:Alternative_algebra dbr:Cellular_algebra dbr:Chinese_hypothesis dbr:Equaliser_(mathematics) dbr:Transpose_graph dbr:Complete_partial_order dbr:Inverse_(logic) dbr:Resolvent_(Galois_theory) dbr:Hilbert's_third_problem dbr:Archimedean_group dbr:Consistent_heuristic dbr:Window_operator dbr:Anomalous_cancellation dbr:Michael_selection_theorem dbr:Conductor_(ring_theory) dbr:Frege's_propositional_calculus dbr:Confusion_of_the_inverse dbr:Semitopological_group dbr:Linear_equation_over_a_ring dbr:Subalternation dbr:Desert_(philosophy) dbr:Converse_(mathematics) dbr:Converse_conditional dbr:Conversely dbr:Conversion_(Logic) dbr:Convertend dbr:Logical_converse
is foaf:primaryTopic of	wikipedia-en:Converse_(logic)