Proposiciones

Tipos de Proposiciones

-----------------

Aseverativas-afirmar o negar

Desiderativas-Expresar deseo

Interrogativa-Formular pregunta

Admirativas-Sopresa o admiracion

Imperativa-exhortacion y mandato

De todaa estas clases de oraciones la logica solo toma en cuenta la aseverativa ya que esta afirma o niega

Las propsiciones pueden ser de dos tipos

atomicas

simples

moleculares

compuestas

Atomica

Las proposiciones atomicas carecen de conjunciones gramaticales tipicas o conectivas (y, o, si,.... enton ces , si y solo si, no

Las proposiciones atomicas pueden clasificarse en predictivas y relacionales:

Predictivos: Consta de un sujeto y un predicado

Relacionales: de dos o mas sujetos entre si

Ejemplo:
Cervantes escribio el Quijote

Moleculares

Las propsiciones Moleculares contienen alguna proposicion gramatical tipica o conectiva o el adverbio no

Las proposiciones se clasifican en

Conjuntivas (conjunciones): y
Disyuntivas(Disyuncion): o
Condicional(condicional): si... entonces
Bicondicional:si y solo si
Negativa(negacion):no

Conjuntivas estas llevan la conjuncion copulativas y o sus expresiones equivalentes como : e, pero, aunque, aun, cuando, tanto... como, sino, sin embargo, ademas

Disyuntivas llevan o y sus expresiones equivalentes como: u,ya...ya, bien...bien,ora...ora sea...sea, o

Bicondicionales llevan la conjuncion compuesta:
si y solo si, o sus expresiones equivalentes como: cuando y solo cuando, si... entonces y solo entonces

Las propsociones condicionales llevan a la conjuncion condicional compuesta si... entonces o sus expresiones equivalentes si, siempre,que, con tal que, puesto que, ya que, porque,cuando, de, a menos que , a no ser que, etc.

llevan conjunciones no

Ejemplo:Cervantes escribio el Quijote y Julio Cesar fue emperador Romano

Lenguaje Natural

Es lenguaje usado en la vida familair, en la vida cotidiana, tiene una amplia gama de expresiva,es decir, sirve para comunicar informaciones formular ordenes , espresar deseos, sentimientos.

Lenguaje Formalizado

es el lengiaje usado en actividad cientifica. Solo sirve para formular conocimientos. Es un lenguaje especailizado que pertenecen a este lenguaje de logica y matematico

Este Lenguaje se denomina formalizafo porque si propiedad mas importante es de revelar la forma o estructira de las proposiciones e inferencias

este contsa de

Variables Proposicionales

Operadores o conectores logicos