PROPOSISCIONES - Ensayo de español.
Enviado por poland6525 • 8 de Abril de 2018 • 1.147 Palabras (5 Páginas) • 335 Visitas
...
Bicondicional
Es la unión de dos proposiciones mediante las palabras «si y sólo si». Su símbolo es ↔.
FBF: p ↔ q.
p: María es casada.
q: María tiene hijos.
p ↔ q: María es casada si y sólo si tiene hijos.
La bicondicional p ↔ q es equivalente a la conjunción (p → q) ˄ (q → p).
TIPOS DE LENGUAJE DE UNA PROPOSICIONES
Lenguaje Natural
El lenguaje natural son las distintas lenguas utilizadas por las distintas comunidades de hablantes en sus procesos de comunicación. Se designan así porque son productos elaborados por los seres humanos a lo largo de un gran período histórico y porque después se le añadirán nuevas formas, que las transforman en lenguajes artificiales. En el lenguaje natural cada forma de nombrar las cosas es convencional (está establecido de una manera determinada). Si la lengua fuera algo natural en el ser humano, todos tendríamos el mismo lenguaje.
Nos servimos del lenguaje para las cosas más diversas: expresar deseos, preguntar, suplicar... También lo utilizamos para hacer afirmaciones sobre lo que ocurre o para describir objetos y situaciones. Es este último uso el único que interesa a la ciencia, ya que se expone un conocimiento de algo (uso referencial).
El lenguaje natural es el vehículo de comunicación con el que conseguimos una enorme expresividad y riqueza comunicativa. A la hora de expresar conocimientos tiene deficiencias, ya que pueden darse las paradojas. Es ambiguo, no es exacto. Es muy poco operativo, pero es el sistema con mayor capacidad expresiva, que nos permite conocer más cosas.
Lenguaje Lógico
El lenguaje lógico se denomina formalizado porque su propiedad más importante es la de revelar la forma o estructura de las pro-posiciones e inferencias. El lenguaje formalizado de la lógica de proposiciones consta de dos clases de signos: variables proposicionales y operadores o conectores lógicos.
Las variables proposicionales representan a cualquier proposición atómica. Son letras minúsculas del alfabeto castellano ‘p’, ‘q’, ‘r’, ‘s’, etc. Los operadores lógicos además de enlazar o conectar proposiciones establecen determinadas operaciones entre ellas. Son de dos clases: diádicos y el monódico. Los operadores diádicos tienen un doble alcance: hacia la izquierda y hacia la derecha, es decir, afectan a dos variables. Y son los siguientes:
El conjuntivo: representa a la conjunción ‘y’. Su símbolo es ‘^’.
El disyuntivo: representa a la conjunción ‘o’. Puede ser inclusivo y exclusivo.
El símbolo del inclusivo es ‘v’; el del exclusivo es ‘[pic 2]’.
El condicional: representa a la conjunción compuesta ‘si... entonces’. Su símbolo es ‘→’.
El bicondicional : representa a la conjunción compuesta ‘si y sólo si’. Su símbolo es ‘[pic 3]’.
Negación conjunta: representa a las partículas ‘ni...ni‘. Su símbolo es ‘↓’.
Negación alterna: representa a la expresión ‘no o no’. Su símbolo es ‘│ ’
El Negativo: Es el operador monádico y tiene un solo alcance: hacia la derecha, es decir, afecta a una sola variable. Es el operador de la negación. Representa al adverbio negativo ‘no’. Su símbolo es ‘~’.
BIBLIOGRAFIA
Lógica de Proposiciones
Autor: Francisco José González Gutiérrez, Cádiz, Abril de 2005
Lógica Matemática
Autor: Carlos Ivorra Castillo
Lógica matemática y fundamentos (2015–16)
Autores: José A. Alonso Jiménez / María J. Hidalgo Doblado, Universidad de Sevilla España
...