Elementi di insiemistica e logica Flashcards

1
Q

Negazione

A

-P vera e P falsa

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

Congiunzione

A

P ^ Q entrambe vere

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

Disgiunzione

A

P V Q vera per almeno una vera

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

Implicazione

A

P → Q falsa solo per P vera e Q falsa

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

Dimostrazione per assurdo/contronominale

A

P → Q ; -Q → -P

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

Negazione universale

A

Əx | -P(x)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

Negazione esistenziale

A

Per ogni x, -P(x)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

Insieme

A

Ente primitivo, raccolta o collezione di oggetti chiamati elementi o punti

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

Sottoinsieme propri

A

Insieme che contiene tutti gli elementi dell’insieme di riferimento

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

Sottoinsiemi impropri

A

Insieme vuoto e l’insieme stesso

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

Unione

A

x appartiene ad A oppure x appartiene a B

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

Intersezione

A

x appartiene ad A e x appartiene a B

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

Differenza

A

x appartiene ad A e x non appartiene a B

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

Leggi di De Morgan

A

Complementare di (A unione B) = A compl. intersecato B compl.

Complementare di (A intersezione B) = A compl. unito B compl.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
15
Q

Prodotto cartesiano

A

Insieme delle coppie ordinate (a,b) in cui il a appartiene ad A e b appartiene a B

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
16
Q

Relazione d’ordine

A

Relazione con proprietà riflessiva, antisimmetrica e transitiva