About: Modus ponendo tollens

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

If X and Y can't both be true, and X is true, then Y isn't true

Property	Value
dbo:description	reguła wnioskowania z dwóch przesłanek, zaliczana do sylogizmów i praw klasycznego rachunku zdań (pl) Schlussregel der formalen Logik (de) inferencoregulo, laŭ kiu, donita ¬(P∧Q) kaj P, oni inferencas ¬Q (eo) if X and Y can't both be true, and X is true, then Y isn't true (en)
dbo:wikiPageInterLanguageLink	dbpedia-nl:Modus_tollens
dbo:wikiPageWikiLink	dbc:Theorems_in_propositional_logic dbr:Stoic_logic dbr:Validity_(logic) dbr:Rule_of_inference dbr:Disjunctive_syllogism dbr:Propositional_calculus dbr:Modus_ponens dbr:Latin dbc:Latin_logical_phrases dbr:Double_negation dbc:Rules_of_inference dbr:De_Morgan's_laws dbr:E._J._Lemmon dbr:Sheffer_Stroke dbr:Modus_tollendo_ponens dbr:Table_of_logic_symbols
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Italic_title dbt:Transformation_rules
dct:subject	dbc:Theorems_in_propositional_logic dbc:Latin_logical_phrases dbc:Rules_of_inference
rdfs:label	Modus ponendo tollens (en) Modus ponendo tollens (ca) Modus ponendo tollens (cs) Modus ponendo tollens (es) Modus ponendo tollens (de) Modus ponendo tollens (fr) Modus ponendo tollens (pl) Silogismo disjuntivo (pt)
owl:sameAs	yago-res:Modus ponendo tollens freebase:Modus ponendo tollens wikidata:Modus ponendo tollens dbpedia-de:Modus ponendo tollens dbpedia-fr:Modus ponendo tollens dbpedia-pt:Modus ponendo tollens dbpedia-es:Modus ponendo tollens dbpedia-pl:Modus ponendo tollens dbpedia-ca:Modus ponendo tollens dbpedia-cs:Modus ponendo tollens dbpedia-is:Modus ponendo tollens dbpedia-global:Modus ponendo tollens dbr:Modus ponendo tollens
prov:wasDerivedFrom	wikipedia-en:Modus_ponendo_tollens?oldid=1269337635&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Modus_ponendo_tollens
is dbo:wikiPageWikiLink of	dbr:Stoic_logic dbr:Disjunctive_syllogism dbr:Chrysippus dbr:Index_of_philosophy_articles_(I–Q) dbr:Outline_of_logic
is foaf:primaryTopic of	wikipedia-en:Modus_ponendo_tollens