Concetti di logica

12 Feb

Le operazioni che un computer deve eseguire appartengono a due categorie: quelle di tipo aritmetico (somma,sottrazione ecc..) e quelle di tipo logico.

Queste ultime si riferiscono a proposizioni che possono essere vere o false.


Quando il programma è in esecuzione, sarà scelta una strada piuttosto che un’altra in base al valore di verità (falso o vero) della proposizione.

CALCOLO DEI VALORI DI VERITA’

Due proposizioni possono essere collegate dalla particella “e” (and).

Tavola di verità:

p                  q                    (p and q)

vero         vero               vero

vero         falso                falso

falso        vero                falso

falso        falso                falso

Come potete veder dalla tabella due proposizioni concatenate dall’ and  sono vere solo se entrambe sono vere, negli altri casi sono false.

Due proposizioni possono essere collegate dalla particella “o” (or)

Tavola di verità:

p             q                  (p or q)

vero       vero          vero

vero      falso           vero

falso     vero            vero

falso     falso            falso

Come potete notare due proposizioni concatenate dal connettivo or sono false se entrambe sono false, in caso contrario sono sempre vere.

Negazione della proposizione attraverso il connettivo not.

p                not p

vero         falso

falso        vero

L’utilizzo delle tavole delle verità in programmazione si dimostra utile in fase di selezione per ottenere delle condizioni complesse da analizzare, che, nei codici particolarmente lunghi, faciliterà la velocità di esecuzione del programma da parte del computer.

Esempio:

Visualizzare un messaggio se una persona compie gli anni nel giorno corrente forniti giorno e mese di nascita in input.

– acquisisci nome

– acquisisci giorno di nascita

– acquisisci mese di nascita

– acquisisci giorno corrente

– acquisisci mese corrente

– se (giorno corrente = giorno di nascita) and (mese di nascita = mese corrente) allora

visualizza messaggio (Auguri)

fine se

Lascia un commento

Inserisci i tuoi dati qui sotto o clicca su un'icona per effettuare l'accesso:

Logo WordPress.com

Stai commentando usando il tuo account WordPress.com. Chiudi sessione / Modifica )

Foto Twitter

Stai commentando usando il tuo account Twitter. Chiudi sessione / Modifica )

Foto di Facebook

Stai commentando usando il tuo account Facebook. Chiudi sessione / Modifica )

Google+ photo

Stai commentando usando il tuo account Google+. Chiudi sessione / Modifica )

Connessione a %s...

%d blogger cliccano Mi Piace per questo: