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

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

Namespace Prefixes

PrefixIRI
dbpedia-dahttp://da.dbpedia.org/resource/
dbpedia-elhttp://el.dbpedia.org/resource/
n58http://bn.dbpedia.org/resource/
dbpedia-nohttp://no.dbpedia.org/resource/
dbpedia-svhttp://sv.dbpedia.org/resource/
n20http://hy.dbpedia.org/resource/
dbrhttp://dbpedia.org/resource/
dbpedia-fihttp://fi.dbpedia.org/resource/
n22http://fr.dbpedia.org/resource/Modèle:
dbpedia-mshttp://ms.dbpedia.org/resource/
dbpedia-arhttp://ar.dbpedia.org/resource/
dbpedia-ethttp://et.dbpedia.org/resource/
dbpedia-hehttp://he.dbpedia.org/resource/
dbpedia-frhttp://fr.dbpedia.org/resource/
n25https://www.britannica.com/topic/
dbpedia-mkhttp://mk.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
dbpedia-cshttp://cs.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n16http://g.co/kg/m/
n35https://d-nb.info/gnd/
n43http://lv.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n32http://si.dbpedia.org/resource/
dbpedia-eohttp://eo.dbpedia.org/resource/
dbpedia-euhttp://eu.dbpedia.org/resource/
xsdhhttp://www.w3.org/2001/XMLSchema#
n39http://fr.dbpedia.org/resource/Modèle:Traduction/
dbpedia-idhttp://id.dbpedia.org/resource/
dbpedia-ukhttp://uk.dbpedia.org/resource/
n36http://ma-graph.org/entity/
dbpedia-lahttp://la.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
dbpedia-srhttp://sr.dbpedia.org/resource/
dbohttp://dbpedia.org/ontology/
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-skhttp://sk.dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/
n42http://commons.dbpedia.org/resource/Category:
dbpedia-dehttp://de.dbpedia.org/resource/
dbpedia-plhttp://pl.dbpedia.org/resource/
dbpedia-thhttp://th.dbpedia.org/resource/
n44http://am.dbpedia.org/resource/
dbpedia-ruhttp://ru.dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/
dbpedia-nlhttp://nl.dbpedia.org/resource/
n65https://www.quora.com/topic/
dbpedia-afhttp://af.dbpedia.org/resource/
n34https://commons.wikimedia.org/wiki/Category:
n57http://hi.dbpedia.org/resource/
dbpedia-ithttp://it.dbpedia.org/resource/
dbpedia-cahttp://ca.dbpedia.org/resource/
n14http://www.enciclopedia.cat/
provhttp://www.w3.org/ns/prov#
foafhttp://xmlns.com/foaf/0.1/
n17https://www.jstor.org/topic/
wikipedia-frhttp://fr.wikipedia.org/wiki/
dbpedia-zhhttp://zh.dbpedia.org/resource/
n63http://psh.ntkcz.cz/skos/
dbpedia-kohttp://ko.dbpedia.org/resource/
n37http://wuu.dbpedia.org/resource/
dbpedia-trhttp://tr.dbpedia.org/resource/
dbpedia-fahttp://fa.dbpedia.org/resource/
dbpedia-eshttp://es.dbpedia.org/resource/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
owlhttp://www.w3.org/2002/07/owl#

Statements

Subject Item
dbpedia-fr:Table_de_vérité
rdfs:label
Tabela-verdade የዕውነታ ሠንጠረዥ Table de vérité Tablica prawdy Taula de veritat 真理値表 Sanningsvärdetabell Waarheidstabel Таблица истинности Таблиці істинності Tabla de verdad Truth table Wahrheitstabelle
rdfs:comment
Une table de vérité (parfois appelée fonction de vérité) est une table mathématique utilisée en logique classique — en particulier le calcul propositionnel classique et l'algèbre de Boole — pour représenter de manière sémantique des expressions logiques et calculer la valeur de leur fonction relativement à chacun de leurs arguments fonctionnels (chaque combinaison de valeur assumée par leurs variables logiques). Les tables de vérité peuvent être utilisées en particulier pour dire si une proposition est vraie pour toutes les valeurs légitimement imputées, c'est-à-dire : si une proposition est « logiquement valide ».
rdfs:seeAlso
n14:EC-GEC-0269748.xml n14:EC-GEC-0269658.xml n17:truth-tables n25:maigueite n34:Truth_tables n25:truth-table n63:PSH1928 n65:Truth-Table
owl:sameAs
dbpedia-et:Tõeväärtustabel dbpedia-ar:جدول_الحقيقة dbpedia-ja:真理値表 dbpedia-zh:真值表 dbpedia-af:Waarheidstabel dbpedia-ko:진리표 dbpedia-uk:Таблиці_істинності n16:07gtx n20:Իսկության_աղյուսակ dbpedia-pl:Tablica_prawdy dbpedia-ru:Таблица_истинности dbpedia-mk:Таблица_на_вистинитост dbpedia-fi:Totuustaulu dbpedia-he:טבלת_אמת dbpedia-tr:Doğruluk_tablosu dbpedia-it:Tabella_della_verità dbpedia-la:Ratio_propositionum n32:සත්‍යතා_වගුව dbpedia-fa:جدول_ارزش n35:7852448-9 n36:56949724 n37:真值表 dbpedia-eu:Egia-taula dbpedia-ms:Jadual_kebenaran dbpedia-no:Sannhetstabell n42:Truth_tables n43:Patiesības_tabula n44:የዕውነታ_ሠንጠረዥ dbpedia-eo:Vertabelo dbpedia-pt:Tabela-verdade dbpedia-sv:Sanningsvärdetabell dbr:Truth_table dbpedia-el:Πίνακας_αληθείας dbpedia-th:ตารางค่าความจริง dbpedia-cs:Pravdivostní_tabulka dbpedia-sr:Таблице_истинитости dbpedia-sk:Pravdivostná_tabuľka dbpedia-de:Wahrheitstabelle dbpedia-da:Sandhedstabel n57:सत्यता_सारणी n58:সত্যক_সারণি wikidata:Q219079 dbpedia-ca:Taula_de_veritat dbpedia-id:Tabel_kebenaran dbpedia-es:Tabla_de_verdad dbpedia-nl:Waarheidstabel
dbo:wikiPageID
79487
dbo:wikiPageRevisionID
191030517
dbo:wikiPageWikiLink
dbpedia-fr:Booléen dbpedia-fr:Bit dbpedia-fr:Non-implication_réciproque dbpedia-fr:Non-implication dbpedia-fr:Charles_Sanders_Peirce dbpedia-fr:Calcul_des_prédicats dbpedia-fr:Informatique dbpedia-fr:Calcul_des_propositions dbpedia-fr:Système_binaire dbpedia-fr:Fonction_OU_exclusif dbpedia-fr:Proposition dbpedia-fr:Électronique_(technique) dbpedia-fr:Opération_binaire dbpedia-fr:Croissance_exponentielle dbpedia-fr:Valeur_de_vérité dbpedia-fr:Fonction_NON-ET dbpedia-fr:Fonction_NON-OU dbpedia-fr:Implication_réciproque dbpedia-fr:Vérité dbpedia-fr:Implication_(logique) dbpedia-fr:Exclusive_nor dbpedia-fr:Identité dbpedia-fr:Conception_assistée_par_ordinateur_pour_l'électronique dbpedia-fr:Négation_logique dbpedia-fr:Barre_de_Sheffer dbpedia-fr:Logique_classique dbpedia-fr:Connecteur_logique category-fr:Logique_mathématique dbpedia-fr:Disjonction_logique dbpedia-fr:Mathématiques dbpedia-fr:Validité_(logique) dbpedia-fr:Diagrammes_d'Euler,_de_Venn_et_de_Carroll dbpedia-fr:Lois_de_De_Morgan dbpedia-fr:Tautologie dbpedia-fr:Contradiction dbpedia-fr:Table_de_Karnaugh dbpedia-fr:Fonction_logique dbpedia-fr:Table_de_correspondance dbpedia-fr:Opération_unaire dbpedia-fr:Méthode_des_tableaux dbpedia-fr:Algèbre_de_Boole_(logique) dbpedia-fr:Domaine_booléen category-fr:Fonction_logique dbpedia-fr:Conjonction_logique dbpedia-fr:Équivalence_logique
dbo:wikiPageLength
26241
dct:subject
category-fr:Fonction_logique category-fr:Logique_mathématique
prop-fr:wikiPageUsesTemplate
n22:Vert n22:Voir_homonymie n22:, n39:Référence n22:Article_détaillé n22:Portail n22:Refnec n22:Références n22:Rouge
prov:wasDerivedFrom
wikipedia-fr:Table_de_vérité?oldid=191030517&ns=0
prop-fr:art
Truth table
prop-fr:lang
en
foaf:isPrimaryTopicOf
wikipedia-fr:Table_de_vérité
dbo:abstract
Une table de vérité (parfois appelée fonction de vérité) est une table mathématique utilisée en logique classique — en particulier le calcul propositionnel classique et l'algèbre de Boole — pour représenter de manière sémantique des expressions logiques et calculer la valeur de leur fonction relativement à chacun de leurs arguments fonctionnels (chaque combinaison de valeur assumée par leurs variables logiques). Les tables de vérité peuvent être utilisées en particulier pour dire si une proposition est vraie pour toutes les valeurs légitimement imputées, c'est-à-dire : si une proposition est « logiquement valide ». En pratique, une table de vérité est composée d'une colonne pour chaque variable imputée (A et B par exemple, ou p et q), et d'une colonne où sont inscrits tous les résultats possibles de l'opération logique représentée par le tableau (A XOR B par exemple). Chaque ligne de la table de vérité contient ainsi une des configurations possibles des variables imputées (par exemple : A=vrai, B=faux), ainsi que le résultat de l'opération pour ces valeurs. Ces outils sont couramment utilisés en mathématiques (logique propositionnelle), en électronique (porte logique) et en informatique (tests) selon un code d'entrée binaire (1 / 0, vrai / faux, allumé / éteint, etc.) Une sortie, également représentée sous forme de colonne, est la résultante des états d'entrée, elle-même exprimée sous forme d'état binaire. En d'autres termes, lorsque les entrées remplissent les conditions du circuit, la (les) sortie est activée.