Resum Filo


FILOSOFIA
La Lògica

Passos de la lògica proposicional

1. Formalització del raonament
2. Construcció de la taula de la veritat
3. Determinació del tipus de fórmula lògica del raonamentFORMALITZACIÓ DEL RAONAMENT

Tracta de transformar el raonament en una fórmula lògica. S'utilitzen diferents símbols.

Variables proposicionals (p, q, r, s, t, v, w, x, y, z)
Correctors lògics
Conjunció “^” (i,però)
Disjunció :
Inclusiva - “V” (o) (2 opcions possibles)
Exclusiva - “V” (o) (1 opció possible)
Condicional “--->” (Si, aleshores) (Condició suficient)
Bicondicional “<-->” ( Si i només si,aleshores) (Condició suficient)
Auxiliars - ( ), [ ], { }.

CONSTRUIR LA TAULA DE LA VERITAT

1r – Nombre de variables
2n – Assignar valors de veritat a les variables
3r – Calcular els valors delsconnectors

La conjunció es verdadera si les proposicions ho són també.
La disjunció exclusiva és falsa si les dues són falses.
La disjunció inclusiva és verdadera si només una és verdadera.
El condicionalés fals quan l'antecedent és verdader i el consegüent fals.
El bicondicional és verdader si les dues són verdaderes o falses.

Resultat de les combinacions:

TOT V – Tautologia – Correcte
TOT F –Contradicció – Incorrecte
V i F – Indefinida – Incorrecte





R D'INFERÈNCIA

CONDICIONAL -
MODUS PONENS – Es pot inferir el consegüent donat el condicional i l'afirmació.MODUS TOLLENS – Donat un condicional i la negació del seu consegüent podem inferir la negació del antecedent.

CONJUNCIÓ -
PRODUCTE (Prod) – Suposadala variable A i una altre, per exemple B, podem inferir la conjunció de les dues.
SIMPLIFICACIÓ (Simp) – Donada la conjunció de dues variables com per exemple A i Bpodem inferir cadascuna d'elles.

DISJUNCIÓ -

ADICIÓ (AD) – Suposada una variable A podem inferir aquesta mateixa o una altre
SIL·LOGISME DISJUNTIU (SD) –...