Vous êtes sur la page 1sur 9

: Concepcin de logica

,
,En lgica, Ockham trabaj en direccin a lo que ms tarde se llamara Leyes
de De Morgan y lgica ternaria, es decir, un sistema lgico con tres valores de
verdad, concepto que sera retomado en la lgica matemtica de los siglos XIX
y
XX.
En lgica, un valor de verdad es un valor que indica en qu medida una
declaracin
es
verdad.
En lgica clsica, los nicos valores de verdad posibles son verdad y falsedad.
Sin embargo, otros valores son posibles en otras lgicas. Una lgica
intuicionista simple tiene valores de verdad, falsedad y desconocido; mientras
que la lgica difusa y otras formas de lgica multi-valuada tambin utilizan ms
valores de verdad que simplemente verdadero y falso.
Las proposiciones forman parte de la forma ms simple o elemental de la
lgica, y se puede enfocar en la lgica matemtica. Esta lgica, no profundiza
en los conceptos de las proposiciones, solo se gua en lo ciertas o falsas que
sean.
Se le ha denominado como Lgica de las proposiciones sin analizar y se
puede catalogar como una lgica superficial.
Tipos de proposicin:
Las proposiciones se pueden dividir en dos tipos bsicos:
1.- Proposicin simple.
En la proposicin simple, se da una afirmacin con el resultado implcito
a) El gorro azul.
2.-

Proposicin compuesta.

En la proposicin compuesta se da la proposicin lleva las interjecciones o


conexiones (y- o) y de esta se pueden separar oraciones como:
a)
b)

El
lpiz
es
rojo
Hctor es comerciante y Vctor es abogado.

amarillo.

Una proposicin debe tener la cualidad de ser verdadera o falsa y una oracin
o concepto que no tiene uno u otro sentido no puede ser considerado como
proposicin lgica; es as que la lgica proporcional en su concepto previo solo
puede tener tres elementos:
1. Proposicin
2. Valor verdadero o
3. Valor falso
Ejemplos de proposicin:
1.- Proposicin simple:
1. Un caballo negro.
2. l est dormido.
3. Mi computadora.
4. Es un telfono.
5. Est lloviendo.
6. Un da nublado.
7. Usa zapatos.
8. Se est peinando.
9. Lava su ropa.
10. Est planchando.
11. Vamos a comer.
12. Va a leer.
13. Sali el sol.
14. Va caminando.
15. Djalo hablar.
Valor de verdad
En lgica, un valor de verdad es un valor que indica en qu medida una declaracin
es verdad. En lgica clsica bivalente los valores de verdad slo son dos, usualmente
designamos verdadero y falso (y a veces representados por pares como (1,0) o (V,F),
etc.). Sin embargo la lgica polivalente el conjunto de valores de verdad incluye otras
posibilidades, e incluso en lgica modal la descripcin del valor de verdad requiere la
nocin ms compleja de mundos posibles. En lgica difusa por ejemplo el valor de
verdad

es

cualquier nmero

real en

el intervalo

cerrado [0,1].

,
,
,
,
,
CONECTIVOS LGICOS
A partir de los conectores u operadores lgicos, listado anteriormente, es
posible formar proposiciones compuestas (formadas por varias proposiciones
simples y conectadas entre s por los conectores lgicos), sin embargo los
criterios de verdad resultantes de los operadores lgicos estn regidos por
determinadas reglas de la lgica booleana que sealaremos a en forma
posterior.
,
Pero para ser ms preciso es necesario tener en cuenta que las proposiciones
simples estn determinadas por condiciones dialcticas de tiempo y espacio.
Por ejemplo si se seala "llueve y no tengo paraguas", al construir la tabla de
verdad es necesario resolver en dnde? y cundo? La afirmacin "llueve" se
entiende en que es en ese momento y ese lugar y con una simple mirada al
cielo sabemos si es cierto o falso. Hechas estas observaciones pasamos a
revisar las reglas especficas que rigen a cada conector lgico.

Proposiciones
Simples
Son aquellas que no tienen oraciones componentes afectadas por
negaciones ("no") o trminos de enlace como conjunciones ("y"),
disyunciones ("o") o implicaciones ("si . . . entonces"). Pueden aparecer
trminos de enlace en el sujeto o en el predicado, pero no entre
oraciones.
Proposiciones
Compuestas
Una proposicin ser compuesta si no es simple. Es decir, si est
afectada por negaciones o trminos de enlace entre oraciones
componentes.
Ejemplos
Ensayemos una lista clasificada y luego algunas aclaraciones:
1) Carlos Fuentes es un escritor.
(Simple)
2) Sen(x) no es un nmero mayor que 1.
(Compuesta)
3) El 14 y el 7 son factores del 42.
(Simple)
4) El 14 es factor del 42 y el 7 tambin es factor del 42.
(Compuesta)
5) El 2 o el 3 son divisores de 48.
(Simple)
6) El 2 es divisor de 48 o el 3 es divisor de 48.
(Compuesta)
7) Si x es nmero primo, entonces x impar.
(Compuesta)

8) Si x > 10, entonces 2x - 3 > 16.


9) No todos los nmeros primos
(Compuesta)

son

(Compuesta)
impares.

Una proposicin compuesta es una frase que consta de uno o


varios sujetos y de un predicado que afirma algo en torno a
dichos sujetos.Los sujetos de una proposicon simple deben
ser todos terminos singulares. El predicado debe contener un
verbo que exprese la accion sobre lossujetos.En matematicas
se usan ciertos simbolos para representar predicados de uso
frecuente como: el simbolo _, como representante del
predicado es igual a , y el simbolo < como sustituto de
es menor que.
Ejemplo:
Antonio se dedica a la natacin o al alpinismo
Se entiende de las dos siguientes maneras:
1.- Antonio se dedica a la natacin o al alpinismo ( o a ambos)
(ejemplo de disyuncion inclusiva)
2.- Antonio se dedica a la natacin al alpinismo ( pero no a ambos)
(ejemplo de disyuncion exclusiva)
Toda disyuncin afirma que es cierto lo que afirma por lo menos una
de sus componentes esto se define en cuanto a su interpretacin
conjucion
,Una Conjuncin o Nexo es una clase de palabra que:

sintcticamente
funciona
entrepalabras (Mario y Mara), sintagmas (Mi
tuyo) u oraciones (Luchar para ganar)

morfolgicamente es una palabra invariable

semnticamente no posee significado


Tipos
y
Ejemplos
de

como

enlace
perro y el

Conjunciones:

Conj. Coordinantes: unen palabras, sintagmas uoraciones independientes

Conj. Copulativas: indican suma o acumulacin (y, e, ni, que) Ella


habla y l
escucha;
Mara y Pablo
aprobaron
el
examen;
Padres e hijos; Ni t ni nadie puede convencerlo; Ni estudia ni trabaja; Re que re

Conj.
Disyuntivas: indican
opcin
o
eleccin
(o,
u,
o
bien) Estudias o trabajas?; Dame siete u ocho (se usa "u" si la siguiente
palabra empieza por "o / ho"); Puedes llamarme a casa o bien al trabajo

Conj. Adversativas: indican oposicin (pero, mas, aunque, sino, sin


embargo...) Habla mucho pero no escucha; Estamos en verano, mas hace fro;
No lo hizo; Juan sino Pedro; Ir a clase aunque est lloviendo

Conj. Explicativas: aclaran o explican ideas (es decir, esto


es...) Habla, es decir, se comunica; Somos omnvoros, o sea, comemos de todo

Conj.
Distributivas: indican
alternancia
(ya...ya;
bien...bien...) Ya descansa en la cama, ya en el sof; Bienre, bien se pone

triste; Unas veces se


uno, ora baila con otro

muestra

contenta, otras se

desespera; Ora baila

,
disyuncin exclusiva
Podemos definir la disyuncin exclusiva a travs de la funcin de verdad de
sus conectivas lgicas: Una disyuncin solamente es verdadera cuando ambas
frases tienen valores diferentes de verdad; es decir, cuando o una u otra es
verdadero, mas no si ambos son verdadero o falso. La frase latina de la
disyuncin exclusiva es "aut - aut".
Ejemplos:

Sea la proposicin molecular: "El cielo es azul o 12 es un nmero par"


p = "El cielo es azul" (verdadera) , q = "12 es un nmero par" (verdadera)
por ser ambas verdadera la disyuncin inclusiva entre ellas es verdadera.
Sea la proposicin molecular: "El nmero 1 es el elemento neutro de la
suma o 44 es un nmero par"
p = "El nmero 1 es el elemento neutro de la suma" (falsa) , q = "44 es un
nmero par" (verdadera)
Por tanto, la disyuncin inclusiva entre ellas es verdadera, ya que una de
ellas es verdadera.

Sea la proposicin molecular: "La navidad se celebra en agosto o 13 es


un nmero par"

p = "La navidad se celebra en agosto" (verdadera) , q = "13 es un nmero par"


(falsa)
Por tanto, la disyuncin inclusiva entre ellas es falsa, ya que ambas no son
simultneamente falsa.
condicional
adj.
1 Que depende de una o ms condiciones o requisitos: libertad condicional.
2
Se aplica a la proposicin subordinada que expresa una condicin para
que se efecte la accin, el proceso o elestado expresado por la oracin
principal.
Ejem.
3 , en la oracin ''si llueve, saldremos igualmente, ''si llueve es u
nacondicional.

bicondicional
adj. LG. Operador de la lgica proposicional que significa si y solo si....

con

,
Ejemplos?
Si consideramos slo la negacin oracional (Neg), el sujeto (S), el objeto (O) y
el verbo (V) de la oracin y designamos por un nmer de 1 a 4 la posicin de la
negacin se tienen los siguientes configuraciones, sealadas segn su
frecuencia relativa::: NE, no encontrado; dudosa, slo se ha encontrado algn
caso dudoso.: Orden de frecuencias: comn rara dudosa NE. I. Bosque y
J.Negacion
En lgica y matemtica, la negacin, tambin llamada complemento
lgico, es una operacin sobre proposiciones, valores de verdad, o en
general, valores semnticos. Intuitivamente, la negacin de una proposicin
es verdadera cuando dicha proposicin es falsa, y viceversa. En lgica
clsica la negacin est normalmente identificada con lafuncin de
verdad que cambia su valor de verdadero a falso y viceversa. En Lgica
intuicionista, de acuerdo a la interpretacin de BrouwerHeyting
Kolmogorov, la negacin de una proposicin p es la proposicin cuyas
pruebas son las refutaciones de p.
, En lgica y matemtica, la negacin, tambin llamada complemento
lgico, es una operacin sobre proposiciones, valores de verdad, o en
general, valores semnticos. Intuitivamente, la negacin de una proposicin
es verdadera cuando dicha proposicin es falsa, y viceversa. En lgica
clsica la negacin est normalmente identificada con lafuncin de
verdad que cambia su valor de verdadero a falso y viceversa. En Lgica
intuicionista, de acuerdo a la interpretacin de BrouwerHeyting
Kolmogorov, la negacin de una proposicin p es la proposicin cuyas
pruebas son las refutaciones de p.
.valores y tabla de verdad de las proposiciones compuestas
,
,
,
,
,

Construccin de tabla de verdad

Las tablas de verdad se definen como un esquema que muestran como los
valores de verdad de proposiciones moleculares dependen de los valores de
verdad de las proposiciones atmicas que la componen y de los conectivos
lgicos empleados.
stas tablas bsicas de verdad indican rpidamente si una proposicin
molecular es cierta o falsa, si se conoce la veracidad o falsedadde las
proposiciones atmicas que la componen.
FORMAS DE CONSTRUCCIN DE TABLAS DE VERDAD:
Paso 1: colocar las combinaciones de valores de verdad debajo de cada
variable.
La frmula del calculo es 2n (la n va arriba del 2) donde: * 2= representa los
valores de certeza ( V o F).
* n = nmero de proposiciones atmicas.
[ ( P ^ Q) > ( P)] v ( Q)
Tenemos dos variables P y Q
Entonces 2 al cuadrado = 4
PQ
VV
VF
FV
FF
Paso 2: Transformar los valores de verdad tomando en cuenta la negacin (si
los hay)
Ejemplo: [ ( P ^ Q)> (P)] v ( Q)
PQ
FF
FV
VF
VV
Paso 3: Se calula primero el calor de verdad de los parntesis tomando en
cuenta las definiciones del conectivo lgico.
Ejemplo: [( P ^ Q)-> ( P)] v (Q)
P^Q
V
F
F
F
Paso 4: Se compara el resultado del valor de verdad del parntesis con el
valor de verdad del corchete (si lo hay)
Paso 5: Se compara el resultado de ese valor de verdad del corchete con el de
las llaves (si lo hay)
(P ^ Q)> (P) [(P ^ Q)-> P] vQ
FF
VV

VV
VV
Luego de haber cumplido con esta serie de pasos habremos obtenido un
resultado en la columna final de nuestra tabla de verdad la cual podremos
calificarla como una teutologia, contingencia o contreadiccin.
Tautologia= una proposicin molecular es una tautologia slo si el resultado de
la columna final, independientemente de los valores de certeza de sus
proposiciones atmicas que la componen, es siempre verdadero.
Ejemplo
P Q Q (P ^ Q) P> (Q) (P ^ Q) v (P>Q)
VVFVFV
VFVFVV
FVFFVV
FFVFVV
Contingencia= una frmula proposicional es contingencia o indeterminacin, si
y slo si, ella es verdadero o falso no importa cules sean los valores de
verdad de sus componentes, ni en que proposicin.
P Q (P>Q) (Q v P) (P> Q) ^ ( Q v P)
VVVVV
VFFVF
FVVVV
FFVFF
Contradiccin= una proposicin molecular es una contradiccin, si slo si ella
es simpre falsa, no importa cules sean los valores de verdad de sus
componentes.