2014

Tablas de Verdad y
Arreglos

ALDO MAQUEDA, LUIS ENRIQUE AGUILAR, FERNANDO HERNANDEZ
POLO
Tablas de verdad
Nos ayudan a establecer valores de verdad de diferentes razonamientos
lgicos construido por 2 o ms enunciados nucleares. stos se identifican
usualmente con la segunda mitad del alfabeto: p, q, r, s, t, etc aunque puede
usarse cualquier smbolo para identificar los enunciados nucleares.
Cuando hay 2 enunciados nucleares, p y q, las tablas de verdad para los cuatro
conectivos bsicos (conjuncin, disyuncin, implicacin, doble implicacin),
tienen cuatro niveles (2 elevado al nmero de enunciados).
Los conectivos lgicos son Y (para la conjuncin), O (para la disyuncin),
SIEntonces (para la implicacin o condicional), SI Y SOLO SI (para la doble
implicacin o bicondicional).

(Wuera, 2012)
La conjuncin sirve para indicar que se cumplen 2 condiciones
simultneamente.
La disyuncin solamente es falsa si lo son sus dos componentes.
La condicional solamente es falso cuando el antecedente es verdadero y el
consecuente es falso.
EL bicondicional solamente es cierto si sus 2 componentes tienen el mismo
valor de verdad.
Se denomina tautologa a una preposicin que es cierta para cualquier valor de
verdad de sus componentes.
Contradiccin: es la negacin de una tautologa, luego es una proposicin falsa
cualesquiera sea el valor de verdad de sus componentes.
(encured, 2012)

Arreglos
Definimos a un arreglo de la siguiente manera:
Ident_arreglo=ARRELO [lminf..lmsup] DE tipo
Con el lmite inferior y el lmite superior se declara el tipo de los ndices as
como el nmero de elementos que tendr el arreglo. El tipo se declara el tipo
de datos para todos los elementos del arreglo.
-Lectura/ Escritura.
-Asignacin.
-Actualizacin: Insercin.
Eliminacin.
Modificacin.
-Ordenacin.
-Bsqueda.
Como los arreglos son datos estructurados, muchas de estas operaciones no
pueden llevarse a cabo de manera global, sino que se debe trabajar sobre cada
elemento.
Lectura
El proceso de lectura de un arreglo consiste en leer y asignar un valor a cada
uno de sus elementos.
Ejemplo:
Leer ARRE[1]
Leer ARRE[2]
Leer ARRE[3]

Escritura
El caso de la escritura es similar al de lectura. Se debe escribir el valor de cada
uno de los componentes.
Escribir ARRE[1]
Escribir ARRE[2]
Escribir ARRE[3]

Asignacin
En general no es posible asignar directamente un valor a todo el arreglo, sino
que se debe el valor deseado a cada componente.
Ejemplo:
A[1]<-120
A[2]<-A[1]/4
A[3]<-0


Insercin
Para insertar un elemento Y en un arreglo desordenado, se debe verificar que
exista un espacio, si se cumple esta condicin entonces se asignar a la
posicin n+1 el nuevo elemento.
Eliminacin
Para eliminar a un elemento x de un arreglo A desordenado, debe verificarse
que el arreglo no est vaco y que x se encuentre en el arreglo. Si se cumplen
estas condiciones entonces se proceder a recorrer todos los elementos que
estn a su derecha una posicin a la izquierda, decrementando finalmente el
nmero de componentes del arreglo.
Modificacin
Para modificar un elemento x por un elemento Y, de un arreglo A que se
encuentra desordenado debe verificarse que el arreglo no est vaco y que x se
encuentre en el arreglo. Si se cumplen estas condiciones entonces se
proceder a su actualizacin.
Ordenamiento
Para insertar un elemento x en un arreglo A que se encuentra ordenado, debe
verificarse que exista espacio. Luego tendr que encontrarse la posicin en la
que debera estar el nuevo valor para no alterar el orden del arreglo. Una vez
detectada la posicin, se proceder a recorrer todos los elementos desde la
misma hasta la n-sima posicin un lugar a la derecha. Finalmente se asignar
el valor de x a la posicin encontrada.
(Cair, 2005)
Bibliografa
Cair, O. (2005). Metodologa de la programacin. En O. Cair, Metodologa de la
programacin (pgs. 185-199). Mxico DF: Alfaomega.
encured. (17 de Mayo de 2012). Obtenido de encured:
http://www.ecured.cu/index.php/Tablas_de_la_verdad
Wuera, J. (30 de Septiembre de 2012). slideshare. Obtenido de slideshare:
http://es.slideshare.net/JudithWuera/las-tablas-de-verdad