Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Save to My Library
Look up keyword or section
Like this
89Activity
P. 1
Algebra de Proposiciones

Algebra de Proposiciones

Ratings: (0)|Views: 20,453 |Likes:

More info:

Published by: Juan Pablo Arzola Palma on Jun 15, 2012
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as DOC, PDF, TXT or read online from Scribd
See more
See less

06/08/2014

pdf

text

original

 
 
CAPITULO DOS
2.LA LOGICA DIGITAL
2.1. PROPOSICIONES Y CONECTORES LÓGICOS
1.PROPOSICIONES.
Una proposición es un enunciado o una oración quepuede ser falsa o verdadera pero no ambas a la vez.Una proposición es verificable, por ende, es unelemento fundamental de la lógica matemática y dela lógica digital.A continuación se tienen algunos ejemplos deenunciados que son proposiciones y algunos que nolo son, se explica el porqué algunos de estosenunciados no son, como tal, proposiciones. Lasproposiciones se indican por medio de una letraminúscula, dos puntos y la proposición propiamentedicha. Por ejemplo.p: La tierra es plana.q: -12 + 28 = 21r: x > y + 1s: El Cortulua será campeón en la presentetemporada de Fútbol colombiano.t: Hola ¿Qué tal?v: Bogotá es la capital de Colombiaw: Lava el coche, por favor.Los incisos
p
y
q
sabemos que pueden tomar unvalor de falso o verdadero; por lo tanto son
 
proposiciones validas. El inciso
r
también es unaproposición valida, aunque el valor de falso overdadero depende del valor asignado a las variables
x
y
y
en determinado momento y
v
es unaproposición verdadera. La proposición del inciso
s
también esta perfectamente expresada aunque paradecir si es falsa o verdadera se tendría que esperar aque terminara la temporada de fútbol. Sin embargolos enunciados
t
y
w
no son válidos, ya que nopueden tomar un valor de falso o verdadero, uno deellos es un saludo y el otro es una orden.
2.CONECTORES LÓGICOS Y PROPOSICIONESCOMPUESTAS.
Las proposiciones anteriores son todas,proposiciones simples. Para obtener proposicionescompuestas se deben ligar o combinar más de unaproposición simple. Existen conectores u operadoreslógicos que permiten formar proposicionescompuestas (formadas por varias proposicionessimples). Los operadores o conectores básicos son:
 y, o, no, no o, no
y,
o exclusiva, no o exclusiva
1.Operador and (y) - Operación Conjunción
Se utiliza para conectar dos proposiciones que se deben cumplir(serverdaderas) para que se pueda obtener un resultado verdadero. Susímbolo es: {
, un punto (.), un paréntesis, o también,
}. Se leconoce como la multiplicación lógica(en la matemática booleana):Algunos ejemplos son:1. La proposición "El coche enciende cuando tiene gasolina en eltanque y tiene corriente la batería" está formada por dos proposicionessimples:
q
y
q: Tiene gasolina el tanque.r: Tiene corriente la batería.Con p: El coche enciende.De tal manera que la representación del enunciado anterior usandosimbología lógica es como sigue:p = q
rSu tabla de verdad es como sigue:
 
 Donde;1 = verdadero 0 = falsoEn la tabla anterior el valor de
q = 1
significa que el tanque tienegasolina
, r = 1
significa que la batería tiene corriente y
 p = q
r = 1
significa que el coche puede encender. Se puede notar que si
q
o
valen cero implica que el auto no tiene gasolina o no tiene corriente labatería y que, por lo tanto, el carro no puede encender.
2.
La ciudad
 x 
está en Francia y es su capital
es una proposicióncompuesta por las proposiciones simples:
 p: La ciudad x está en Francia.
Qué es verdadera solo para todas lasciudades
 x 
que estén en Francia de lo contrario será falsa y,
r: La ciudad x es capital de Francia.
Qué es verdadera solo si
 x 
es Parisde lo contrario será falsaCon ello la proposición compuesta
q: p
será verdadera solo si
 x 
esParis, de lo contrario será falsa, como lo muestra la tabalcorrespondiente. El operador
 y 
en lateoría de conjuntosequivale a la operaciónde intersección, por ellose le puede representarcomo lo muestra lafigura No 15:
.q.r .p = q
r
111100010000
.p.r .q = p
r
111100010000

Activity (89)

You've already reviewed this. Edit your review.
Josué Solís added this note
Gracias por el aporte! Se agradece :)
Josué Solís liked this
1 hundred reads
Laura Zapata liked this
Gabbo Chicaiza liked this
fernandogecuador liked this
Ash Marissa liked this

You're Reading a Free Preview

Download
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->