Cordial saludo estimado tutor y compaeros.

En base a la gua de actividades realizo mi aporte sobre lgica proposicional,

del trabajo colaborativo 2.
Agradezco su atencin.
Feliz noche para todos.
Lgica Proposicional
Es una rama de la lgica clsica que estudia las variables proposicionales o
sentencias lgicas, sus posibles implicaciones, evaluaciones de verdad y en
algunos casos su nivel absoluto de verdad. Algunos autores tambin la
identifican con la lgica matemtica o la lgica simbolice, ya que utiliza una
serie de smbolos especiales que lo acercan al lenguaje matemtico.
Proposiciones
Tautologa: se define tautologa o validez a aquella formula que siempre es
verdadera.
Contradiccin: es una proposicin que siempre es falsa para todos los valores
de verdad. Para cualquier valor de verdad de las proposiciones, sea cual sea el
resultado de la formula lgica estudiada siempre va a ser falso.
Conjuncin: es aquella formula que es falsa o verdadera. Las expresiones de
las que depende la validez de los argumentos se definen constante lgicas.
Conectores
Negacin: no -> >, ~
En lgica y matemtica, la negacin, tambin llamada complemento lgico, es
una operacin sobre proposiciones, valores de verdad, o en general, valores
semnticos. Intuitivamente, la negacin de una proposicin es verdadera
cuando dicha proposicin es falsa, y viceversa. En lgica clsica la negacin
est normalmente identificada con la funcin de verdad que cambia su valor de
verdadero a falso y viceversa.
Conjuncin: Y , Solamente si las componentes de la conjuncin son ciertas,
la conjuncin es cierta.
Disyuncin: O ,
La disyuncin solamente es falsa si lo son sus dos componentes.
Condicional: entonces
Tpicamente los valores de verdad de dos proposiciones, devolviendo el valor
de verdad falso slo cuando la primera proposicin es verdadera y la segunda
falsa.
Bicondicional: si solo s.

El Bicondicional o doble implicacin es un operador que funciona sobre dos

valores de verdad, tpicamente los valores de verdad de dos proposiciones,
devolviendo el valor de verdad verdadero cuando ambas proposiciones tienen
el mismo valor de verdad, y falso cuando sus valores de verdad difieren.
Proposiciones
Variables: En el lenguaje simblico de la lgica de proposiciones, a los
enunciados simples, atmicos o elementales son los que no pueden
descomponerse en otros ms simples. Se les llama variables, y se escriben con
las letras minsculas del final del abecedario: p, q, r, s para los casos
particulares, o con las letras en mayscula del principio del alfabeto cuando
son casos generales: A, B, C, D
Adems de las variables, la lgica proposicional tiene otros elementos en su
alfabeto: las constantes lgicas y los smbolos auxiliares que forman los
enunciados compuestos.