REPUBLIBA BOLIVARIANA DE VENEZUELA MINISTERIO DEL PODER POPULAR PARA LA DEFENZA UNIVERSIDAD NACIONAL EXPERIMENTAL POLITECNICA DE LAS FUERZA

ARMADA BOLIVARIANA

UNEFA

REALIZADO POR: EDWIN ALMEIDA

PUNTO FIJO ESTADO FALCON

Se conoce como semitica a la teora que tiene como objeto de inters a los signos. Esta ciencia se encarga de analizar la presencia de stos en la sociedad, al igual que la semiologa. Ambos conceptos son tomados como sinnimos por el diccionario de la Real Academia Espaola (RAE), aunque los expertos establecen algunas diferencias. Muchos autores han hablado y escrito sobre el trmino: Saussure, Pierre, Buyssens, etc,. En las diferentes definiciones se encuentran elementos en comn y otros absolutamente opuestos; sin embargo todos coinciden en algo, que la semitica no se trata de un acto de lectura; sino de una actitud de exploracin de lo que existe de fondo de toda significacin: sus races y los mecanismos que la sostienen. Algunos de estos intelectuales sostienen que la semitica incluye a todas las dems ciencias, que se dedican al estudio de los signos en determinados campos del conocimiento. Es decir, que la ven como una ciencia orientada a estudiar cmo funciona el pensamiento para explicar las maneras de interpretacin del entorno y de creacin y difusin de conocimiento que tienen las personas. La semntica que es la encargada de estudiar qu relaciones existen entre significantes y significados; es decir el significado de las palabras, de los enunciados y de las oraciones. *La onomasiologa que se encarga de nombrar a los objetos y establecer las diferentes denominaciones para una misma cosa. *La semasiologa, al contrario, estudia la relacin que existe entre un objeto y su nombre. En el caso del dilogo, parte del receptor al emisor para el estudio del mismo. *La pragmtica es la encargada de estudiar las relaciones entre significantes y usuarios; es decir de qu forma emplean los seres humanos los diferentes signos a la hora de comunicarse. *La parte de la semitica que se encarga de estudiar las relaciones que se establecen entre los diversos significantes se llama sintaxis. En cada idioma la semitica ocupa un lugar diferente y por tanto su entorno de anlisis tambin vara. En el caso de Espaa, su intervencin en el campo de la comunicacin se ha mostrado un tanto desparejo y hasta superfluo. Podemos decir que se pueden distinguir dos lneas bien definidas dentro de la semitica, una se encuentra enfocada al discurso social y la otra a lo visual. La semitica del discurso social tambin conocida con el nombre de sociosemitica se encarga de estudiar el proceso a travs del cual los medios de comunicacin de masas llegaron a integrarse a la cultura de la sociedad, produciendo diversas tipologas en los discursos, tales como periodstico, publicitario y poltico; a partir de los cuales ha surgido el discurso social, que toma cosas de cada uno de ellos para expresar ideas con las que el pueblo se siente identificado. A su vez, en los ltimos aos la cercana entre la semitica y la comunicacin de masas se ha afianzado an ms gracias a las tecnologas avanzadas utilizadas en el campo de las artes audiovisuales. Esto ha generado que la semitica deba comenzar a estudiar el significado de los signos en el mundo de la informtica y la inteligencia artificial. Posiblemente esto exigir una unificacin

entre el lenguaje coloquial y las nuevas tecnologas, y un amplio estudio de estas consecuencias podr colaborar con un mayor entendimiento de las relaciones entre sociedades. En el mbito de la medicina, por ltimo, la semitica es el rea que se dedica al tratamiento de los signos de las enfermedades a travs de la diagnosis y de la pronosticacin. Cabe mencionar que esta acepcin es una de las ms antiguas que existen.

CALCULO PROPOSICIONAL

Simbolizacin de proposiciones. Cada proposicin tiene una forma lgica a la cual se le d un nombre. Se distinguen dos tipos de proposiciones: simples y compuestas. Una proposicin se denomina simple cuando en ella no interviene ninguna conectiva lgica o trmino de enlace (y, o, no, si...entonces..., si y slo si). Si se juntan una o varias proposiciones simples con un trmino de enlace, se forma una proposicin compuesta. Los trminos de enlace, "y", "o", "si... entonces...", "si y slo si"; se usan para ligar dos proposiciones, en cambio el trmino de enlace "no" se agrega a una sola proposicin.

Ejemplo: Hoy es jueves Hay clases de matemticas Ambas proposiciones son simples. Con estas proposiciones se pueden construir proposiciones compuestas tales como: Hoy es jueves y hay clases de matemticas. Hoy es jueves o hay clases de matemticas. Si hoy es jueves entonces hay clases de matemticas. Hoy no es jueves. La forma de las proposiciones compuestas depende del trmino de enlace utilizado, y no del contenido de la proposicin o proposiciones simples. Es decir, si en una proposicin compuesta se sustituyen las proposiciones simples por otras

proposiciones simples cualesquiera, la forma de la proposicin compuesta se conserva.

Ejemplo:

Hoy es jueves y hay clase de matemticas.

y Esta sera la forma de la proposicin. En los cuadros pueden colocarse las proposiciones dadas u otras proposiciones. Para representar las proposiciones se utilizan letra latinas maysculas tales como P, Q, R, etc. Por ejemplo, sea:

P: Hoy es jueves. Q: Hay clase de matemticas. Luego la proposicin:

Hoy es jueves y hay clase de matemticas. se simboliza as: PyQ En el lenguaje corriente se utiliza tambin la palabra "pero" o una "," en vez del trmino de enlace "y". Ejemplo: Fu a la feria, pero no hice compra alguna. Ins est enferma, el martes ir a visitarla. En el siguiente ejemplo se usa el trmino de enlace "o". Es tarde o est muy oscuro. Otro giro de "o" es:

O es tarde o est muy oscuro. En este ltimo caso las dos "o" son parte del mismo trmino de enlace y la forma de la proposicin es:

Cuando se usa el trmino de enlace: si,...entonces.... se obtiene la siguiente forma: Si entonces

Si R entonces S

Ejemplo: Si madrugo entonces llego temprano. En este ejemplo puede suprimirse la palabra "entonces" y reemplazarse por una "," as: Si madrugo, llego temprano.

Cuando la palabra "no" se encuentra en el interior de una proposicin simple, puede pasar inadvertida, pero se trata de una proposicin compuesta. Ejemplo: El da no est caluroso Puede presentarse como: No ocurre que el da est caluroso. y su forma es: No

No

Tambin se usan smbolos para representar los trminos de enlace, as: Para la "y" se utiliza el smbolo . Para la "o" se utiliza el smbolo . Para el "no" se utiliza el smbolo . Para el "si,entonces" se utiliza el smbolo . Para el "si y slo si" se utiliza el smbolo .

Cuando una proposicin compuesta utiliza el trmino de enlace "y" es una conjuncin. Si el enlace se hace mediante la conectiva "o" es una disyuncin. Si se usa el trmino "no" es una negacin. Cuando la conectiva es "si ...entonces... " es una proposicin condicional, y si utiliza "si y slo si" se tiene un bicondicional. En proposiciones que tienen ms de un trmino de enlace es preciso indicar la manera de agruparse, pues distintas agrupaciones pueden tener distintos significados. En el lenguaje corriente, las agrupaciones se presentan de acuerdo a la colocacin de ciertas palabras o mediante la puntuacin. En lgica la agrupacin se indica por medio de parntesis.

Ejemplo: O los soldados encontraron cerrado el paso, o si temieron un ataque enemigo, se refugiaron en las montaas. Este texto se simboliza de la siguiente forma: P: Los soldados encontraron cerrado el paso. Q: Los soldados temieron un ataque enemigo. R: Los soldados se refugiaron en las montaas. La proposicin compuesta es: P (QR) La cual tiene un sentido distinto de la proposicin: (P Q) R.

Cuando no hay lugar a ambigedades, pueden omitirse los parntesis y se adopta una convencin con respecto a la dominancia relativa de los diversos conectivos. La convencin es: "" y "" dominan a "" y "". as: S P R significa S (P R) P Q r significa P (Q R) Con esta convencin, no est claro lo que significa por ejemplo: P Q R P Q R

Aqu, es necesario usar parntesis para aclarar, en el primer caso, si se trata de: (P Q) R P (Q R) y en el segundo caso, diferenciar entre: (P Q) R y P (Q R) El clculo proposicional como un sistema axiomtico Signos primitivos

Letras latinas minsculas y maysculas. Signos lgicos: "" (negacin), " " (disyuncin). Signos de puntuacin: "(",")" (parntesis).

De las sucesiones de signos que es posible construir, hay especficamente unas que tienen sentido dentro de la teora. Tales sucesiones se denominan, trminos y frmulas. Los trminos se identifican con los objetos de la teora y las frmulas expresan relaciones entre los objetos. La especificacin de los trminos y las frmulas, se hace a travs de las siguientes reglas.

Reglas formativas RF1: Cualquier letra es un trmino. RF2: Si R es una frmula, entonces R es una frmula, la cual se

denomina negacin de R. RF3: Si P y Q son frmulas, entonces P Q es una frmula la cual se denomina disyuncin lgica de P y Q. Nota: En las RF2 y RF3, las letras maysculas se usan para designar frmulas, no corresponden a signos del lenguaje. Signos Definidos. Una vez establecidas las reglas de formacin de frmulas se pueden introducir abreviaciones con el fin de simplificar la escritura. Estas abreviaciones son el objeto de las definiciones matemticas. Definicin: Sean R y S frmulas, entonces:

La frmula (R S) se denota abreviadamente como R S y se llama conjuncin Lgica de R y S, la cual se lee "R y S". La frmula R S se denota como R S y se llama condicional de R y S. La figura lgica del condicional, responde a conectar dos proposiciones mediante el esquema "si..., entonces...". Para leer una proposicin de la forma R S, se puede usar algunas de las siguientes expresiones:

Si R entonces S. R es suficiente para S. S es necesario para R. S siempre que R. R slo si S.

A la frmula R se le llama antecedente, y a la frmula S consecuente. Cuando el condicional es verdadero se dice que existe implicacin y en este caso se lee la expresin como: R implica S la cual se denota:

R S

La frmula (R S) (S R) se denota por R S y se llama bicondicional de R y S. Esta expresin se puede leer como:

R si y slo s S R es suficiente y necesario para S Cuando el bicondicional es verdadero, se dice que hay equivalencia. En este caso se lee: R equivale a S y se denota: Rs

Nota: Los criterios para decidir sobre la verdad del condicional y el bicondicional se vern ms adelante. Razonamiento Lgico. Deduccin. La deduccin lgico matemtica consiste en lo siguiente: A partir de una serie de frmulas admitidas como ciertas, y denominadas axiomas, hiptesis o premisas, se obtiene otra frmula llamada conclusin o tesis, mediante la aplicacin de reglas lgicas precisas. El proceso mediante el cual se pasa de las hiptesis (premisas) a la tesis, recibe el nombre de demostracin. Un teorema es una frmula que figura dentro de una demostracin. Es decir, un teorema es una frmula que es o bien un axioma, o bien, una consecuencia de ste. Una frmula se dice que es falsa si su negacin es un teorema. Una teora es contradictoria cuando se tiene una frmula R que es verdadera y falsa a la vez. Esto es: R y R son teoremas de la teora. Para demostrar que una frmula C es un teorema se desarrolla el siguiente proceso:

Se enuncian los axiomas de la teora. Para la lgica proposicional se establecen cuatro axiomas (A) que son :

A1. Axioma de idempotencia. Sea P una frmula, entonces, la frmula: PPP es un axioma A2. Axioma de adjuncin. Sean P Y Q frmulas, entonces, la frmula: PPQ es un axioma. A3. Axioma de conmutatividad. Sean P, Q y R frmulas, entonces, la frmula:

PQQP es un axioma.

A4. Axioma de adicin. Sean P , Q y R frmulas, entonces, la frmula:

(P Q) (R P R Q) es un axioma.

Se fijan las "reglas lgicas" que permiten deducir dicha frmula a partir de los axiomas. Estas reglas son llamadas reglas de validez (RV) y son las siguientes:

RV1: Dadas las frmulas R y S; si R S y R son verdaderas, entecos S es verdadera. RV2: Si R y S son frmulas equivalentes, se puede sustituirla una por la otra en cualquier parte del proceso demostrativo.

Se hace una demostracin de la frmula C, que consiste en obtener a C como ltima frmula de la lista, por aplicacin reiterada de RV1 y RV2.

Ejercicios Simbolizar completamente las proposiciones siguientes, utilizando los smbolos correspondientes a cada trmino de enlace. Indicar las proposiciones simples sustituidas por cada letra mayscula.

1. En el hemisferio sur, julio no es un mes de verano. 2. Si dos pulsaciones se atraviesan, continan conservando la forma original. 3. O Jaime no es puntual o Tomas llega tarde. 4. Ni Antonio ni Ana estudian en la universidad. 5. O Pedro es presidente y Juan es tesorero, o Jaime es tesorero. 6. Si este cuadro es negro entonces aquel cuadro es rojo y su rey est sobre el cuadro rojo. 7. A la vez, si este cuadro es negro, entonces, aquel cuadro es rojo y su rey est sobre el cuadro rojo. 8. Patinaremos s y slo si el hielo no es demasiado delgado. CALCULO PROPOSICIONAL Principales conceptos El clculo proposicional es tambin llamado, lgica proposicional, calculo sentencial, lgebra Booleana. El clculo proposicional, junta dos clculos de predicados con la constitucin de smbolos lgicos. La Lgica Matemtica surge como una disciplina matemtica cuyo objeto de estudio es la lgica del razonamiento matemtico humano (y actualmente tambin de otras formas de razonamiento.) Requiere de expresar la lgica en trminos susceptibles de ser representados y manejados por un computador. La lgica proposicional es la parte de la lgica que estudia las formas en que se relacionan unas proposiciones con otras y, sobre todo, la relacin que se da entre las proposiciones que componen un razonamiento. Proposiciones Las proposiciones son definidas, apenas "como un pensamiento completo". Para nuestro propsito las proposiciones pueden ser tentativamente igual a una sentencia. Las proposiciones son una sentencia declarativa, o reglas las cuales tienen valores de verdad, una proposicin puede tener dos valores, verdadero o falso. Pero no ambos (verdadero y falso) y tampoco pueden no tomar ningn valor. Una proposicin es un hecho. Los argumentos de las proposiciones son: premisas y conclusiones de una proposicin. Las proposiciones son portadoras de veracidad y falsedad.

Mientras las proposiciones son expresadas en sentencias, la rama de la lgica se conoce como smbolos lgicos empleando letras de variables minsculas, o variables de sentencias o variables proposicionales, p, q, r, s,..., para expresar proposiciones. Proposiciones simples o hechos Las siguientes son proposiciones simples las cuales son verdaderas: 1. El cielo es azul 2. La nieve es fra 3. 12*12=144 4. Vicente Fox es el presidente de la Republica Mexicana 5. La Segunda Guerra Mundial duro desde 1939 hasta 1945 Las siguientes proposiciones simples son falsas: 1. Honda hace televisiones 2. El General Fidel Castro es un Demcrata 3. 8+99=231 4. Los Insectos crean su comida a travs de fotosntesis 5. Atenas es la capital de Italia Las siguientes son proposiciones no validas: 1. l es un vendedor-> Esta no es una proposicin porque "l" no esta definido. Como un resultado no hay manera de verificar la sentencia y asignarle un valor de verdad. 2. Esta declaracin es una mentira-> No es una proposicin porque "Esta" no esta definida como una declaracin. No hay referencia y como en otros ejemplos no podemos asignar un valor de verdadero o falso a la declaracin. 3. Las cosas buenas vienen en pequeos paquetes - > Este tipo de declaracin expresa una idea subjetiva o concepto el cual no puede ser verificado en trminos de verdadero o falso. 4. La verdad es que no hay verdad-> Esta es tambin un valor de hecho y expresa un concepto filosfico el cual no es verificable. 5. Dios es bueno-> Este es un valor de hecho y expresa una tica, idea religiosa o dogma. No es una proposicin. 6. Por qu el Soccer no es ms popular que el Bsquetbol en Estados Unidos?> Esta no es una declaracin. Simplemente hace una pregunta. 7. 12 + x = 16-> No es una proposicin porque "x" es una variable indefinida, al menos que a x se le asignen valores, hasta entonces se puede verificar el valor de verdad o falsedad de la proposicin. 8. Al Pacino era un buen actor-> No es una proposicin. Esta sentencia expresa una opinin; es subjetivo. Proposiciones compuestas Las proposiciones son expresadas a travs de variables (p, q, r, s). Conectivos lgicos y operadores establecen relaciones entre dos o ms proposiciones. La funcin principal de los operadores es la de formar una nueva proposicin de una

o ms proposiciones. As las declaraciones compuestas o proposiciones son formadas. Operaciones sobre las proposiciones Algunos autores por ejemplo agrupan los conectores que se utilizan sobre las proposiciones, en el calculo proposicional en dos agrupaciones (como la que se muestra en seguida), aunque normalmente otros los clasifican segn su importancia: Conectivos agrupados segn Balancing Bird 199 G. Benton Mondico: envuelve solamente una expresin de la declaracin La negacin, simbolizada por "" y significa no es verdad. Didico: envuelve dos proposiciones. El conector AND es simbolizado por "^" y significa "y" El conector OR es simbolizado por "v" y significa "o" La condicin es simbolizado por " " y se lee "S... entonces" Bicondicional es simbolizado por " " y se lee "S y solo s"