
«La veritable lògica d'aquest món és el càlcul de probabilitats». (James Clerk Maxwell)
«La lògica et durà d'A a B. La imaginació et durà a tot arreu». (Albert Einstein)
«La lògica es la tècnica amb la que hi afegim convicció a la veritat». (Jean de la Bruyère)
Índex:
- El llenguatge de la Lògica Proposicional (LPROP)
- Tècniques Semàntiques d'Estudi de Validesa Proposicional
- Teoria de la Prova: Deducció Natural de Gentzen
- Exercicis ressolts
La Lògica Proposicional pretén estudiar les frases declaratives simples (enunciats o proposicions), els elements bàsics de transmissió del coneixement humà. De manera informal, una proposició és una frase que pot ser considerada certa (V) o falsa (F) i que no es pot descompondre en altres frases certes o falses.