Vous êtes sur la page 1sur 9

II.

LGEBRA BOOLEANA
Existen conectores u operadores lgicas que permiten formar proposiciones compuestas
(formadas por varias proposiciones). Los operadores o conectores bsicos son:

NEGACIN
Palabras conectivas: no, no es cierto que, no es verdad que, nunca, carece de, sin, etc.
Prefijos negativos: a, des, in, i.
Condicin: lo V se transforma en F (y al revs) P -p
CONJUNCIN: .
Palabras conectivas: y, aunque, pero, mas, tambin, sin embargo, adems, etc.
Condicin: es V cuando ambas son V.

Ejemplo:
Sea el siguiente enunciado "el auto enciende cuando tiene gasolina en el tanque y
tiene corriente en la batera"
Sean:
p= tiene gasolina el tanque
q = tiene corriente la batera
r = el auto enciende = p ^ q
La conclusin resultante es que para que el auto encienda se debe tener gasolina en
el tanque y corriente en la batera, sino se tiene una de estas dos condiciones el auto
no arrancar.
DISYUNCIN INCLUSIVA
Una, otra o ambas a la vez. (y/o)
Palabras conectivas: o
Condicin: es F cuando las dos son F.

Ejemplo:
Sea el siguiente enunciado "Una persona puede
entrar al cine si compra boleto u obtiene un pase"
Sean:
p= compra boleto
q = obtiene un pase
r = una persona entra al cine = p v q
La conclusin resultante es obvia, puesto que para
entrar al cine es necesario tener por lo menos una
de las dos condiciones: comprar un boleto o tener un
pase, si se tiene ambas tambin se puede entrar, si
no tengo ninguna de las dos alternativas entonces
no se puede entrar al cine.
DISYUNCIN EXCLUSIVA
O una o la otra (NUNCA ambas juntas)
Palabras conectivas:
O ......... o .....
O bien .... o bien
.... a menos que ....
.... salvo que ......
Condicin: es V cuando uno es V y el otro es F.
LA CONDICIONAL
Palabras conectivas: Si ..p.. entonces ..q.. Si ..p.. , ..q.. Cuando .......p............. , ......q..
Siempre ......p............. , ....q.. Es condicin suficiente..p..para que..q.. .........q........ slo si
......p....... Es condicin necesaria...q..para que..p..
Condicin: es falsa slo si el antecedente (p) es V y el consecuente (q) es F.

Ejemplo:
Si se tiene lo proposicin "Si un cuerpo se calienta, entonces se dilata",
se observa que estamos diciendo es que la primera proposicin "si el
cuerpo se calienta" implica a la segunda proposicin " entonces se
dilata", pero no se afirma que el antecedente es verdadero, ni el
consecuente es verdadero, puede ser que el cuerpo no se calent y el
cuerpo se dilato por causa de otros factores ajenos a la temperatura,
un golpe
LA BICONDICIONAL
Palabras conectivas: si y slo si; cuando y slo cuando; es equivalente a; es condicin
suficiente y necesaria para; etc.
Condicin: son verdaderas si ambas proposiciones tienen el mismo "valor de verdad".
NEGACION CONJUNTA
Simbolizaciones equivalentes:
Palabras conectivas:
Ni.... ni.....
No.... ni.....

Condicin: es V si slo ambas proposiciones son F.


NEGACION CONJUNTA
Simbolizaciones equivalentes:
Palabras conectivas:
O no............... o no......
Es incompatible.... con.......

Condicin: es F si las proposiciones son ambas V