Sei sulla pagina 1di 14

TABLAS DE VERDAD

PARA VISUAL C+
+

DESARROLLA SOFTWARE UTILIZANDO


PROGRAMACION ESTRUCTURADA

NAVARRO GUTIRREZ ERIKA


ELIZABETH
QU SON LAS TABLAS DE VERDAD?

Las tablas de verdad son un elemento de la lgica


proposicional para determinar el valor de verdad (es decir,
si es verdadero o falso) de una proposicin. Los valores
de verdad posibles son dos: verdadero y falso, que
tambin pueden expresarse como 1 y 0. Estos valores se
llaman booleanos por el lgebra de Boole, que tiene la
particularidad de operar con datos binarios.
QU SON LAS TABLAS DE VERDAD?

Normalmente se representa al valor Verdadero con la letra


V y al valor Falso con la F. Tambin se usan las letras T (por
true, verdadero en ingls) y F (por false, falso en
ingls).
Proposicin

Una proposicin es una afirmacin capaz de tener un


valor de verdad. Es decir, una oracin de la cual se
puede decir que es verdadera o que es falsa.
Ejemplo 1:
El da est caluroso (ser verdadero o ser falso,
segn si el da est o no est caluroso).
Proposicin
Una proposicin puede ser: atmica si no puede
subdividirse, o molecular si est compuesta por dos o ms
proposiciones, unidas por un operador lgico.
Ejemplo 2:
Proposicin atmica:El da est caluroso.
Proposicin molecular:El da est soleado y caluroso. Es
molecular porque puede subdividirse en dos
proposiciones: el da est soleado y el da est
caluroso.
Proposicin

Cuando se realizan operaciones con proposiciones,


unindolas medianteoperadores lgicos, se suele dar
nombres (usualmente compuestos de una sola letra) a las
proposiciones. Entonces podramos decir que la
proposicin el da est caluroso se va a llamar p y que
la proposicin el da est soleado se va a llamar q.
Como tenemos tambin una proposicin molecular que se
forma al unir estas dos, podemos darle el nombre r a la
proposicin el da est soleado y caluroso.
OPERACIONES LGICAS

Una operacin lgica se compone de operandos (proposiciones) y


operadores.
Los operadores lgicos (tambin llamados conectores lgicos)
usados para unir proposiciones son: AND (y), OR (o), NOT (no),
IMPLICA, BICONDICIONAL (si y slo si). Mediante ellos se forman
proposiciones moleculares.
OPERACIONES LGICAS
El operador AND se representa
mediante el smbolo y se utiliza para
la operacinconjuncin.
El operador OR se representa
mediante el smbolo y se utiliza para
la operacindisyuncin.
El operador NOT se representa
mediante el smbolo y se utiliza para
la operacinnegacin.
OPERACIONES LGICAS
El operador IMPLICA se representa mediante el smbolo
y se usa para la operacinimplicacin(tambin llamada
condicional). A la proposicin que se coloca a la
izquierda del operador se la llama antecedente y a la
que se coloca a la derecha de la llama consecuente.
El operador BICONDICIONAL se representa mediante el
smbolo y se usa para la operacindoble
implicacin(tambin llamada equivalencia).
OPERACIONES LGICAS

La negacin es una operacin unaria, porque


involucra un nico operando (proposicin). El resto
son binarias, porque involucran dos operandos.
Tabla de verdad de cada operador
lgico
Tabla de verdad de cada operador
lgico
CONCLUSION

Se emplean en lgica para determinar los posibles


valores de verdad de una expresin o proposicin
molecular. O si un esquema de inferencia, como
argumento, es formalmente vlido mostrando que,
efectivamente, es una tautologa.
BIBLIOGRAFIAS

http://2.bp.blogspot.com/-
v8lzdXpfNaI/TkGVr_p7zsI/AAAAAAAAB1c/LMgwGLWOTAA/s1600/Tabla%2Bde%2Bla%
2Bverdad%2Bde%2Bla%2Bbicondicional.png

http://www.patriciaemiguel.com/tablas-de-verdad/?i=1

Potrebbero piacerti anche