modus pones
Solune
matematica. Magari facendomi un esempio.
Sto preparando L'esame di matematiche elementari da un punto di vista
superiore con il prof. Morini.
grazie
ciao Mirian
Dario Fantoni
Solune <sol...@iol.it> wrote in message
LVSm5.82698$dF5.1...@news.infostrada.it...
Cito testualmente da: Ettore Carruccio - Mondi della Logica - Zanichelli
(1977)
pag. 30
...Risale almeno al filosofo stoico Crisippo la regola chiamata dagli
scolastici
<< modus ponendo ponens >>... o ... << modus ponens >>, detta oggi
comunemente
regola di separazione. La si può così enunciare:
Se in una teoria è valida l'implicazione materiale A->B, e vale A
(antecedente), allora
vale anche B (conseguente)..... <omissis>...............
un semplice esempio di applicazione della regola di separazione é il
seguente.
Si verifichi ...... che è sempre vera l'implicazione
[(A->B) & (B->C)] -> (A->C).
Supponiamo di aver stabilito che sono vere anche le proposizioni A->B, B->C;
sarà
dunque vero (A->B) & (B->C). Possiamo dunque concludere, sotto le ipotesi
ammesse, ........... : (A->C)
........
-------------------------------<fine citazione>-----------------------------
Trovi altre notizie: J.M.Bochenski - La Logica Matematica (2 Volumi) -
Einaudi (1972)
Paolo Freguglia - L'Algebra della Logica - Ed.
Riuniti (1978)
Spero di esserti stato di qualche utilità.
Ciao
Dario
Danilo Giacomelli
Solune <sol...@iol.it> wrote in message
LVSm5.82698$dF5.1...@news.infostrada.it...
> Qualcuno saprebbe spiegarmi in cosa consiste Modus Pones in logica
> matematica. Magari facendomi un esempio.
A->B, A
--------------
B
Quando piove non esco mai. Piove, quindi non esco.
(spero di non avere detto troppe sciocchezze).
ciao
Danilo
Solune
ciao ciao Mirian
Solune <sol...@iol.it> wrote in message
LVSm5.82698$dF5.1...@news.infostrada.it...
> Qualcuno saprebbe spiegarmi in cosa consiste Modus Pones in logica
> matematica. Magari facendomi un esempio.