Lgica Proposicional. Definicin.

Una proposicin es una oracin con valor referencial o informativo, de la cual se puede predicar su veracidad o falsedad, es decir, que puede ser falsa o verdadera pero no ambas a la vez.

La proposicin es la expresin lingstica del razonamiento, que se caracteriza por ser verdadera o falsa empricamente, sin ambigedades. Son proposiciones las oraciones aseverativas, las leyes cientficas, las frmulas matemticas, las frmulas y/o esquemas lgicos, los enunciados cerrados o claramente definidos. No son proposiciones las opiniones y suposiciones; los proverbios, modismos y refranes; los enunciados abiertos no definidos; las oraciones interrogativas, exclamativas, imperativas, desiderativas y dubitativas; las interjecciones en general; ni las operaciones aritmticas. El valor de verdad de una proposicin depende no solamente de las relaciones entre las palabras del lenguaje y los objetos en el mundo, sino tambin del estado del mundo y del conocimiento acerca de ese estado. El valor de verdad de la oracin Juan canta depende no solamente de la persona denotada en Juan y el significado del verbo cantar, sino tambin del momento cuando esta oracin es expresada. Juan probablemente canta ahora, pero ciertamente que no siempre est cantando. De la misma manera, debemos hacer una distincin entre la oracin gramatical propiamente dicha, a la que llamaremos enunciado, y el contenido o significado del enunciado, que es la proposicin. As los siguientes enunciados representan en realidad a la misma proposicin:

En Maracaibo hace mucho calor Maracaibo es una ciudad muy calurosa La temperatura media de Maracaibo es bastante alta El clima de Maracaibo es clido Maracaibo is a hot city

Las siguientes expresiones son ejemplos de proposiciones:

Bolvar libert a Venezuela El hierro es un mineral Einstein fue un fsico terico 36 + 63 = 99

La palabra "esdrjula" es esdrjula

Los siguientes son ejemplos de expresiones las cuales no son proposiciones

El hombre ms fuerte del mundo El director del peridico Quin se ganar el Kino! 13 + 7 T te callas! X obtuvo el Premio Nobel en 1970 Cunto cuesta ese reloj?

Las proposiciones se representan por letras minsculas: p, q, r, s, t, u, etc. Por ejemplo, sea la proposicin q igual a 34 + 56 = 90

CLASIFICACION Proposiciones Simples o Atmicas Son aquellas que carecen totalmente de conectivos lgicos y que, por lo tanto, son inseparables. En este grupo se encuentran las proposiciones predicativas, que son aquellas en la cual se afirma o atribuye una caracterstica respecto de un objeto, como por ejemplo, Juan Prez es profesor; y las proposiciones relacionales, en las cuales existe una relacin de dependencia, estableciendo un enlace entre dos o ms objetos, como por ejemplo, Caracas es la capital de Venezuela. Proposicin Compuesta o Molecular Son aquellas que resultan de la combinacin de varias proposiciones simples, unidas por uno o ms conectivos lgicos y que pueden ser separadas y descompuestas en proposiciones ms simples. Su valor de verdad depende del de las proposiciones que la componen.

CONECTIVOS LGICOS NEGACION

Tabla de Verdad de la Negacin

CONJUNCIN

Tabla de Verdad de la Conjuncin

DISYUNCION INCLUSIVA

Tabla de Verdad de la Disyuncin Inclusiva

DISYUNCION EXCLUSIVA

Tabla de Verdad de la Disyuncin Exclusiva

IMPLICACIN

Tabla de Verdad de la Implicacin EQUIVALENCIA

Tabla de Verdad de la Equivalencia

Fuente:
http://images.google.co.ve/imgres?imgurl=http://bp0.blogger.com/_vTprQ5YcFi4/R6Yv8izmdOI/AAAAAAAAAIM/Mjjjx 7NbzLk/s400/Disyuncion%2BInclusiva.jpg&imgrefurl=http://webatario.blogspot.com/2008/02/proposicinlgica.html&h=196&w=170&sz=5&hl=es&start=3&tbnid=_tAqKKsGPiFA3M:&tbnh=104&tbnw=90&prev=/images%3Fq%3Dt ablas%2Bde%2Bverdad%252Bl%25C3%25B3gica%252Bconjunci%25C3%25B3n%252Bdisyunci%25C3%25B3n%26gbv%3D2%26h l%3Des%26sa%3DG

Tabla 1.

Fuente:
http://images.google.co.ve/imgres?imgurl=http://bp1.blogger.com/_klzDcucOp9c/R9yCoIbf22I/AAAAAAAAABk/hvqFvH1O3lo/s 320/TABLA%2BDE%2BVERDAD.jpg&imgrefurl=http://lionelhenriquezb.blogspot.com/2008/03/lgica-elementalsimblica.html&h=137&w=320&sz=13&hl=es&start=17&tbnid=4gT2yi4_PFkHqM:&tbnh=51&tbnw=118&prev=/images%3Fq%3 Dtablas%2Bde%2Bverdad%252Bl%25C3%25B3gica%252Bconjunci%25C3%25B3n%252Bdisyunci%25C3%25B3n%26gbv%3D 2%26hl%3Des%26sa%3DG