Revisió del 06:10, 4 gen 2015 modifica PanteraRosa (discussió \| contribucions) Autopatrullats 8.948 edits mCap resum de modificació ← Edició anterior		Revisió del 16:53, 13 nov 2015 modifica desfés Joan301009 (discussió \| contribucions) Exempts del blocatge d'IP 2.987 edits mCap resum de modificació Etiqueta: editor visual Edició següent →
Línia 1: En [[lògica]], especialment en [[lògica matemàtica]], una ''' regla d'inferència ''' és un esquema per a construir [[inferència\|inferències]] s vàlides. Aquests esquemes estableixen relacions sintàctiques entre un conjunt de fórmules anomenats '' premisses '' i una asserció trucada '' conclusió ''. Aquestes relacions sintàctiques són usades en el procés d'inferència, pel qual s'arriba a noves assercions veritables a partir d'altres ja conegudes. Les regles també s'apliquen a la lògica informal ia les discussions, però la formulació és molt més difícil i polèmica.

Regla d'inferència: diferència entre les revisions