Eserciziario di informatica/Condizioni logiche e struttura di selezione

Un insieme di attributi parziale del concetto di insetto potrebbe essere:

• numeroZampe
• numeroAli
• lunghezzaVitaMedia
• pesoMedio
• numeroAntenne
• capaceDiVolare
• prolificità (numero medio di figli per insetto)
• esoscheletroPresente
• nomeComune
• nomeScientifico
• climaPreferito

Seguono alcune proposizioni logiche atomiche che riguardano esempi del concetto di insetto.

( 6 < numeroZampe)
(numeroZampe <= numeroAli)
(capaceDiVolare = True)
(numeroAli < 6)
(False = esoscheletroPresente )
(capaceDiVolare <> esoscheletroPresente)
(climaPreferito <> ‘polare’)
(climaPreferito = ‘continentale’)
(nomeComune = ‘grillo’)
(lunghezzaVitaMedia <13) 
(prolificità <= 1.02)
(nomeComune = nomeScientifico)
(numeroAntenne <= 4)
(numeroAli < lunghezzaVitaMedia)
(lunghezzaVitaMedia >= 10)
(12 <= pesoMedio)
(numeroAntenne >= 2)
(pesoMedio > 1.3)

1. Di quale tipo è l’informazione generata dal tracing di ciascuna proposizione?
2. Raggruppare le precedenti proposizioni logiche atomiche. In base a quale criterio avete raggruppato?
3. Proporre un altro criterio di raggruppamento delle stesse proposizioni.
4. Cosa abbiamo cercato di apprendere con l’esercizio 1?
5. Associare un tipo di informazione a ciascuno degli elementi dell’intensione.
6. Scegliere due esempi di insetto e, dopo avere inventato "di sana pianta" i valori delle caratteristiche non conosciute, determinare il valore di verità delle proposizioni logiche elencate sopra.

Utilizzare tabelle con la seguente intestazione: [idcar1] [idcar2] [proposizione logica]

• Quante righe avrà ciascuna tabella?
• Quante tabelle dovrete utilizzare?