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