Professional Documents
Culture Documents
La parola logica viene dal greco logos, che pu`o significare discorso. La logica nasce con la filosofia greca
aristotelica, e Aristotele diceva che la logica parte con il discorso di qualcosa di razionale, e come un tentativo
di classificare tutti i tipi corretti di ragionamento. Per questo motivo, la logica ha dei simboli molto formali,
che devono essere comprensibili a tutti.
Relazione su un insieme
Su un insieme A non vuoto, si definisce relazione su A, denotata con R, ogni sottoinsieme di AxA (prodotto
cartesiano). Se due elementi a e b appartengono allinsieme A, diciamo che a R b se e solo se la coppia (a,
b) appartiene a R.
Relazione dordine
Sia A un insieme non vuoto e sia R una relazione su A: R `e detta relazione dordine (o ordinamento) se
valgono queste tre propriet`
a:
1) propriet`
a riflessiva: ogni elemento `e in relazione con se stesso.
2) propriet`
a antisimmetrica: se a R b e b R a, allora a = b.
3) propriet`
a transitiva: se a R b e b R c, allora a R c.
Solitamente, la relazione dordine si indica col simbolo .
3.1
3.2
3.3
Insieme ordinato
Si definisce insieme ordinato ogni insieme non vuoto A su cui `e definita una relazione dordine. Un insieme
ordinato A sar`
a denotato con (A, ).
Elementi confrontabili
Sia (A, ) e siano x e y elementi di A. Diciamo che x e y sono confrontabili se si pu`o fare un confronto
mediante questa relazione dordine, ovvero se x y oppure y x.
Catena
Sia (A, ): A `e detto catena o insieme totalmente ordinato se qualunque elemento prendiamo di questo
insieme essi sono confrontabili.
6.1
Esempio 1
Dato (N, ) dove `e lordinamento secondo grandezza. Si dice che x y se e solo se y = x + n. (N, ) `e
una catena poiche dati due numeri naturali possiamo sempre stabilire quale dei due `e maggiore dellaltro.
6.2
Esempio 2
6.3
Esempio 3
Nel caso della relazione di inclusione, possiamo dire che nemmeno questo `e un caso di catena, perche dato
un insieme delle parti {, A, {1}, {2}, {3}, {1, 2},
{1, 3}, {2, 3}}, linsieme {1} e linsieme {1, 2} sono confrontabili, ma linsieme {3} e linsieme {1, 2} no.