Logica proposizionale, Appunti di Analisi Matematica I

Scarica Logica proposizionale e più Appunti in PDF di Analisi Matematica I solo su Docsity! do Paoposi zuome da proposiziome € Um Mmumtcrato dotato di valore di verita , Cioe Vero (Vv) o falso (F) Esempio - "Roma e la cop. Tofk d'itola È Vero * “Hefamo € la capitale d'limla ” Falso - "duca 6 simpatico | Nomlé uma proposiziome | Commettivi | toguc i) I commettui logia cmsemtamo di gemerare Muove proposizioni partemdo da proposi zcom date. 7 Nega 200Me cda megaziome (Not, 7) € vera se la proposizcome È falsa, falsa se la proposiziome € vera ele] vir F|v - Disgrumzeome logica. Date due proposizwmi, la disguumzcome logica (Vee, v) € vera se almemo uma delde due e Vera. p|a |Ppva VIVI Vv VIFIv F|lviv eleLe n Com LUMZIOME logico. Date. due paroposizuomi, la Comgumzeome (et, a) € vero se emtrambe somo vere P_|a [pa9q VIVI MV VIF|F F|v| F F|E|LF _ lm pla zuome logica Date due proposizuomi, l'inmplicazione (>) € Jafsa slo se lo prima. € vera € fa secomda e falsa. r|ajpoa V|V| Vv visle FIV| v F|r|lv - Equivalemza dagico Date due proposizuoni, l'equivalemza (<>) È vera ® emtrambe hammo (l stesso valore di verita . P=>9q Vv n n<K<| Tn <|v F F Vv