RESUM DELS CONTINGUTS DE LGICA PROPOSICIONAL

LA LGICA
Teoria de les condicions del raonament formalment vlid.
Raonament: procs mental on intervenen premisses i conclusions derivades d'aquestes.
La lgica s'ocupa de l'estructura del raonament.
Un raonament s formalment vlid quan existeix una connexi adient entre premisses i
conclusions.
RAONAMENTS VLIDS
ompleixen que:
!. Validesa sintctica La conclusi es deriva noms de premisses"axiomes del sistema aplicant
les regles d'aquest.
#. Validesa semntica La conclusi sempre s verdadera si les premisses $o sn.
SIGNES I REGLES DE LA LGICA PROPOSICIONAL
!. %oca&ulari: p' q' r' s' etc.
#. (ignes:
) *con+untor,
)
girat
*dis+untor,
- *condicional,
. *&icondicional,
/ *negaci,
*, i 01 *agrupadors,
2. 3efinici: estudia les proposicions sense analit4ar els elements que les formen.
5. 6roposicions: frases en qu7 s'afirma o es nega alguna cosa. *ni preguntes ni exclamacions,.
6oden ser atmiques *cap dels seus elements s una proposici, o moleculars.
8. Carcter bivalent *vertader o fals,
REGLES DE FORMACI DE FRMULES
!. Una lletra enunciativa s una frmula.
#. (i ! s frmula "! tam& $o s.
2. (i ! i # sn frmules ! $ #' ! $
%i&at
#' ! ' # i ! ( # $o sn.
5. ap expressi s frmula si no s una de les designades per )*+.
LA DEDUCCI
9peraci lgica que consisteix a o&tenir un enunciat *conlusi, a partir d'uns altres *premisses,
aplicant les regles d'infer7ncia *raonament,.
Una alt&a de,inici- de l.%ica: cincia formal que s'ocupa d'analitzar i sistematitzar les
regles que permeten passar d'uns enunciats a altres per convertir les deduccions en un
clcul rigors i efica.
ESTUDIAR REGLES DE SIM/OLIT0ACI DE PROPOSICIONS *pgines 5' 8 i :,
ESTUDIAR REGLES PRIMITIVES DEL CLCUL PROPOSICIONAL
*pgines ;' !<' !! = !#,
ESTUDIAR REGLES DE TRANSFORMACI *pgina !#,