Oggi nell'ora di informatica abbiamo lavorato molto, credo che il mio tema innanzitutto andasse bene e questo è una buona cosa come il prof ci aveva anticipato nella lezione precedente ci ha dimostrato come una teoria se ammette contraddizioni è da considerarsi non valida infatti se data una teoria "a" esiste la sua negazione quindi la negazione di a, implica beta, riassumendo non si può dire che "a" è vero se anche la sua negazione è vera, questo tipo di ragionamento è detto MODUS PONENS (http://it.wikipedia.org/wiki/Modus_ponens) poi il prof ci ha fatto la dimostrazione matematica del quesito della susi illustrato nei precedenti post e ci ha dato i compiti per sabato concludendo con i 3 tipi di informatica:
Organizzazione
Individuale
Glocale
Iscriviti a:
Commenti sul post (Atom)
Nessun commento:
Posta un commento