Está en la página 1de 4

Lógica :

DEF: Es un conjunto de símbolos que sirve para crear o formar


proposiciones para luego desarrollarlas con ciertas propiedades que expondré
mas adelante.

Proposición: "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 proposición? , fácil 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 través de símbolos en los
problemas .

Estos símbolos 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 expresión verdadera , ejemplo .

" te llevare al cine y al mall " sea :

la expresión 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 expresión 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 proposición 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 proposición 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 expresión señalada es
falsa .

entonces analizamos la expresión , analizamos lo mas global primero que


seria el implica de afuera , entonces para que un implica sea falso se debe
cumplir que la primera proposición sea verdadera y q sea falsa :

entonces ya tenemos que una proposición es falsa : q

ahora analizamos el paréntesis , para que el paréntesis sea verdadero se debe


cumplir que :

p sea falsa , para que el paréntesis 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 están bien :

leyes de Morgan :

Hecho por : Hugo Maturana C. ( Uchiha Itachi)

También podría gustarte