Sei sulla pagina 1di 3

GLI INSIEMI E LA LOGICA Laboratorio di matematica

LABORATORIO DI MATEMATICA
GLI INSIEMI E LA LOGICA

■ La logica con Derive

PER INSERIRE DOBBIAMO FARE CLIC


un operatore logico sul suo simbolo contenuto nella barra dei simboli matematici oppure digitare
il suo nome secondo Derive.

L’OPERATORE DELLA HA IL SIMBOLO E IL NOME


congiunzione ∧ AND
disgiunzione inclusiva ∨ OR
negazione ¬ NOT
.
disgiunzione esclusiva ∨ XOR
implicazione materiale → IMP
doppia implicazione ↔ IFF

IL COMANDO SERVE PER


TRUTH_TABLE(p1, p2, costruire le tavole di verità. Per usarlo digitiamo il nome seguito fra parentesi
…, espr1, espr2, …) tonde dalle variabili p1, p2, … e dalle espressioni logiche espr1, espr2, … separate da
virgole. Diamo poi il comando Semplifica_Base e Derive mostra una tavola di verità
dove compaiono tutte le combinazioni dei valori di verità (true e false) delle variabili
con i risultati delle espressioni logiche.

ESERCITAZIONE GUIDATA
Con Derive dimostriamo la prima legge di De Morgan,

p苶∧
苶苶q
苶⫽苶
p∨苶
q,
costruendo due tavole di verità.

Impostiamo il calcolo dei valori logici


del primo membro della formula
● Diamo Crea_Espressione e scriviamo l’imposta-
zione della tavola di verità del primo membro
della formula. Digitiamo TRUTH_TABLE(p, q, p
AND q, NOT(p AND q)). Possiamo fare clic sui sim-
boli contenuti nella barra dei simboli matematici
invece di digitare i nomi degli operatori logici.
Con INVIO la inseriamo nella zona algebrica. #1: TRUTH_TABLE(p, q, p ∧ q, ¬ (p ∧ q))

Copyright © 2010 Zanichelli editore SpA, Bologna [6821 der]


Questo file è una estensione online dei corsi di matematica di Massimo Bergamini, Anna Trifone e Graziella Barozzi 1
GLI INSIEMI E LA LOGICA Laboratorio di matematica

冤 冥
Calcoliamo il primo membro della formula p q p∧q ¬ (p ∧ q)
true true true false
●Con il bottone Semplifica_Base otteniamo da
#2: true false false true
Derive lo sviluppo della tavola di verità in #2.
false true false true
false false false true

Impostiamo il calcolo del secondo membro


● Diamo Crea_Espressione, digitiamo
TRUTH_TABLE (p, q, NOTp, NOTq, NOTp OR NOTq) e #3: TRUTH_TABLE(p, q, ¬ p, ¬ q, ¬ p ∨ ¬ q)
battiamo INVIO.

Calcoliamo il secondo membro della

冤 冥
formula p q ¬p ¬q ¬p∨¬q
●Con il bottone Semplifica_Base otteniamo da true true false false false
Derive lo sviluppo della tavola di verità in #4. #4: true false false true true
false true true false true
Notiamo che le ultime colonne delle due tavole di false false true true true
verità coincidono. Esse rappresentano i risultati
dei due membri della formula che traduce la pri-
ma legge di De Morgan e ne confermano la vali-
dità.

■ Esercitazioni con Derive o con Wiris


Calcola le seguenti espressioni logiche sul quaderno e con Derive o con Wiris svolgi la verifica.

1 (p ∧ q) ∨ p苶 4 (p ∧ q) ∨ p苶苶苶
∧ 苶q 7 (p ∨ q) ∨ (p苶 ∧ r)

2 (p ↔ q) ∨ p苶 5 p ∧ q ∨ p苶 8 (p → q) ∧ 苶苶苶
p苶 ∨ r

3 p ∧ (q → p苶) 6 p苶苶苶
↔ q ∧ p苶苶苶
苶 ∨q 9 (p ↔ q) ∨ (p苶 ∧ r)

Con Derive o con Wiris costruisci delle tavole di verità per dimostrare le seguenti equivalenze logiche.

10 (p ∧ q) ∧ r ⫽ p ∧ (q ∧ r) 17 p ↔ q ⫽ (p ∨ q苶) ∧ (p苶 ∨ q)

11 p ∧ (q ∨ r) ⫽ (p ∧ q) ∨ (p ∧ r) 18 p苶苶苶
∧ 苶q ∨ r ⫽ p苶 ∨ q ∨ r

12 p → q ⫽ p苶 ∨ q 19 p苶 → q苶 ∧ r ⫽ p ∨ q ∨ r苶
苶苶苶

13 p苶苶苶
∨ q ⫽ p苶 ∧ q苶 20 p ∧ (q ∨ r) ∧ 苶p ⫽ p ∧ p苶苶∨
苶苶r苶

∨⭈ q
14 p ↔ q ⫽ p苶苶苶 21 p苶苶∧
苶苶q苶苶∧
苶苶r苶 ∨ r ⫽ p ∨ 苶p苶∧
苶苶q

苶苶

15 p → q ⫽ p苶苶苶
∧ 苶q 22 (p ∨ 苶q) ∧ r ⫽ (p ∧ r) ∨ (q苶 ∧ r)

16 p ↔ q ⫽ (p ∧ q) ∨ (p苶 ∧ q苶) 23 p ∧ 苶r ∨ q苶苶苶∨


苶 苶苶r苶 ⫽ p ∨ q ∧ r苶

Copyright © 2010 Zanichelli editore SpA, Bologna [6821 der]


Questo file è una estensione online dei corsi di matematica di Massimo Bergamini, Anna Trifone e Graziella Barozzi 2
GLI INSIEMI E LA LOGICA Laboratorio di matematica

Sul quaderno applica alle seguenti espressioni logiche le leggi di De Morgan, poi verifica con Derive o con Wi-
ris costruendo una tavola di verità con i valori dell’espressione iniziale e di quella semplificata.

∨ 苶q ∧ r
24 p苶苶苶

∧ 苶q ∨ 苶苶苶)
25 (p苶苶苶 p苶 ∧ r ∧ q苶

26 p苶苶∧
苶苶q苶苶苶 ∨ r苶

27 苶p苶苶∨
苶 苶苶q苶 ∨ r苶 ∧ 苶p

Sul quaderno applica alle seguenti espressioni logiche la proprietà distributiva della congiunzione rispetto alla
disgiunzione, verifica con Derive o con Wiris costruendo una tavola di verità con i valori dell’espressione ini-
ziale e di quella variata.

28 p ∧ (p ∨ q)

29 (p ∧ (p ∨ q苶 ∨ r)) ∨ q

Con Derive o con Wiris stabilisci quali fra le seguenti espressioni logiche sono tautologie o contraddizioni.

30 p ∨ p苶

31 (p ∧ (q苶 ∨ r)) ∨ p苶苶苶


∧r

32 (p ∧ q) ∧ (p苶 ∧ r)

33 (p ∨ q苶 ∨ r) ∨ q

Copyright © 2010 Zanichelli editore SpA, Bologna [6821 der]


Questo file è una estensione online dei corsi di matematica di Massimo Bergamini, Anna Trifone e Graziella Barozzi 3