Logica Matematica, teoremi e dimostrazioni, Appunti di Logica Matematica

Scarica Logica Matematica, teoremi e dimostrazioni e più Appunti in PDF di Logica Matematica solo su Docsity!

Capitolo

1ϯ͗ϰϰ

itolo 1|apgunti EZT] le’ 1.1. Teonen e Dimosrrazioni Per stabilive che uno affererene (reonema) no vero, Goa ricorrere. 0A mo. DIMOSTRAZIONE (eoteno A ragionement che ci pemett A mlbudiore a no & avidete Ult te Sl teorema). illo Amodracione vi porte All'oscmzione he Q ipotesi Al prblmo sono vere, Un tToremo he seguente pero Se alzare P_R..Pa elle 0l oche Q ipote si Tesi scritto enche ‘7 PP, Pa = Q 7 Oc craeganza Grad Ph Se ve Troremo non ho bisogno «A ipota (FO), € Uno tetto Dimostrorione DIRETTA. assume cf trovarsi in un coso queltiazi in cui riono veri fio Ge ripotemi e sulla bose A vogonomenti stobibcce che in tl [contesto cnche|lltalo verfitote. Ex: se neD'e meP, eMra nimed n=sal+1 per un gela iva che m= TK ATA g K min e As pori 2 hl melal+i)trk slalak)ri ST(E) E Brim spari perché del forme 751 (pt) i