» Esercizi svolti di Matematica e Fisica

[¯|¯] Appunti di logica proposizionale

La logica proposizionale (denominata anche logica degli enunciati) è quella parte della logica matematica che opera sulle proposizioni. Più precisamente, si tratta di proposizioni atomiche cioè non scomponibili in altre proposizioni composite. Un esempio di proposizione atomica è:

Una proposizione occupa uno stato logico che può essere T (true) o F (false). La proposizione precedente è vera, pertanto occupa lo stato logico T. Di contro, la proposizione:

è falsa, giacchè 15 non è un numero primo.

Per quanto detto, le proposizioni non atomiche o composte sono tutte e sole quelle scomponibili in proposizioni atomiche (che a loro volta, non sono scomponibili). Ad esempio, la proposizione:

è una proposizione composta: le proposizioni atomiche componenti sono: 1) non piove; 2) vado a fare una passeggiata.

Fatta questa premessa sulla logica proposizionale, segnaliamo una risorsa interessante contenente documenti digitali (ebook, handbook, etc): Progetto Aleph. In particolare:

teoremi relativi ai seguenti soggetti:

- Prima Forma Debole della Legge del Bicondizionale rispetto all'Alternativa e Negazione

http://al3ph.altervista.org/portale/?q=propositional-calculus-pc-99

- Seconda Forma Debole della Legge del Bicondizionale rispetto all'Alternativa e Negazione

http://al3ph.altervista.org/portale/?q=propositional-calculus-pc-100

- Forma Forte della Legge del Bicondizionale rispetto all'Alternativa e Negazione

http://al3ph.altervista.org/portale/?q=propositional-calculus-pc-101

- Prima Forma Debole della Legge del Bicondizionale rispetto alla Congiunzione e Negazione

http://al3ph.altervista.org/portale/?q=propositional-calculus-pc-102

- Seconda Forma Debole della Legge del Bicondizionale rispetto alla Congiunzione e Negazione

http://al3ph.altervista.org/portale/?q=propositional-calculus-pc-103

- Forma Forte della Legge del Bicondizionale rispetto alla Congiunzione e Negazione

http://al3ph.altervista.org/portale/?q=propositional-calculus-pc-104

Tags: calcolo proposizionale, progetto aleph, proposizioni atomiche, proposizioni composte