Estratto del documento

Logica e proposizioni

La logica è fatta di proposizioni che possono essere vere o false e intersecate tra loro (proposizioni P e Q, per esempio).

Negazione (¬)

P ¬P
V F
F V

Quando P è vera, non-P (¬P) è falsa e viceversa.

Congiunzione logica (∧)

P Q P∧Q
V V V
V F F
F V F
F F F

Con il connettivo ∧ si vuole che entrambe le proposizioni siano vere allo stesso tempo.

Disgiunzione logica (∨)

P Q P∨Q
V V V
V F V
F V V
F F F

Con il "vel" (∨) si vuole che almeno una delle due proposizioni sia vera.

Implicazione (⇒)

P Q P⇒Q
V V V
V F F
F V V
F F V

Con il connettivo ⇒ si mette in rapporto di implicazione una proposizione ad un’altra. Se è vera l’implicazione è solo se anche la conseguenza lo è, mostrare da una proposizione falsa si può implicare sia una proposizione vera che una falsa.

Predicati e quantificatori

Proposizioni per le quali il valore di verità dipende da una o più variabili.

  • ∀: per ogni (universalità)
  • ∃: esiste (esistenzialità)
  • x: variabile
  • Px: è (proposizione)

Insiemi

  • N insieme dei numeri naturali → ℕ = {0, 1, 2, 3 ... n}
  • Z insieme dei numeri relativi → ℤ = {0, ±1, ±2, ±3 ... n}
  • Q insieme dei numeri razionali → ℚ = /; ∈ ℤ ∧ ∈ ℤ - {0}
  • R insieme dei numeri reali → ℝ = intuitivo ogni suddivisione di una retta
  • C insieme dei numeri complessi → ℂ = impossibili da ordinare completamente (solo parzialmente). Binomi di numeri reali con un coefficiente √-1 (dove = + )

Relazione d’ordine

  1. x ≤ x riflessiva
  2. (x ≤ y) ∧ (y ≤ x) ⇒ x = y antisimettrica
  3. (x ≤ y) ∧ (y ≤ z) ⇒ x ≤ z transitiva

(a ≤ b) ⇔ (a b) ∨ (a = b)

Operazioni con gli insiemi

Detto due insiemi A e B:

  • A ⋃ B unione A ⋃ B = {x | (x ∈ A) ∨ (x ∈ B)}
  • A ⋂ B intersezione A ⋂ B = {x | (x ∈ A) ∧ (x ∈ B)}
Anteprima
Vedrai una selezione di 16 pagine su 71
Analisi 1 Appunti del corso Pag. 1 Analisi 1 Appunti del corso Pag. 2
Anteprima di 16 pagg. su 71.
Scarica il documento per vederlo tutto.
Analisi 1 Appunti del corso Pag. 6
Anteprima di 16 pagg. su 71.
Scarica il documento per vederlo tutto.
Analisi 1 Appunti del corso Pag. 11
Anteprima di 16 pagg. su 71.
Scarica il documento per vederlo tutto.
Analisi 1 Appunti del corso Pag. 16
Anteprima di 16 pagg. su 71.
Scarica il documento per vederlo tutto.
Analisi 1 Appunti del corso Pag. 21
Anteprima di 16 pagg. su 71.
Scarica il documento per vederlo tutto.
Analisi 1 Appunti del corso Pag. 26
Anteprima di 16 pagg. su 71.
Scarica il documento per vederlo tutto.
Analisi 1 Appunti del corso Pag. 31
Anteprima di 16 pagg. su 71.
Scarica il documento per vederlo tutto.
Analisi 1 Appunti del corso Pag. 36
Anteprima di 16 pagg. su 71.
Scarica il documento per vederlo tutto.
Analisi 1 Appunti del corso Pag. 41
Anteprima di 16 pagg. su 71.
Scarica il documento per vederlo tutto.
Analisi 1 Appunti del corso Pag. 46
Anteprima di 16 pagg. su 71.
Scarica il documento per vederlo tutto.
Analisi 1 Appunti del corso Pag. 51
Anteprima di 16 pagg. su 71.
Scarica il documento per vederlo tutto.
Analisi 1 Appunti del corso Pag. 56
Anteprima di 16 pagg. su 71.
Scarica il documento per vederlo tutto.
Analisi 1 Appunti del corso Pag. 61
Anteprima di 16 pagg. su 71.
Scarica il documento per vederlo tutto.
Analisi 1 Appunti del corso Pag. 66
Anteprima di 16 pagg. su 71.
Scarica il documento per vederlo tutto.
Analisi 1 Appunti del corso Pag. 71
1 su 71
D/illustrazione/soddisfatti o rimborsati
Acquista con carta o PayPal
Scarica i documenti tutte le volte che vuoi
Dettagli
SSD
Scienze matematiche e informatiche MAT/05 Analisi matematica

I contenuti di questa pagina costituiscono rielaborazioni personali del Publisher vale78420 di informazioni apprese con la frequenza delle lezioni di Analisi matematica I e studio autonomo di eventuali libri di riferimento in preparazione dell'esame finale o della tesi. Non devono intendersi come materiale ufficiale dell'università Politecnico di Torino o del prof Codegone Marco.
Appunti correlati Invia appunti e guadagna

Domande e risposte

Hai bisogno di aiuto?
Chiedi alla community