(Q5161172)

English

Conjunction introduction

rule of inference of propositional logic

In more languages

Statements

0 references

rule of inference

0 references

defining formula

{\frac {P,Q}{\therefore P\land Q}}

1 reference

imported from Wikimedia project

English Wikipedia

admissible rule in

propositional calculus

0 references

maintained by WikiProject

WikiProject Mathematics

0 references

Identifiers

0 references

Microsoft Academic ID

0 references

Sitelinks

Wikipedia(7 entries)

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)

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