FiloXarxa Diccionari enciclopèdic de filosofia: autors, conceptes, textos

Pot demostrar-se, per exemple, que la fórmula

(PÙQ)→Q

és un teorema de la lògica d’enunciats, que pot ser deduït sense recórrer a premisses:

1. PÙQ            suposició

2. Q                eliminació de la conjunció en 1

3. (PÙQ)→Q     prova del condicional en 1 i 2

O també que

(P®R) és una conseqüència lògica de (P®Q) i (Q®R)

raonant de la manera següent:

1. P®Q

2. Q®R

3. P            suposició

4. Q            MP 1, 3 (MP = Modus Ponens)

5. R            MP 2, 4

6. P®R        Introducció del condicional entre 3 i 5

Aquesta obra està sota una llicència de Creative Commons.