Passa al tema normale
Discussioni su Algebra astratta, Logica Matematica, Teoria dei Numeri, Matematica Discreta, Teoria dei Codici, Algebra degli insiemi finiti, Crittografia.

Regole del forum

Consulta il nostro regolamento e la guida per scrivere le formule
Rispondi al messaggio

formalizzare i seguenti enunciati atomici

08/12/2011, 18:12

esempio: il padre di Aldo e' francese. la prima cosa da fare e' isolare la costante individuale o nome proprio, in questo caso Aldo, la seconda e' evidenziare il predicato (o i predicati come in questo caso) ovvero le forme verbali, e scriverli in maiuscolo,vale a dire: 'essere francese' che per abbreviarlo sara' F. Il padre di per 'essere padre', che abbreviato sara' P. Quindi l'enunciato sara' F(P(a).
IL PADRE DI ANTONIO AMA CLEOPATRA: IN QUESTO CASO I NOMI PROPRI SONO DUE E CIOE' ANTONIO E CLEOPATRA, MENTRE IL PREDICATO E' AMA CHE PER ABBREVIARE SARA' A E ESSERE PADRE CHE DIVERRA' P. PER CUI L'ENUNCIATO SARA' A (P(a) (c)).

3 ALDO PRESENTA IL PADRE DI BRUNO ALLA MADRE DI CARLO = P(a, P(b), M(c))
4 LA SOMMA DI 2 CON IL PRODOTTO DI 3 E 6 E' UN NUMERO PARI
5 LA RADICE QUADRATA DI 2 E' UN NUMERO IRRAZIONALE
6 IL PADRE DI BRUNO E' ALDO
7IL PRODOTTO DI 2 CON IL QUADRATO DI 3 E' UN NUMERO PRIMO
8 8 E' IL CUBO DI 2
9 IL QUADRATO DEL QUADRATO DI 2 E' UGUALE ALLA SOMMA DI 4 CON SE STESSO
10 LA DISTANZA TRA I PUNTI A E B E' MINORE DI 2

sugli enunciati irrisolti ho delle serie incertezze e non riesco a fornire tentativi di interpretazione che magari potrebbero creare confusione. se qualcuno ha capito come formalizzare gli enunciati può aiutarmi per favore. grazie mille
Ultima modifica di altacrallo il 09/12/2011, 17:37, modificato 3 volte in totale.

Re: formalizzare i seguenti enunciati atomici

08/12/2011, 18:26

Moderatore: Martino

Ti e' richiesto da regolamento di elaborare le tue richieste e contestualizzarle, oltre a fornire tentativi di interpretazione e soluzione. Grazie.
Rispondi al messaggio


Skuola.net News è una testata giornalistica iscritta al Registro degli Operatori della Comunicazione.
Registrazione: n° 20792 del 23/12/2010.
©2000— Skuola Network s.r.l. Tutti i diritti riservati. — P.I. 10404470014.