Complessit`a Logica del primo ordine
Complessit`a Logica del primo ordine
Complessit`a Logica del primo ordine
Trasformi i suoi PDF in rivista online e aumenti il suo fatturato!
Ottimizzi le sue riviste online per SEO, utilizza backlink potenti e contenuti multimediali per aumentare la sua visibilità e il suo fatturato.
Esercizio<br />
Rappresentare in un linguaggio puro (senza uguaglianza e senza simboli di<br />
funzione) <strong>del</strong> <strong>primo</strong> <strong>ordine</strong> i seguenti enunciati:<br />
1 Se è vero che ogni avo di un avo di un individuo è anche avo <strong>del</strong>lo stesso<br />
individuo, allora deve esistere una persona che non ha avi<br />
2 Tutte le donne sono belle e qualche uomo è bello<br />
3 Il papà di Gennaro batte a scopone i papà di tutti i bambini <strong>del</strong> quartiere<br />
Santa Lucia<br />
M. Lenzerini Richiami di logica 46<br />
Esercizi<br />
Rappresentare in logica <strong>del</strong> <strong>primo</strong> <strong>ordine</strong> le frasi:<br />
(1d) A, B e C sono cubi.<br />
A è su B, B è su C.<br />
A è verde e C non è verde.<br />
Tutti i cubi sono colorati.<br />
Un cubo è libero se non ci sono cubi sopra.<br />
(2d) I calciatori di successo sono bravi e fortunati.<br />
Francesco non è bravo e Mario non è fortunato.<br />
Giovanni è fortunato ma non è bravo.<br />
I fortunati sono ricchi.<br />
(3d) I bravi alpinisti sono prudenti<br />
Se uno non è sempre attento non è prudente<br />
Giorgio è un bravo alpinista<br />
M. Lenzerini Richiami di logica 47
Cambia lingua