Compuesta: expresión declaratoria
del lenguaje con una o mas
palabras de enlace.
Simple: expresión declaratoria
del lenguaje; si palabras de
enlace.
2. Conectivos lógicos
Son las palabras que usaremos a lo largo del texto,
las cuales serán: no(negación), y(conjunción),
o(disyunción) , si y entonces(implicación), y si solo si
(doble implicación)
3. Simbolización
de proposiciones
En lógica se simbolizan la proposiciones por letras mayusculas
latinas como: "P", "Q", "R", etc. Y estas se agrupan con paréntesis
cuadrados [] o redondos (). también se simbolizan con los
conectivos: no "¬", y"^", o"v", si y entonces "-->" y si solo si "<-->".
4. Parétesis
Usados como símbolos de agrupación; para su uso tenemos tres convenciones: 1ra.
Eliminar paréntesis si la proposición de que se trate es simple, P en lugar de (P). 2da.
Eliminar los paréntesis en los extremos de la formula es decir que escribimos PvQ en
lugar de ((P) v (Q)). 3ra Es la existencia de tre niveles en la unión de los conectivos, que
son: el mas fuerte para la implicación y de doble implicación, le sigue en menor fuerza,
la disyunción y conjunción, por ultimo el nivel mas débil para la negación.
6. Tablas de verdad
Es donde aparecen todas la proposiciones simples, que
intervienen en la formula junto con las combinaciones posibles
de sus valores de verdad.
Calificaciones: 1. TAUTOLOGÍA: formulas que resulta ser simepre
verdaderas independientemente del valor de verdad de las
proposiciones simples que la componen. (únicamente "V"). 2.
CONTRADICCIÓN: Son formulas que resultan ser siempre falsas,
independientemente del valos de vardad de la proposiciones simples
que la componen (únicamente "F"). 3. CONTINGENCIAS: son formulas
que no son ni tautoligías, ni contradicciones, es decir no son
necesariamente verdad o falsedad. (aparecerán "V" y ""F).
5. Valores de verdad
Otra caracterización de la proposiciones simples que solo pueden tomar dos valores de verdad,
siendo estos el de falso y el de verdadero, mejor dico una proposición simple o solo puede ser
falsa o solo puede ser verdadera, pero no ambas, en el caso dado seria una contradicción o un
absurdo. Ejemplo: proposición verdadera (3+2=5) y proposición falsa (8<5). La asignación de
verdad de una proposición compuesta dependerá de los valores de verdad de la proposiciones
simples que intervienen en su formación- Por consiguiente definiremos la asignación de verdad
para los conectivos: "¬", "^", "v", "-->" "<-->" y se dará un modelo manejable para esta definición.