Professional Documents
Culture Documents
( p . q )
Su tabla de verdad es:
p q
( p
+
q )
V
V
F
F
V
F
V
F
F
F
F
V
8
DISYUNCIN EXCLUSIVA.- Es la unin de dos o ms proposiciones mediante el conectivo lgico
o.
Regla.- Es verdadera la proposicin cuando la primera proposicin es verdadera y la segunda es
falsa o cuando la primera proposicin es falsa y la segunda verdadera.
Nomenclatura.- Se lee o p o q, pero no ambos.
Ejemplos:
Carmen es hija de Jos de Vicente
Simblicamente tenemos:
p: Carmen es hija de Jos V(p) = V
q: Carmen es hija de Vicente V (q) = V
En consecuencia: V (p v q) = F
(p v q) que se lee: p q, pero no ambas.
25
= 6 o 3 + 9 = 7
p:
25
= 6 V (p) F
q: 3 + 9 = 7 V 8q) = F
En consecuencia: V (p v q) = F
DISYUNCIN NEGATIVA.-
Regla.- El enunciado es falso cuando las proposiciones simples que la forman son verdaderas.
Nomenclatura.- p / q; que se lee no no q.
Ejemplo: No eres pintor o no eres artista p / q
p: eres artista V (p) = V
q: eres pintor V ( q) = V
En consecuencia:
V (p / q) = F
9
p: no eres artista V (p) = F
q: no eres pintor V (q ) = F
Consecuentemente:
V (p v q) = F
Luego: p / q
~
(p v q )
Su tabla de verdad es:
p q ( p / q )
V
V
F
F
V
F
V
F
F
V
V
V
CONDICIONAL.- Viene a ser la combinacin de dos proposiciones con si entonces.
Regla.- Una proposicin condicional es falsa cuando la primera proposicin es verdadera y la
segunda es falsa. Es verdadera en cualquiera de las otras formas
Nomenclatura.- Se lee si p entonces q.
Ejemplo:
P: Si me saco la lotera
Q: Te regalar un carro
P Q: Si me saco la lotera entonces te regalar el carro.
10
BICONDICIONAL.- Es la unin de dos proposiciones por si y slo si.
Regla.- Una proposicin bicondicional es verdadera cuando, o sus dos componentes son
verdaderos o sus dos componentes son falsos.
Nomenclatura.- Se lee p si y slo si q.
Ejemplo
P: Simn Bolvar vive
Q: Montalvo est muerto
P Q: Simn Bolvar vive si y solo si Montalvo est muerto.
Tabla resumen:
11
1.4. POLINOMIOS BOOLEANOS.
VARIABLES LGICAS
Si las letras p, q, r, etc. Designan un elemento cualquiera del conjunto de proposiciones, es decir
pueden designar indistintamente a cualquier elemento, entonces se dice que p, q, r, etc. Son
variables lgicas.
EJEMPLO:
p: Quito es la capital del Ecuador
q: Quito es Luz de Amrica
r: Todo tringulo tiene cuatro lados
p: Todo tringulo tiene cuatro lados
q: Quito es la capital del Ecuador
r: Quito es Luz de Amrica
Como podemos observar si las letras p, q, r, con o sin subndices, designan a cualquier proposicin,
entonces se llaman Variables Lgicas
Podemos construir Polinomios Booleanos, coordinando proposiciones mediante los operadores o trminos
lgicos.
EJEMPLO:
1. P ~q
2.(p v q) ~ (~ p)
3.(p v q) (p q)
4.(p v q) (q p)
5.p q ~ p v q
6.P p q q p
En general, los polinomios booleanos se construyen combinando las variables lgicas con los operadores o
trminos lgicos.
Es decir, al polinomio booleano se le conoce tambin como proposicin compuesta o con el nombre de
frmula.
FUENTE: http://cafpolinomiosbooliano.blogspot.com/2013/05/booliano-variables-logicas-si-las.html
1.5. TABLAS DE VERDAD.
Fue desarrollada por Charles Sanders Peirce por los aos 1880, pero el formato ms popular es el
que introdujo Ludwig Wittgensteinen su Tractatus logico-philosophicus, publicado en 1921.
La tabla de los "valores de verdad", es usada en el mbito de la lgica, para obtener la verdad (V) o
falsedad (F), de una expresin o de una proposicin. Adems sirven para determinar si es que un
determinado esquema de inferencia es formalmente vlido como un argumento, llegando a la
12
conclusin de que ste es una tautologa (cuando todos los valores de la tabla mencionada son "V"
o sea verdadero).
Estas tablas pueden construirse haciendo una interpretacin de los signos lgicos como: no, o, y,
sientonces, s y slo si. La interpretacin corresponde al sentido que estas operaciones tienen
dentro del razonamiento.
Ejemplo: Video.
p ^ q --> p
p q p^q p^q-->p
V V V V
V F F V
F V F V
F F F V
TAUTOLOGA
Ejercicio: Juan partir para Japn, si Mara se queda en Venecia. Rosa viajar a Luxemburgo o Juan
no partir para Japn. O Mara no se queda en Venecia o Rosa no viajar a Luxemburgo. Por
consiguiente, Mara no se queda en Venecia.
Juan Japn: p
Mara Venecia: q
Rosa Luxemburgo: r
((q -> p) & (r v p)) & (q v r) -> q
( ( q -> p ) & ( r v p ) ) & ( q v r ) -> q
V V V
V
V V F V
F
F V F F V
V F V
V V V
F
F F F V
F
F V V V F
V F V
F V V
V
V V F V
V
V F V F V
V V F
F V V
F
F F F V
F
V F V V F
V V F
V F F
F
V V V F
F
F V F F V
V F V
V F F
F
F V V F
F
F V V V F
V F V
F V F
V
V V V F
V
V F V F V
V V F
F V F
V
F V V F
V
V F V V F
V V F
TAUTOLOGA
Ejercicios para resolver:
13
1. p ^ q --> p
2. p v p --> r
3. p v (q --> r)
4. (p --> q) ^ (q --> r) --> (p --> r)
5. p --> (q --> r)
6. p v q --> (r v s --> p)
7. p ^ q --> q ^ p
8. (p --> q) ^ p --> q
9. (p --> q) ^ p ^ q
10. (p --> q) ^ (p --> q)
11. (p --> q) ^ q --> p
12. (p --> q) ^ q --> p
13. (p --> q) ^ p --> q
14. (p ^ q) <--> p ^ q
15. (p ^ q) <--> p v q
16. [(p --> q) ^ (q --> r)] ^ (p --> r)
17. p --> (q ^ r) --> q)
18. (p v q) <--> r v q
19. (p v q) <--> p v r
20. (p --> q) <--> p ^ r)
1.6. ORDEN DE LOS OPERADORES LGICOS.
OPERADOR LGICO LGICA SIMBLICA TERMINOLOGA LGICA
Negacin no
Conjuncin . y
Disyuncin v o
Disyuncin exclusiva v o en sentido excluyente
Conjuncin negativa + ni.ni
Disyuncin negativa / nono
Condicional Si., entonces
Bicondicional Si y slo si
14
1.7. TAUTOLOGA, CONTRADICCIN Y CONTINGENCIA
TAUTOLOGA.- Son los polinomios booleanos cuyos valores de verdad en la columna de la respuesta
son todos verdaderos, se le conoce tambin como verdad lgica.
CONTRADICCIN Son los polinomios booleanos cuyos valores de verdad en la columna de la respuesta
son todos falsos, se le conoce tambin como antitautologa, contradiccin, falsedad lgica o falacia.
CONTINGENCIA Son los polinomios booleanos cuyos valores de verdad en la columna de la respuesta son
verdaderos y falsos.
FUENTE: http://cafpolinomiosbooliano.blogspot.com/2013/05/booliano-variables-logicas-si-las.html
http://auladefilosofia.net/2008/10/25/ejercicios-resueltos-de-tablas-de-verdad-y-formalizacion/
1.8. EQUIVALENCIA E IMPLICACIN LGICA
Existe un conjunto de equivalencias e implicaciones lgicas que pueden utilizarse como esquemas
de sustitucin en procesos de razonamiento, o como esquemas de razonamientos vlidos
respectivamente. A continuacin se muestra un breve resumen de las ms importantes:
15
1.9. LEYES DEL LGEBRA DE LAS PROPOSICIONES
ALGEBRA PROPOSICIONAL.
Una proposicin es una declaracin la cual puede ser verdadera o falsa, por ejemplo: 5 > 4, 2+2=5,
Pedro comi a las 3, Me gusta la sopa. Algunas veces es ms difcil que otras determinar si la
declaracin o proposicin es verdadera o falsa, en otras palabras, si toma el valor de verdad o
falsedad. Sin embargo, esto no cambia el hecho de que existe slo una posibilidad, ya sea que la
propuesta puede que sea verdadera o sea falsa.
16
Algunas declaraciones que no califican con este criterio son Tu sweater es bonito, = 9, Cmo
dijiste?.
Esta definicin propuesta es una definicin formal, esto es, una definicin que se ha hecho
cuidadosamente para que todas las posibilidades queden cubiertas; se ha hecho de este modo con
el fin de que no existan ambigedades ni malentendidos. En muchas ocasiones, se utilizan letras
para representar las proposiciones. Se dice que una proposicin es simple o atmica, si no est
compuesta por otra proposicin. Las Proposiciones compuestas se pueden crear combinando
conectores con proposiciones simples.
LEYES DEL ALGEBRA DE PROPOSICIONES
Las leyes de la algebra de proposiciones son equivalencias lgicas que se pueden demostrar con el
desarrollo de las tablas de verdad del bicondicional. Las leyes del algebra de proposiciones son las
siguientes:
1. EQUIVALENCIA
PP
2. INDEPOTENCIA
PP P
P P P
3. ASOCIATIVA
PQ R (PQ) R P(QR)
PQ R (PQ) R P(QR)
4. CONMUTATIVA
PQ QP
PQ QP
5. DISTRIBUTIVAS
P(QR) (PQ)(PR)
P(QR)(PQ)(PR)
6. IDENTIDAD
PF F
PV P
PF P
PVV
7. COMPLEMENTO
PPF
PPV
(P)P
FV
VF
8. DE MORGAN
(PQ) PQ
(PQ)PQ
17
9. ABSORCION
P(PQ)P
P(PQ)P
FUENTE: http://lgicaepn.blogspot.com/2011/12/leyes-del-algebra-de-proposiciones.html
18
1.10. APLICACIONES
CUANTIFICADOR EXISTENCIAL Y UNIVERSAL (VIDEO)
Cuantificadores: En lgica, teora de conjuntos y matemticas en general,los cuantificadores son smbolos utilizados
para indicar cuntos elementos de un conjunto dado cumplen con cierta propiedad.
Cuantificadores Existenciales: La cuantificacin existencial de P(x) Es la proposicin en que existe un
elemento x en el universo de discurso tal que P(x) es verdad.
Se denota con el smbolo x y se lee de las siguientes maneras: hay un x tal que), hay al menos un x tal que..." o
"para algn x...".
Ejemplo:
Sea A= {1,2,3,4,5} Determine el valor de verdad de cada uno de los enunciados siguientes:
a) ( x A)(x+3=10)
sol: es falso porque ningn nmero de A es una solucin de x+3=10.
b) ( x A)(x+3<10)
sol: es Verdadero. cualquier nmero de A cumple que x+3<10
Cuantificadores Universales: Indican que algo es cierto para todos los individuos.
Sea A una expresin y sea x una variable. Si deseamos indicar que A es verdadero para todos los posibles valores de x,
escribiremos (x) A.
Ejemplos:
- Todos los humanos respiran
( x) (H(x) R(x)) donde el predicado H significa humanos, R respiran y x es un elemento de un dominio general que
podra ser el de las personas o cualquier subconjunto deseado.
- Todos los alumnos son estudiosos
( x) (A(x) E(x)) donde el predicado A significa alumno, E estudioso y x es un elemento de un dominio general que
podra ser el de las personas o cualquier subconjunto deseado.
Representacin de cada cuantificador
- Cuantificador Universal ()
- Cuantificador Existencial ()
19
FUENTES.-
http://estructuradiscretaunerg.blogspot.com/2013/06/cuantificadores-cuantificadores.html
ANLISIS MATEMTICO: Jorge Lara y Jorge Arroba, Centro de Matemtica Universidad Central del
Ecuador.
LGICA MATEMTICA: http://lgicaepn.blogspot.com/2011/12/logica-matematica.html
RESEA HISTRICA: http://logicamatematica1.wordpress.com/2010/08/07/historia-de-la-logica-
matematica/
PROPOSICIONES: http://www.monografias.com/trabajos81/algebra-logica-introduccion-
proposiciones/algebra-logica-introduccion-proposiciones.shtml
ALGEBRA PROPOSICIONAL: http://lgicaepn.blogspot.com/2011/12/leyes-del-algebra-de-
proposiciones.html, http://lgicaepn.blogspot.com/2011/12/logica-matematica.html