LA LOGICA CON EXCEL
L’uso del del foglio elettronico nell’insegnamento della Logica formale si rivela
molto utile in quanto permette di far comprendere agli studenti come alcune attività
del pensiero, una volta formalizzate, possano essere automatizzate ed eseguite da una
macchina.
L’attività propone la costruzione delle Tavole di verità delle principali operazioni
logiche e di alcune tautologie, nonché la risoluzione di alcuni problemi o indovinelli
Funzioni Logiche di Excel
TAVOLE DI VERITA' DELLE PRINCIPALI OPERAZIONI LOGICHE
And Or Implicazione
pqp∩q pUq p→q≡⌐pUq
VERO VERO VERO VERO VERO
VERO FALSO FALSO VERO FALSO
FALSO VERO FALSO VERO VERO
FALSO FALSO FALSO FALSO VERO
Tautologia-Modus Ponens
pqp→q≡⌐pUq p∩(p→q) (p∩(p→q))→q=O(NON(D22);B22)
VERO VERO VERO VERO VERO
VERO FALSO FALSO FALSO VERO
FALSO VERO VERO FALSO VERO
FALSO FALSO VERO FALSO VERO
Tautologia-Modus tollens
⌐q∩(p→q) (⌐q∩(p→q))→⌐p=O(NON(F22);NON(A22))
FALSO VERO
FALSO VERO
FALSO VERO
VERO VERO
Principio di non contraddizione
p⌐p p∩(⌐p)
VERO FALSO FALSO
VERO FALSO FALSO
