Dispense VERIFICATO
Logica e Insiemi prof:Pata
13 visualizzazioni
Nessun voto ancora
Di cosa parla
- Proposizioni e predicati: definizione di fbf, proposizione (senza variabili libere), predicato (con variabili libere); esempi e principi logici come Principio di non contraddizione e Princípio del terzo escluso.
- Connettivi logici: congiunzione (^), disgiunzione esclusiva (˙_), disgiunzione inclusiva (_), negazione (¬), implicazione ()), doppia implicazione (,); esempi e distinzione tra disgiunzioni in italiano.
- Condizioni necessarie e sufficienti: definizione e equivalenza logica; teorema, dimostrazione per assurdo, metodi di dimostrazione come deduttivo, per assurdo, per induzione, per controesempio.
- Insiemi e operazioni: definizione di insieme, sottoinsieme, insieme vuoto; cardinalità, rappresentazione (elencativa, caratteristica, grafica); intersezione (\), unione ([), unione disgiunta (˙[), differenza (\), complemento (C).
- Algebra degli insiemi: proprietà delle operazioni tra insiemi; prodotto cartesiano e rappresentazione grafica; relazioni e funzioni, definizione di relazione e funzione, esempi di relazioni d'ordine e di equivalenza.