conjunction elimination (Q9289849)

From Wikidata

Jump to navigation Jump to search

inference in propositional logic

• simplification

edit

Language	Label	Description	Also known as
English	conjunction elimination	inference in propositional logic	simplification

Statements

instance of

theorem

0 references

rule of inference

0 references

subclass of

change

0 references

simplification

0 references

defining formula

${\displaystyle (P\land Q)\vdash P}$

0 references

${\displaystyle (P\land Q)\vdash Q}$

0 references

admissible rule in

intuitionistic logic

0 references

propositional calculus

0 references

classical logic

0 references

maintained by WikiProject

WikiProject Mathematics

0 references

Identifiers

Australian Educational Vocabulary ID

scot/15327

0 references

Freebase ID

/m/03c9qd

0 references

KBpedia ID

Simplifying

1 reference

stated in

KBpedia

retrieved

9 July 2020

Microsoft Academic ID

148689803

0 references

 

Sitelinks

Wikipedia(9 entries)

edit

• enwiki Conjunction elimination
• eswiki Simplificación
• fawiki حذف عطف
• frwiki Élimination de la conjonction
• jawiki 論理積の消去
• kowiki 연언 소거
• ptwiki Eliminação da conjunção
• srwiki Поједностављење
• svwiki Och-eliminering

Wikibooks(0 entries)

edit

Wikinews(0 entries)

edit

Wikiquote(0 entries)

edit

Wikisource(0 entries)

edit

Wikiversity(0 entries)

edit

Wikivoyage(0 entries)

edit

Wiktionary(0 entries)

edit

Multilingual sites(0 entries)

edit

Retrieved from "https://www.wikidata.org/w/index.php?title=Q9289849&oldid=2110481749"