Professional Documents
Culture Documents
Lgica
Las partculas lgicas: fundamentalmente son los cuantificadores las conectivas con ellas se
forman los discursos.
Lgica Proposicional
Es una rama de la lgica clsica que estudia las variables proposicionales o sentencias
lgicas, sus posibles implicaciones, evaluaciones de verdad y en algunos casos su nivel
absoluto de verdad. Algunos autores tambin la identifican con la lgica matemtica o la
lgica simbolice, ya que utiliza una serie de smbolos especiales que lo acercan al lenguaje
matemtico.
1. Enunciados o proposiciones
Qu es uno enunciando o una proposicin? Una oracin declarativa que puede ser
verdadera o falsa. Los enunciados dicen de las cosas y, consecuentemente, pueden ser
verdaderos o falsos. No son enunciados las expresiones lingsticas interrogativas,
exclamativas o imperativas.
Los enunciados o proposiciones pueden ser atmicos o simples, los que no se pueden
descomponer en otros; y moleculares o complejos, los que s se pueden descomponer.
ENUNCIADO
Se llama as a cualquier frase u oracin.
Por ejemplo:
Auxilio, me ahogo!
(Exclamativa)
No conversen en clase
(Desiderativa)
Qu da es hoy?
(Interrogativa)
PROPOSICIN:
Son aquellos enunciados
afirmativos
del cual se sabe que tiene dos
valores de la verdad mutuamente excluyentes: verdadero o falso.
Las
proposiciones se representan por las letras minsculas: p, q, r, s,
t, .... pero
tambin se usa la notacin: p
1
,p
2
,p
3
,p
4
,p
5
,.....
As por ejemplo tenemos las siguientes proposiciones:
p
1
: Caracas es la capital de Venezuela
luego:
v(p
1
)=V
1. LOGICA PROPOSICIONAL:
El ser humano en la vida diaria, se comunica con sus semejantes a travs de un
lenguaje determinado (oral, escrito,..., etc.) por medio de las denominadas frases u
oraciones, estas pueden tener diferentes significados pero siempre van a resumirse a
las formas de verdaderas o falsas, siendo este el precedente fundamental para el
desarrollo del pensamiento humano. Lo importante en el presente estudio es el hecho
de que, a partir de los enunciados (frases u oraciones) y de acuerdo a su significado
es posible establecer una proposicin y a partir de un conjunto de estas podemos llegar
a una conclusin, siendo la ciencia encargada del estudio de estas, la lgica.
Ejemplos:
1) Prohibido fumar.
2) x2+y29
4) 4x 1= 5
5) Qu hora es?
10) Auxilio!
11) Detngase.
Ejemplos:
VALOR DE
VERDAD
REPRESENTACIN PROPOSICIN
SIMBLICA
p: -4+3=7 F
Ejemplos:
Los enunciados que usan las palabras el, ella o las letras x, y, z, ...
, etc. No tienen la propiedad de ser verdaderos o falsos, es decir, no son proposiciones.
Pero, si a estas palabras o letras se les asigna un determinado objeto o valor, llamado
constante, el resultado es una proposicin. A este tipo de enunciados se les denomina
enunciados abiertos.
Ejemplos:
- x3>7
- 5x + 3y = 2
Clases de proposiciones
Ejemplos:
El cielo es azul.
Ejemplos:
Una proposicin es compuesta si se puede partir en partes constitutivas que son a su vez
proposiciones simples y estn unidas por conectivos lgicos.
q = Mara se enojo
Por lo pronto vamos a considerar las siguientes conectivas (conectores lgicos), signos de
importancia para el manejo de las traducciones al simbolismo lgico, as como para la
determinacin de verdad o falsedad de las proposiciones. El trmino "conectivas" se refiere
a ciertas conjunciones lgicas que gobiernan las distintas frmulas lgicas. Recordemos lo
siguiente, segn Moiss Chong: "llamamos proposiciones coligativas a aquellas
proposiciones compuestas, es decir, son proposiciones que consisten en la unin de dos o
ms proposiciones", Y as, como se vio en el ejemplo anterior, la unin de las
proposiciones componentes se efecta mediante las conjunciones. La caracterstica
fundamental de toda proposicin coligativa es que su verdad depende de la verdad de las
proposiciones coligadas. He aqu las conectivas ms corrientes:
a. La negacin
b. La conjuncin
c. La disyuncin inclusiva
d. La disyuncin exclusiva
e. La condicional
f. La bicondicional