Consultas

Solo disponible en BuenasTareas
  • Páginas : 3 (640 palabras )
  • Descarga(s) : 0
  • Publicado : 9 de noviembre de 2011
Leer documento completo
Vista previa del texto
Proposición molecular
Es una proposición constituida a partir de proposiciones atómicas mediante palabras que expresan conectores lógicos («no», «si... entonces», «y») y cuantificadores («para todox», «existe un x tal que...»). Por ejemplo, una proposición del tipo «si hace frío, 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-, junto con una conexión entre estos hechos que no es reducible, ella misma, a un hecho atómico.
La verdad o falsedad de las proposicionesmoleculares se halla totalmente determinada por la verdad o falsedad de las proposiciones atómicas.
Proposición atómica
Es una proposición que expresa que una cosa tiene una determinada propiedad o que unascosas tienen una determinada relación.
EJEMPLO:
Luis es un buen jugador
Felipe es alegre
Camila hizo la tarea
predicado
el predicado es aquella parte de la oración cuyo núcleo es el verbo y querefiere un comentario acerca del sujeto con el cual conforman una oración simple. El predicado es indispensable para que la oración bimembre exista y para que la misma presente sentido.Simbolización de un predicado

Reglas de simbolización

La expresión Px denota cualquier proposición o función proposicional.
Siendo P un predicado que se aplica a una variable individual x.
P = sercuadrado; x = cualquier cosa; Px = cualquier cosa cuadrada
Una función proposicional sin cuantificación alguna no puede tener valor de verdad V o falsedad F y no es, por tanto, una proposición
La expresiónPa denota la ocurrencia de Px en a. Siendo a, b, c, d, e…. constantes individuales.
P = ser cuadrado; a = esta mesa; Pa = Esta mesa es cuadrada
En este caso Pa es una proposición singular, en que x= a, y Pa puede tener valor V o F.
Una proposición no puede tener ocurrencias libres, variables sin cuantificar, para poder tener valor V o F.
La sustitución de una variable x en una función...
tracking img