MODUS PONENS

Per comprendere meglio questo argomento, leggi prima le seguenti lezioni:
 

Iniziamo ad esaminare le varie FIGURE DI RAGIONAMENTO più conosciute partendo dal MODUS PONENS.



Supponiamo di avere due proposizioni

p e q.



La REGOLA DEL MODUS PONENS afferma che, se p implica q è vera e anche p è vera allora segue che anche q è vera.

Quindi:

se p implica q VERA

e

p VERA

segue che q è VERA.



In simboli, la regola precedente può essere espressa così:

Modus Ponens



Ora dimostriamo che questa è una TAUTOLOGIA usando le TAVOLE DI VERITA':

p q p->q (p->q)e p [(p->q) e p]->q
V V V V V
V F F F V
F F V F V
F F V F V


Abbiamo così dimostrato che ci troviamo di fronte ad una TAUTALOGIA.

 
Per approfondire questo argomento, leggi:
 
 
 
Il nostro sito collabora ad una ricerca condotta dall'Università dell'Aquila e dall'Università di Pavia sulla didattica della matematica. Ti saremmo grati se volessi dedicarci alcuni minuti rispondendo ad un breve questionario.

Compila il questionario


SchedeDiGeografia.net
StoriaFacile.net
EconomiAziendale.net
DirittoEconomia.net
LeMieScienze.net
MarchegianiOnLine.net