Regola di inferenza: differenze tra le versioni

{{Avvisounicode}}

Nella [[logica matematica]] una '''regola di inferenza''' è uno schema formale che si applica nell'eseguire un'[[inferenza]]. In altre parole, è una regola che permette di passare da un numero finito di [[Proposizione (logica)|proposizioni]] assunte come [[premessa|premesse]] a una proposizione che funge da [[conclusione]].

 

*[[Induzione]]

*[[Inferenza]]

*[[Fallacia di brutta china]]