PROPOSICIONES

Una proposicin ( o enunciado ) se define como una oracin declarativa que

es verdad o falso, pero no ambas de manera simultnea por ejemplo, los
dos enunciados siguientes son proposiciones:
La radio proporciona un medio de comunicacin
2+1=6
Cada una es verdadera o falsa. Sin embargo, con base en esta definicin las
oraciones siguientes no son proporciones:
Pinta la pared
Cmo se escribe alivio?
Estas oraciones no pueden identificarse como verdaderas o falsas. La
primera es una orden, y la segunda es una pregunta
TIPOS DE PROPOSICIONES
Proposicin simple.- se define como una oracin declarativa que es
verdadera o falsa pero no ambas a la vez
Proposicin compuesta.- puede formarse por la combinacin de dos o ms
proposiciones. Las proposiciones que conforman una proposicin compuesta
reciben el nombre de componentes de la proposicin. para la formacin de
proposiciones compuestas pueden usarse varios conectivos lgicos, o
simplemente conectivos. Palabras como Y, O, NO y SIson ejemplos de
conectivos.
SIMBOLOS
Par simplificar el trabajo con al lgica, se utilizan smbolos. Las
proposiciones s erepresentan con letras , tales como p,q o r, mientras que
varios smbolos para los conectivos se muestran en la tabla siguiente la
tabla tambin proporciona el tipo de proposicin compuesta que tiene el
conectivo dado .
TABLAS DE VERDAD
En esta seccin, los valores de verdad de los componentes de la proposicin
son utilizados para encontrar los valores de verdad de las proposiciones
compuestas.
OPERACIN LOGICAS
Negacin.- la negacin de una proposicin p, cuyo smbolo es ~p, debe
tener el valor de mercado opuesto a la de proposicin puesto nos conduce a
la tabla de verdad para la negacin demostrada a continuacin.

Conjuncin.- se representa p y q, simbolizada p ^ q. en el lenguaje comn,

el colectivo lgico la y implica la idea de ambos
Para que la conjuncin p ^ q sea verdadera, ambas proposiciones p y q
deben ser verdaderas. Este resultado se resume en una tabla, llamada tabla
de verdad, la cual muestra las cuatro combinaciones posibles de valores de
verdad para conjuncin p y q. La tabla de verdad para la conjuncin se
muestra a continuacin:
Disyuncin.- normalmente el smbolo V representa el primer o descrito
anteriormente. Esto es , p V q significa p o q, o ambos. Con este
significado de o p V se denomina la disyuncin
En el lenguaje comn la disyuncin aplica la idea de ambos. Una disyuncin
es falsa solamente si ambos componentes de la proposicin son falsas. La
tabla de verdad par al disyuncin es la siguiente
Condicional.- una proposicin condicional es una proposicin compuesta que
usa el colectivo si entonces.
La condicional se escribe con una flecha de tal modo que la proposicin si
p, entonces q se simboliza como: p --> q y lo leemos como p implica a q
o si p, entonces q . En esta condicional p se denomina antecedente ( o
hiptesis) mientras que a la proposicin q se le llama consecuente ( o tesis)
la tabla de verdad para la condicional se define como la siguiente:
Bicondicional.- la proposicin compuesta p si, y solo si q (abreviada a
menudo p ssi q ) se llama bicondicional, simboliza p <-> q, y se interpreta
como la conjuncin de dos condicionales pq y qp. usando smbolos esta
conjuncin se escribe
(q p ) ^ ( p q )
De modo que, por definicin:
P q = (q p) ^ ( p q )
Mediante esta definicin, la tabla de verdad para la bicondicional p q
puede determinarse :

Definicin Tautologa.- Una proposicin se denomina tautologa si ella es

verdadera cualesquiera sean los valores de verdad de las proposiciones
componentes