4.

-DEDUCCIÓ INDIRECTA O PER REDUCCIÓ A L'ABSURD

1.-Donar per bona la falsedat de la conclusió ( la negació del que es vol provar).
2.-Trobar, partint d'açò, una contradicció.
3.-Rebutjar aquesta negació perquè ens du a una contradicció i açò no és possible segons les
lleis de la lògica. Per tant, com la conclusió negada és falsa, queda demostrada la conclusió.
Aquest mètode es fonamenta en el principi de la Lògica de la no Contradicció ¬(ß ∧ß).

α 1.- ? γ
β 2.- ¬γ
------------------
├ γ - -
- -
n. ß ∧¬ß

¬α --> (ß ∧ ¬ß ) Podem dir que, de ¬a es deriva ß i ¬ß.

¬(ß ∧ ß) Com tenim un principi que ens diu que
----------------------- ¬(ß ∧ß), podem aplicar un MT.
├ ¬¬α Obtenim ¬¬a, aplicant la DN arribam
la conclusió cercada α
REGLES DERIVADES D'INFERÈNCIA

-NEGACIÓ DEL CONDICIONAL AL CONJUNTOR (NCC)

¬(α --> ß)
-------------------
--------------------
α ∧¬ß

-TERTIUM NON DATUR (TND)

__________
α ∨ ¬α

-INTRODUCCIÓ DEL DISJUNTOR A L'ANTECEDENT (IDA)

α --> ß
γ --> ß
-----------------
( α∨ γ) --> ß

-GRAN INTRODUCCIÓ DEL CONJUNTOR ( GIC)

α¹
-
-
αп
-------------------------
-------------------------
α∧⋅⋅ ∧⋅⋅∧⋅ αn

-LLEIS O REGLES DE DEMORGAN

DM1 DM2 DM3 DM4

α∧β α∨β ¬(α∧β) ¬( α∨β)
----------- ---------- ------------ --------------
----------- ---------- ------------ --------------
¬( ¬α∨¬β) ¬( ¬α∧¬β ) ¬α∨¬β ¬α∧¬β