You are on page 1of 7

MATEMATICAS

1.2 Operadores lgicos.


Definicin 1.4 (Negacin)
Sea a una proposicin, la negacin de a, representada simblicamente
por a, es una nueva proposicin, cuyo valor de verdad est dado por la
siguiente tabla de verdad.

La negacin se presenta con los trminos gramaticales: "no","ni","no es


verdad que","no es cierto que".
Ejemplo 1.6 Negacin de proposicines.
Si Se tiene la proposicin
a: Tengo un billete de 5 dolares.
La negacin de a es: a: No tengo un billete de 5 dolares.

Definicin 1.5 (Conjuncin)

La proposicin resultante ser verdadera solamente cuando el valor de


verdad de ambas proposiciones es verdadero. La conjuncin se presenta con
los terminos gramaticales: "y","pero","mas",y signos de puntuacin como: la
coma, el punto, y el punto y coma.

Ejemplo 1.8 Conjuncin


Si se tienen las proposiciones:
a: Trabajo mucho.
b: Recibo un bajo sueldo.
La conjuncin entre a y b se puede expresar como:
a^b: Trabajo mucho pero recibo un bajo sueldo.

Definicion 1.6 (Disyuncin)


Sean a y b proposiciones, la disyuncin entre a y b, representada
simbolicamente por ab, es una nueva propocisin, cuyo valor de verdad
esta dado por la siguiente tabla de verdad:

La proposicin resultante ser falsa solamente


cuando el valor de verdad de ambas proposiciones es falso.
Ejemplo: 1.10 Disyuncin de proposiciones.
Si se tienen las proposiciones:
a: Tengo un libro de trigonometra.
b: Tengo un libro de lgebra.
La disyuncin entre a y b es:
ab: Tengo un libro de trigonometra o uno de lgebra.
Existe la posibilidad de poseer ambos libros, razn por la cual esta
disyuncin recibe el nombre de disyuncin inclusiva. La expresin "o estoy
en Quito o estoy en Guayaquil" denota la imposiblidad de estar fisicamente
en Quito y Guayaquil al mismo tiempo

Definicin 1.7 (Disyuncin exclusiva)


Sean a y b proposiciones, la disyuncion exclusiva entre a y b, representada
simbolicamente por ab, es una proposicion, cuyo valor de verdad esta dado
por la siguiente tabla de verdad:

La proposicion resultante ser verdadera cuando solamente una de ellas sea


verdadera. La disyuncin se presenta con el termino gramatical
"o","solo","solamente","o....,o...".
Ejemplo 1.11 Disyuncin exclusiva de proposiciones.
Si se tienen las proposiciones:
a: Estoy en Quito.
b: Estoy en Guayaquil.
La disyuncin exlusiva entre a y b es:
ab: O estoy en Quito o estoy en Guayaquil.
Definicin 1.8(Condicional).
Se representa simbolicamente por ab, es una nueva proposicion, cuyo
valor de verdad est dado por la siguiente tabla de verdad:

En la proposicin ab, a es el antecedente, hipotesis o premisa; b es el


consecuente, conclusin o tesis; y la proposicin resultante ser falsa
solamente cuando el valor de verdad del antecedente sea verdadero y el
valor de verdad del consecuente sea falso.
En espaol, la proposicin ab se puede encontrar con los siguientes
trminos gramaticales: "si a, entonces b", "a slo si b", "a solamente si b",
"b si a", "si a,b", "b con la condicin que a", "b cuando a", "b siempre que
a", "b cada vez que a ", "b puesto que a", "b porque a", o cualquier
expresin que denote causa y efecto.
Ejemplo 1.12 condicional proposiciones.
Si se tienen las proposiciones:
a: Juan gana el concurso..
b: Juan dona $10000.

La condicional entre a y b es:

ab: Si Juan gana el concurso, dona $ 10000.


Existen otras proposiciones relacionadas con la condicional ab, las cuales
se denominan: reciproca, inversa y contrarreciproca (o contrapositiva)
La Reciproca, es representada simbolicamente por: ba.
La Inversa, es representada simbolicamente por: ab.
La Contrarreciproca, es representada simbolicamente por: ba.
Ejemplo 1.13 Variaciones de la condicional.
A partir de la proposicion:
"Si es un automovil, entonces es un medio de transporte".
La Reciproca seria:
"Si es un medio de transporte, entonces es un automovil".
La Inversa seria:
"Si no es un automovil, entonces no es un medio de transporte".
La Contrarreciproca seria:
"Si no es un medio de transporte, entonces no es un automovil".
Definicion 1.9 (Bicondicional)
Representada por ab, es una nueva proposicion, cuyo valor de verdad
esta dado por la siguiente tabla de verdad:

La proposicion a b sera verdadera


cuando los valores de verdad de ambas proposiciones sean iguales. Tambien
se puede observar quela proposicion ab sera falsa cuando los valores de
verdad de ambas proposiciones sean diferentes.
En espaol, la proposicion ab se puede encontrar con los siguientes
terminos gramaticales: "a si y solo b ", "a si y solamente si b", "a implica b y
b implica a", "a cuando y solo cuando b".
Ejemplo 1.19 (Bicondicional)
Dadas las proposicones:
a: Un triangulo es equilatero.
b: Un triangulo es equiangulo.
Las bicondicional entre a y b es:
ab: Un triangulo es equilatero si y solo si es equiangulo

You might also like