Estratto del documento

Logica proposizionale

Definizione

Una proposizione P è un'affermazione per la quale è sempre possibile stabilire se essa è vera o falsa. Esempio: "x è un numero naturale maggiore di 3" → proposizione. "Carlo è più bello di Marco" → NO proposizione. "Il gatto fa la fusa" non solo stelle → proposizione (falsa, non astronomia).

Connettivo logico - Somma logica

È una proposizione che risulta vera quando almeno una delle due proposizioni p, q è vera. Simboli usati: PQ ("p A q") ("vero o").

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

Es.: P1 = X (età x, > anni) Q1 = X (età x, anni) P1OQ = in metri la ferita 15 cm. P2 = xM,GET)}k=1 PQ OR ("X è divisibile per 2") P = X è divisibile di x 15" P2 = "x ≤ 15" PQ = "x ≤ 15".

Coniugazione logica

È una proposizione che risulta vera quando entrambe le proposizioni p, q sono vere.

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

Es.: P := "x è divisibile per 3 {x = 3k}" q := "x è divisibile per 4 {x = 4k (K')}" PQ = "x è divisibile per 2".

Negazione

È una proposizione che risulta vera quando P è falsa. Es.: P := "x è un numero naturale pari" ∼ P (non P) := "x non è un numero pari" [Non si può dire x è dispari, poiché la presenza dei numeri non naturali]. Es.: P := "x ¬ P := "x ≥ 2".

Implica logica

PQ significa (P implica Q) "P è un soggetto per la quale P è vera anche Q è vera".

Es.: P: x è divisibile per 2" Q: x è divisibile per 6" PQ

P se e solo se Q "la Q è condizione sufficiente per A oppure se Se A è condizione necessario per P. In generale PQ non equivale a QP invece, PA è equivalente a non "Q → non "Q"

Q: x è pari se e solo se x non è dispari P: P Q (Formale della P è condizione necessaria e sufficiente per Q)

Es.: Q x è divisibile per 2" P: x non è pari" PQ

Teorema (uso implicazione transmatico)

Diml. pa dove p viene detto ipotesi e a tesi; la dimostrazione di questi si utilizzano due tipi di dimostrazione:

  1. per assurdo
  2. Supponiamo vera la negazione della protesi implicati non si arriva a tesi, supponiamo vera la protesi non viene indicata le nostre considerazioni

Esempi:

Teorema: se a e b sono numeri interi, allora a non è pari; Dimostrazione: -1 m per ogni m a non è pari m+1:

Teorema: se a non è 0 non è diverso da zero. Tesi: 1/a>0. Dimostrazione: se p: a > 0,1/a =

Anteprima
Vedrai una selezione di 10 pagine su 77
Appunti Matematica generale, docente Valentina Guizzi Pag. 1 Appunti Matematica generale, docente Valentina Guizzi Pag. 2
Anteprima di 10 pagg. su 77.
Scarica il documento per vederlo tutto.
Appunti Matematica generale, docente Valentina Guizzi Pag. 6
Anteprima di 10 pagg. su 77.
Scarica il documento per vederlo tutto.
Appunti Matematica generale, docente Valentina Guizzi Pag. 11
Anteprima di 10 pagg. su 77.
Scarica il documento per vederlo tutto.
Appunti Matematica generale, docente Valentina Guizzi Pag. 16
Anteprima di 10 pagg. su 77.
Scarica il documento per vederlo tutto.
Appunti Matematica generale, docente Valentina Guizzi Pag. 21
Anteprima di 10 pagg. su 77.
Scarica il documento per vederlo tutto.
Appunti Matematica generale, docente Valentina Guizzi Pag. 26
Anteprima di 10 pagg. su 77.
Scarica il documento per vederlo tutto.
Appunti Matematica generale, docente Valentina Guizzi Pag. 31
Anteprima di 10 pagg. su 77.
Scarica il documento per vederlo tutto.
Appunti Matematica generale, docente Valentina Guizzi Pag. 36
Anteprima di 10 pagg. su 77.
Scarica il documento per vederlo tutto.
Appunti Matematica generale, docente Valentina Guizzi Pag. 41
1 su 77
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 Sacco167 di informazioni apprese con la frequenza delle lezioni di Matematica Generale e studio autonomo di eventuali libri di riferimento in preparazione dell'esame finale o della tesi. Non devono intendersi come materiale ufficiale dell'università Università degli Studi Roma Tre o del prof Guizzi Valentina.
Appunti correlati Invia appunti e guadagna

Domande e risposte

Hai bisogno di aiuto?
Chiedi alla community