1.4.2. Negacin Alterna La negacin alterna es una disyuncin cuyos componentes son negados.

En el lenguaje comn la frmula para expresarla es: noono y en el lenguaje simblico el propuesto por Sheffer que es el siguiente: I . 22 La regla respecto de su veracidad es la siguiente: Para que la negacin alterna sea verdadera es suficiente que uno sus dos componentes sea falso; y, es falsa nicamente cuando sus dos componentes son verdaderos. Su interpretacin estndar es la de negar que ambas frmulas P/Q sean verdaderas, que es lo mismo que afirmar que una al menos es falsa (Ver : Lgica simblica por Copi, p. 278). Su representacin esquemtica

p v v f f

q v f v f

/ f v v v

Ejemplo de proposicin alternativa: X no es candidato a diputado o Z no es candidato a senador. Pedro no pudo comprar el inmueble de la calle real o juan no quiso vender aquel inmueble. Advertencia Los esquemas de la funcin veritativa (tablas de veritacin) consignadas en este trabajo solo se circunscriben a la llamada lgica bivalente (solo en funcin de los valores verdad o falsedad). Pero, el estudiante tendr que incursionar an ms, esto es, avanzar sus estudios en la bibliografa especializada sobre la lgica polivalente, tetravalente, pentavalente y N-valente).

Enumeracin de las constantes ms usuales

Perteneciente, pertenece a No pertenencia, no pertenece a No inclusin, no incluye Inclusin o incluido No inclusin, no est incluido Igualdad, igual Es menor que Es mayor que No es menor que No es mayor que Es menor o igual que Es mayor o igual que Relacin Tal que Unin Interseccin

: : : : : : : : : : : : : : : :

.... .... .. .. .. = .. .. C.. .. C .. .. < .. .. > .. .. <... .. > .. .. .. .. .. .. R .. .. / .. .. U .. .. ..

Cuantificadores no proposicionales El universal y el existencial son denominados cuantificadores no proposicionales. Simblicamente el cuantificador universal se presenta por x que significa para todos los x o para cualquier x que fuese y el cuantificador existencia se representa ( x) que significa para algunos x o existe por lo menos un x. Anteponiendo el cuantificador universal, por ejemplo a un esquema cuantificacional atmico, se est indicando el sentido universal de dicho esquema. Por ejemplo, sea el esquema cuantificacional atmico. Anteponiendo el cuantificador atmico. Anteponiendo al cuantificador universal, se tiene:

1. (x) Fx Y se lee para todo x, x es de F, todos los x son de F o para cualquier x que fuese, x es de F, etc. Un ejemplo de 1 en lenguaje ordinario seria: todo es materia. Si F = materia . Y si el lenguaje esquema es Fx anteponiendo el cuantificador universal se tiene. 2. (x) Fx

Se lee: para todo x, x no es de F para cualquier x que fuese, x no es F o ningn x es de F, etc. Un ejemplo de 2 en lenguaje ordinario seria: Nada es materia. Si F-materia. De cualquier modo se produce si se quiere indicar el sentido particular o existencial de un esquema. Por ejemplo, anteponiendo el cuantificador existencial a Fx se tiene: 3 (3 x) Fx que se lee: existe por lo menos un x tal que, x es de F o para algunos x, x es de F etc. Un ejemplo de 3 en lenguaje ordinario seria: Algo es materia Si F = materia. Para - Fx se tiene: 4. (x) Fx que se lee: existe por lo menos un x tal que, x no es de F o para algn x, x no es de F etc. Un ejemplo de 4 en lenguaje ordinario seria: Algo no es materia Tambin si F = materia (23). Para presentar simblicamente el universal tambin se utiliza el smbolo: U. Y para representar el conjunto vaco o nulo se emplea el smbolo: O o ( ). Mientras que la representacin simblica del conjunto unitario se usa el smbolo: {a}.

CAPITULO V NOCIONES SOBRE LGICA DE CLASES 1. SALVEDAD En realidad, no se trata de desarrollar a satisfaccin la lgica de las clases, sino, motivar al estudiante para que recurriendo a la bibliografa especializada incursione en la teora de los conjuntos y sus combinaciones, que, a su vez, le permitir afirmar an ms su capacidad de razonamiento. 2. La clase y sus elementos Segn Whitesitt una clase es un conjunto de elementos. El agrega que: todo principiante en el estudio de las matemticas est familiarizado con el conjunto de los nmeros enteros, en el conjunto de tringulos rectngulos, el conjunto de lneas perpendiculares a un plano dado y el conjunto de puntos sobre una lnea. Sin embargo, el concepto de conjunto no est limitado a las matemticas. La totalidad de los libros en una biblioteca, la gente en un cuarto y los peces en un riachuelo dado, son ejemplos de conjunto.