About: dbpedia-fr:Modus_ponendo

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: dbpedia-fr:Modus_ponendo_tollens Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : prod-dbpedia.inria.fr associated with source document(s)

Attributes	Values
rdfs:label	Modus ponendo tollens (fr) Modus ponendo tollens (ca) Modus ponendo tollens (es) Modus ponendo tollens (pl) Silogismo disjuntivo (pt)
rdfs:comment	En logique propositionnelle, le modus ponendo tollens (du latin: « mode qui nie en affirmant ») est une règle d'inférence valide, parfois abrégé MPT. Celui-ci est étroitement lié au modus ponens et au modus tollens. Il est généralement décrit sous la forme : 1. * Non (A et B) 2. * A 3. * Par conséquent, non B Par exemple : 1. * Anne et Bill ne peuvent pas gagner la course. 2. * Anne a gagné la course. 3. * Par conséquent, Bill n'a pas pu gagner la course. En notation logique, ceci peut être représenté comme suit : 1. * 2. * 3. * 1. * 2. * 3. * (fr)
sameAs	dbr:Modus_ponendo_tollens wikidata:Q339606 dbpedia-ca:Modus_ponendo_tollens dbpedia-cs:Modus_ponendo_tollens dbpedia-de:Modus_ponendo_tollens dbpedia-es:Modus_ponendo_tollens dbpedia-is:Jákvæð_neitunarregla dbpedia-pl:Modus_ponendo_tollens dbpedia-pt:Silogismo_disjuntivo http://g.co/kg/m/03bx042 http://ma-graph.org/entity/88382959
Wikipage page ID	10338901 (xsd:integer)
Wikipage revision ID	155694050 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Raisonnement_mathématique category-fr:Théorie_de_la_démonstration Sheffer stroke Propositional calculus Latin List of logic symbols dbpedia-fr:Règle_d'inférence Validity dbpedia-fr:Modus_ponens dbpedia-fr:Modus_tollens
page length (characters) of wiki page	1199 (xsd:nonNegativeInteger)
dct:subject	category-fr:Raisonnement_mathématique category-fr:Théorie_de_la_démonstration
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Reflist dbpedia-fr:Modèle:Traduction/Référence dbpedia-fr:Modèle:Palette_Règles_de_transformation
prov:wasDerivedFrom	wikipedia-fr:Modus_ponendo_tollens?oldid=155694050&ns=0
prop-fr:art	Modus ponendo tollens (fr)
prop-fr:id	691575456 (xsd:integer)
prop-fr:lang	en (fr)
foaf:isPrimaryTopicOf	wikipedia-fr:Modus_ponendo_tollens
has abstract	En logique propositionnelle, le modus ponendo tollens (du latin: « mode qui nie en affirmant ») est une règle d'inférence valide, parfois abrégé MPT. Celui-ci est étroitement lié au modus ponens et au modus tollens. Il est généralement décrit sous la forme : 1. * Non (A et B) 2. * A 3. * Par conséquent, non B Par exemple : 1. * Anne et Bill ne peuvent pas gagner la course. 2. * Anne a gagné la course. 3. * Par conséquent, Bill n'a pas pu gagner la course. En notation logique, ceci peut être représenté comme suit : 1. * 2. * 3. * Basée sur la barre de Sheffer, notée « \| », l'inférence peut également être formalisée de la manière suivante : 1. * 2. * 3. * (fr)
is oa:hasTarget of	Pt labels Ca labels Es labels Pl labels Wikidata Fr related
is foaf:primaryTopic of	wikipedia-fr:Modus_ponendo_tollens

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 5 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software