Lgica :

DEF: Es un conjunto de smbolos que sirve para crear o formar proposiciones para luego desarrollarlas con ciertas propiedades que expondr mas adelante. Proposicin: "sentencia declarativa que posee un nico valor de verdad, el cual puede ser verdadero o bien falso" Las proposiciones se expresan con letras comunes como la p , q y r , donde podemos verlas en ejemplos : 1-Juan va en la usach 2-pedro va en la uchile Entonces designamos letras , sean : Juan va en la usach : p pedro va en la uchile : q A eso me refiero , para poder as trasladarla a problemas , pero como podemos decir lo contrario de una proposicin? , fcil como se indica ahora :

o bien : -p
Y que si lo llevamos al problema anterior quiere decir : " Juan no va en la usach " , todas estas proposiciones se unen a travs de smbolos en los problemas . Estos smbolos que mencione se llaman conectivos que son los siguientes : a) : significa " y " , este conectivo lo que hace entre dos proposiciones es que es obliga a que estas proposiciones deben ser verdaderas para que sea una expresin verdadera , ejemplo . " te llevare al cine y al mall " sea :

la expresin nos queda :

Donde se tienen que cumplir las dos al mismo tiempo . Ahora veremos la tabla de verdad para este conectivo , ( tabla de verdad : v=verdadera y f= falsa ):

b) : que significa " o " , este conectivo no es tan discriminador como el anterior , sino que cuando esta entre proposiciones una de ellas se debe cumplir para que esta expresin sea verdadera . Ahora veremos la tabla de verdad para este conectivo :

c) : significa " implica " , este conectivo cuando esta entre proposiciones , nos indica que la primera proposicin nos lleva a la segunda para que sea verdadera . Ahora veremos la tabla de verdad para este conectivo .

d) : doble implica , este conectivo es mucho mas minucioso que el anterior puesto que a diferencia del anterior la implicancia debe ser mutua tanto de la primera proposicin hacia la segunda como la segunda a la primera . ahora veremos la tabla para este conectivo .

Ahora llevaremos esto que vimos a la practica :

ejercicio . Determinar sin usar tablas de verdad que la expresin sealada es falsa .

entonces analizamos la expresin , analizamos lo mas global primero que seria el implica de afuera , entonces para que un implica sea falso se debe cumplir que la primera proposicin sea verdadera y q sea falsa :

entonces ya tenemos que una proposicin es falsa : q ahora analizamos el parntesis , para que el parntesis sea verdadero se debe cumplir que : p sea falsa , para que el parntesis chico sea verdadero y as nos queda :

y con eso sabemos que r puede ser tanto verdadero como falso , entonces al final nos queda : p=falsa q=falsa r=verdadera o falsa Propiedades :

Edit : sobre las primeras propiedades aca estn bien :

leyes de Morgan :

Hecho por : Hugo Maturana C. ( Uchiha Itachi)