| dbo:description
|
- mathematische Funktion (de)
- matematická funkce (cs)
- mathematical function (en)
- función que toma un conjunto de valores de verdad y devuelve un valor de verdad (es)
- Tabela de resultados de uma operação lógica (pt)
- funzione da valori di verità a un valore di verità univoco (it)
|
| dbo:thumbnail
| |
| dbo:wikiPageWikiLink
| |
| dbp:also
| |
| dbp:equivalents
|
- q (en)
- p (en)
- Np (en)
- Apq (en)
- Bpq (en)
- Cpq (en)
- Dpq (en)
- Epq (en)
- Fpq (en)
- Gpq (en)
- Hpq (en)
- Ipq (en)
- Jpq (en)
- Kpq (en)
- Lpq (en)
- Mpq (en)
- Nq (en)
- Opq (en)
- P ¬Q (en)
- P ∧ ¬P (en)
- P ∧ ¬Q (en)
- P ∨ ¬P (en)
- P ∨ ¬Q (en)
- P ← ¬Q (en)
- P ↑ ¬Q (en)
- P → ¬Q (en)
- P ↓ ¬Q (en)
- P ↚ ¬Q (en)
- P ↛¬Q (en)
- P ↮ ¬Q (en)
- Vpq (en)
- Xpq (en)
- ¬ (en)
- ¬P Q (en)
- ¬P ¬Q (en)
- ¬P ↛ Q (en)
- ¬P ↮ Q (en)
- ¬P ↮ ¬Q (en)
- ¬P ∧ Q (en)
- ¬P ∧ ¬Q (en)
- ¬P ∨ Q (en)
- ¬P ∨ ¬Q (en)
- ¬P ← Q (en)
- ¬P ← ¬Q (en)
- ¬P ↑ Q (en)
- ¬P ↑ ¬Q (en)
- ¬P → Q (en)
- ¬P → ¬Q (en)
- ¬P ↓ Q (en)
- ¬P ↓ ¬Q (en)
- ¬P ↚ Q (en)
- ¬P ↚ ¬Q (en)
- ¬P ↛ ¬Q (en)
|
| dbp:id
| |
| dbp:main
|
- Negation (en)
- Proposition (en)
- Tautology (en)
- Logical NOR (en)
- Contradiction (en)
- Logical conjunction (en)
- Converse implication (en)
- Converse nonimplication (en)
- Exclusive or (en)
- Logical biconditional (en)
- Logical disjunction (en)
- Material conditional (en)
- Material nonimplication (en)
- Sheffer stroke (en)
|
| dbp:notation
|
- Q (en)
- P (en)
- "top" (en)
- "bottom" (en)
- P Q (en)
- P ↚ Q (en)
- P & Q (en)
- P ∧ Q (en)
- P ∨ Q (en)
- P ⊂ Q (en)
- P ⊃ Q (en)
- P AND Q (en)
- P IFF Q (en)
- P IMPLY Q (en)
- P NAND Q (en)
- P NIMPLY Q (en)
- P NOR Q (en)
- P OR Q (en)
- P XNOR Q (en)
- P XOR Q (en)
- P · Q (en)
- P ← Q (en)
- P ↑ Q (en)
- P → Q (en)
- P ↓ Q (en)
- P ↛ Q (en)
- P ↮ Q (en)
- P ≡ Q (en)
- P ≢ Q (en)
- P ⨁ Q (en)
- ~P (en)
- ~Q (en)
- ¬P (en)
- ¬Q (en)
|
| dbp:title
|
- Tautology (en)
- Conjunction (en)
- Converse implication (en)
- Converse nonimplication (en)
- Disjunction (en)
- Equivalence/Biconditional (en)
- Material implication (en)
- Material nonimplication (en)
- Negation of P (en)
- Negation of Q (en)
- Non-conjunction/Alternative denial (en)
- Non-disjunction/Joint denial (en)
- Non-equivalence/Exclusive disjunction (en)
- Proposition P (en)
- Proposition Q (en)
- TruthFunction (en)
|
| dbp:truthtable
|
- 0 (xsd:integer)
- 1 (xsd:integer)
|
| dbp:wikiPageUsesTemplate
| |
| dct:subject
| |
| gold:hypernym
| |
| rdfs:label
|
- Truth function (en)
- Funció de veritat (ca)
- Logická funkce (cs)
- Función de verdad (es)
- Wahrheitswertefunktion (de)
- 真理関数 (ja)
- Fonction de vérité (fr)
- Funzione di verità (it)
- Função de verdade (pt)
- Sanningsfunktion (sv)
- 真值函数 (zh)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
