Preposiciones atomicas

Solo disponible en BuenasTareas
  • Páginas : 2 (338 palabras )
  • Descarga(s) : 0
  • Publicado : 9 de noviembre de 2011
Leer documento completo
Vista previa del texto
Proposiciones atómicas
Es una proposición que expresa que una cosa tiene una determinada propiedad o que unas cosas tienen una determinada relación.
Proposiciones moleculares
Es una proposiciónconstituida a partir de proposiciones atómicas mediante palabras que expresan conectores lógicos (no, si…entonces, y) y cuantificadores (para todo x, existe un x tal que…). Por ejemplo, una proposiciónde tipo “si hace frio, me pondré el abrigo” ejemplifica este tipo de proposiciones moleculares, en la medida en que incluye hechos atómicos-la temperatura y el llevar una determinada prenda, juntocon una conexión entre estos hechos que no es reducible, ella misma, a un hecho atómico.
La verdad o falsedad de las proposiciones moleculares se hallan totalmente determinada por la verdad de laspreposiciones atómicas.
Predicado
Es una función booleana, es una función del conjunto de la constantica, conjunto de las proposiciones lógicamente interpretables.
Símbolos del predicado
Se denotaP,Q,R.
Todo predicado tiene un numero n2N. el numero n es la variedad del predicado.

Disyunción

Disyunción significa separar o desunir. Tiene significados en lógica, filosofía, sematicalingüística y sintaxis , sin embargo todos son muy similares y se refieren a un operador sobre dos o más elementos que resulta en verdad si y solo si al menos un elemento es verdadero.

Conjunción

Unaconjunción lógica (comúnmente simbolizada como y o ˄ )es, en lógica y matemáticas, un operador lógico que resulta en verdadera si los dos operadores son verdaderos.

Negación

En lógica ymatemática, la negación también llamada complemento lógico, es una operación sobre proposiciones, valores de verdad, o en general, valores semánticos. Intuitivamente, la negación de una proposición es verdaderacuando dicha proposición es falsa o viceversa.

Condicional

Es una instrucción o grupo de instrucciones que se pueden ejecutar o no en función del valor de una condición. Los tipos más...
tracking img