19 mar 2011

Definizione di teorema

Un teorema in linea generale viene interpretato come una regola enunciata da qualche scienziato pazzo. Ma i teoremi rientrano nella logica.

Continua...

Condizioni necessarie e sufficienti

Dati due enunciati z e x, z x secondo la logica significa che z è condizione necessaria e sufficiente per x, e viceversa.

Continua...

Condizione necessaria

Date due proposizioni a e b con a che implica b (a → b). Possiamo dire che la conseguenza b è condizione necessaria per la premessa a.

Continua...

Condizione sufficiente

In un'implicazione materiale fra due enunciati aperti a → b, a è la premessa e b la conseguenza. Perciò possiamo dire che la premessa a è una condizione sufficiente per la conseguenza b.

Continua...