Fundamentos de la Lógica Proposicional: Simbolización y Tablas de Verdad

Simbolización Cada uno de los enunciados simples del lenguaje natural se sustituirá por variables proposicionales simbolizadas mediante letras minúsculas(p,q,m,n,s...)No,no es cierto, no es el caso que, es falso, es imposible que(¬). Y, ni,pero, que, mas(^).O, o...O, bien...Bien, a menos que(v).
Si...Entonces,luego,por tanto,cuando,con tal que, se deduce(->).Si y soo si, equivale a, es igual a, vale por(<->).USODEPARENTESIS: 1Negacion afecta a toda la proposicon, disuncion, condicional o bicondicional.2Hay unas conectivas que tienen mas capacidad o fuerza para unir unas proposiciones con otras:
bicondicional<-> ,condicional o implicación(->),^,vconjuncion y disyunción.Es necesario utilizar paréntesis para indicar cual es el signo de mayor dominancia entre conectivas con la misma lógica y para indicar cual es el signo de mayor dominancia entre conectivas con la misma fuerza lógica.Tablas de verdad: Se utiliza para mostrar tos los posibles valores de verdad que puede adoptar una formula proposicional.Son un instrumento para calcular los valores de verdad de una proposición compleja.Los valores de verdad de dicha proposición resultan de la combinancion de los valores de verdad e las proposiciones simples que la forman.El principio de bivalencia(una proposición es verdadera o falsa no las dos cosas).Condiciones de vdad: