Sillogismi: a cosa serve la "logica matematica"?

"Tutti gli uomini sono mortali.
Socrate è un uomo.
Pertanto, Socrate è mortale"

"Alcuni esseri viventi sono uomini.
Alcuni esseri viventi sono elefanti.
Quindi alcuni uomini sono elefanti."

"Alcuni uomini sono italiani.
Qualche uomo è biondo.
Quindi qualche Italiano è biondo."

Oggi riflettevo sul modo con cui si possono trarre conclusioni:

VALIDO

NON VALIDO e...

...anzichè far ricadere il terzo esempio nel NON VALIDO, potremmo dire FAZIOSO.

Perchè se vi piacciono i biondi - certo che - sperate che qualche Italiano sia biondo,

se avete prenotato una vacanza in Italia :-)

Per la serie "a cosa serve la logica matematica"...

La logica matematica è il settore della matematica che studia i sistemi formali dal punto di vista del modo di codificare i concetti intuitivi della dimostrazione e di computazione come parte dei fondamenti della matematica.

Altri termini utilizzati spesso nel passato sono logica simbolica (termine contrapposto a logica filosofica) e metamatematica, termine che ora si applica più specificamente a taluni aspetti della teoria della dimostrazione.

Logica matematica è il nome assegnato da Giuseppe Peano a quella che era nota anche come logica simbolica.

Leggi Sillogismo su wikipedia