Estructuras Dicretas

Evaluación
Evaluación Primer Parcial

Examen práctico → 50%

Trabajos prácticos → 50%

Evaluación Segundo Parcial

Examen práctico → 50%

Trabajos prácticos → 50%

Evaluación Tercer Parcial

Examen práctico → 50%

Trabajos prácticos → 50%

Tanto en su vida diaria como, sobre todo, en la investigación
científica, el hombre debe muchos de sus éxitos o fracasos a
la eficacia de sus argumentos (o “ razonamientos” ). Cuando
construye “ buenos” argumentos, éstos le permiten conocer
mejor la realidad, en tanto que un “ mal” argumento, con
frecuencia le hace más largo el camino hacia el conocimiento
verdadero.
EL OBJETO DE ESTUDIO DE LA LÓGICA
La lógica es una ciencia y su objeto de estudio lo constituyen
las formas, estructuras o esquemas del pensamiento. Si
comparamos los siguientes ejemplos de pensamientos,
encontraremos que pueden referirse a cosas muy diferentes
(es decir, su contenido es variable), y sin embargo tienen
estructuras comunes
1. 7 es un número primo y 4 es par.

2. La gasolina es inflamable y la potasa es cáustica.

3. Venus es un planeta y Sirio es una estrella.

4. Marzo tiene 30 días o marzo tiene 31 días.

5. El hombre hace su historia o la historia hace al hombre.

6. 6. 4 es impar o 4 es par
La lógica proposicional es la parte de la lógica que estudia las
formas en que se relacionan unas proposiciones con otras y,
sobre todo, la relación que se da entre las proposiciones que
componen un razonamiento.
LENGUAJE NATURAL Y LENGUAJE
SIMBÓLICO
El lenguaje es un medio, un instrumento por el cual se
trasmite información. Los libros, folletos, periódicos, etc.,
son buenos ejemplos de lenguaje escrito, utilizado para
trasmitir información.
En los lenguajes hechos por el hombre, la información se
trasmite por medio de signos, que pueden ser señas, gritos,
palabras, volutas de humo, combinación de colores, etc. En
realidad, los lenguajes humanos son sistemas de signos, que
representan algo, ya sea utilizando cada signo individualmente,
o combinándolos de alguna manera.
En el lenguaje natural, que aprendemos en forma
espontánea y empleamos en nuestra vida cotidiana, los
signos utilizados son palabras, habladas o escritas, las
cuales tienen un determinado significado
LA SIMBOLIZACIÓN DEL LENGUAJE
LÓGICO
Al simbolizar un lenguaje lo que se persigue es, básicamente,
sencillez, claridad y exactitud. Es más sencillo y también
resulta más claro y exacto representar las cosas por medio
de símbolos. Por ello, la simbolización del lenguaje lógico nos
permite examinar más fácilmente las formas del
pensamiento y sus leyes, las cuales es preciso seguir si
queremos que nuestro pensamiento sea correcto
En la lógica proposicional se examinan las posibles relaciones
entre proposiciones, sin atender a su contenido.

“ Si en la Luna hay vida, entonces en la Luna hay agua.”

“ No ocurre que en la Luna hay vida.”
“ Luego, no es cierto que en la Luna hay agua.”
PROPOSICIONES SIMPLES Y
COMPUESTAS
Las proposiciones son pensamientos en los que se afirma
algo y que se expresan, por ello, mediante enunciados u
oraciones declarativas.
 Recuérdese que las oraciones (conjuntos de palabras
que expresan pensamientos completos) se dividen en
declarativas, imperativas, interrogativas y exclamativas.
Sólo de las oraciones declarativas puede decirse que
trasmiten una proposición que, por ser una afirmación,
es verdadera o falsa.
Partimos, pues, de definir una proposición como el significado
de una oración declarativa, significado que puede ser
verdadero o falso por ser una afirmación.
 Tipos de proposiciones

• Simples (elementales)
• Compuestas (moleculares)
1. 4 es un número natural.
2. 4 es par.
3. La ballena es animal marino.
4. La ballena es un pez.
5. La ballena es un mamífero.
6. La ballena tiene respiración pulmonar
1. Cuba es una isla y Baja California es una
península.
2. La ballena es un pez o la ballena es mamífero.
3. Turquía es un país europeo o Turquía es un país
asiático.
4. Si la ballena es un mamífero, entonces la
ballena tiene respiración pulmonar.
5. Si aumenta la temperatura de un gas, entonces
aumenta su Volumen.
Independientemente de cuál sea su contenido,
simbolizaremos a las proposiciones simples mediante las
literales minúsculas p, q, r. . . w.

Representaremos a las proposiciones compuestas a partir

de esas mismas literales, y mediante algunos símbolos
especiales para las expresiones que nos permiten formar
las proposiciones compuestas
CONECTIVAS LÓGICAS Y TABLAS DE VERDAD
Se denominan conectivas lógicas las expresiones que sirven para formar
proposiciones compuestas, a partir de las proposiciones simples.

Por Ejemplo.

1. “ no es el caso que” (negación)

2. “ y” (conjunción)
3. “ o” (disyunción)
4. “ si. . . entonces” (condicional)
5. “ si y sólo si” (bicondicional)
Negación
Dada una proposición, es posible negar su sentido en varias
formas; por ejemplo, la proposición simple “ El plomo es
radioactivo” puede ser negada mediante las siguientes
proposiciones compuestas:

a) “ No es el caso que el plomo sea radioactivo.”

b) “ No es cierto que el plomo es radioactivo.”
c) “ No ocurre que el plomo es radioactivo.”
d) “ El plomo no es radioactivo.”
Símbolo
Representación
Lectura No p, es falso que p, no es verdad que p
p=Argentina es campeon ~p=Argentina no es campeon
Negar una proposición es indicar que es falsa. Si negamos a p,
siendo p verdadera (primera posibilidad), obtendremos una
proposición, falsa; si, por lo contrario, negamos a p, siendo p
falsa (segunda posibilidad), obtendremos una proposición
verdadera. Es decir:
Conjunción
Cuando la conectiva “ y” es empleada para enlazar dos
proposiciones, tiene el sentido de afirmar que son
simultáneamente verdaderas.

Por ejemplo, al decir:

“ Londres es la capital de Inglaterra y Cuba es una isla” , la
conectiva “ y” tiene la función de indicar que las dos
proposiciones conjuntadas son igualmente verdaderas.
Símbolo ^
Representación p ^ q
Lectura p y q, p pero q,
Disyunción
La conectiva “ o” , que se simboliza con el signo “ V” , tiene la función de
enlazar dos proposiciones, indicando que al menos una de ellas es verdadera
(aunque también pueden serlo ambas);

Símbolo
Representación
Lectura p o q , al menos p o q.
Condicional
En la proposición compuesta:
La expresión “ si. . . entonces” es la conectiva llamada condicional,
que se simboliza con el signo “----- >” , el cual se escribe entre las dos
proposiciones relacionadas por esta conectiva. El ejemplo anterior se
puede simbolizar entonces: r ----- » s ( “ si r, entonces s” )

“ Si Marte es un planeta, entonces Marte brilla con luz refleja”

Símbolo

Representación

Lectura si p, entonces q, si p, también q , q cuando p, q cada vez que

p
Bicondicional
La expresión “ si y sólo si” es una conectiva lógica que se simboliza con el
signo “ q (se lee: “ p si y sólo si q” ) es una proposición que significa que si p
es verdadera, entonces q también es verdadera y si q es verdadera, entonces
p también es verdadera.

Símbolo
Representación
Lectura p si y solo si q
Tablas de verdad
Negación

Invierte los valores de verdad

Sea p proposiciones cualesquiera

p ~p
V F
F V

2^n donde n es el numero de proposiciones

 Conjunción

Si ambas proposiciones son verdaderas el valor de

verdad resulta verdadero, caso contrario es falso.

Si todas las proposiciones son verdaderas el valor de

verdad resulta verdadero. Caso contrario es falso.

2^n donde n es el numero de proposiciones

Sean p, q proposiciones cualesquiera

p q p^q
V V V
V F F
F V F
F F F
Sean p,q,r proposiciones cualesquiera
p q r p^q^r

V V V V
V V F F
V F V F
V F F F
F V V F
F V F F
F F V F
F F f F
Disyunción inclusiva

Si ambas proposiciones son falsas el valor de verdad

resulta falso, caso contrario es verdadero.

Si todas las proposiciones son falsas el valor de verdad

resulta falso, caso contrario es verdadero.
Sean p, q proposiciones cualesquiera

p q pͮ v q
V V v
V F v
F V v
F F f
Sean p,q,r proposiciones cualesquiera
p Q r pvqvr
V V V v
V V F v
V F V v
V F F v
F V V v
F V F v
F F V v
f f f f
Condicional

Si el antecedente es verdadero y el consecuente es falso el

valor de verdad resulta falso, caso contrario es verdadero.
Sean p, q proposiciones cualesquiera

p q Pq
v v v
v f f
f v v
f f v
Bicondicional

Si ambas proposiciones tienen el mismo valor de verdad,

resulta verdadero, caso contrario si se contradicen es
falso.
Sean p, q proposiciones cualesquiera

p q Pq
v v v
v f f
f v f
f f v
 Símbolos auxiliares

• Paréntesis ()
• Corchetes[]
Estos símbolos marcan la prioridad de una conectiva sobre otra.
Cuando en una formula hay varias conectivas, tiene que quedar claro cual de
ellas es la conectiva dominante:
Siempre será aquella que quede afuera del paréntesis

(p ^ p) ˅ r : Disyunción p ˄ (q ˅ r ) : Conjunción
Fórmulas lógicas
Una fórmula lógica, es decir, una fórmula bien formada es una
cadena de símbolos construida según las reglas establecidas
por la sintaxis lógica de tal forma que no haya ambigüedad en
su construcción
 Formulas proposicionales

Una fórmula proposicional es una combinación de

proposiciones y conectivos lógicos que simboliza a una
proposición compuesta o molecular
Conectivo Símbolo Esquema(Representació Se lee
n)
Negación ~ ¬ ~p o ¬p No p

Conjunción ˄ p˄q pyq

y, pero, también
Disyunción ˅ p˅q poq
Inclusiva
Disyunción ˅˅ p ˅˅ q p o q.
Exclusiva pero no ambos
Condicional  Pq Si p entonces q
si .. Entonces,
cuando
Bicondicional  Pq P si y solo si q
Dada la siguiente proposición.

“No iremos al teatro a menos que venga Raúl.”

Si Raúl viene, entonces iremos al teatro.

P=Iremos al teatro

Q=Raúl viene

QP
“Cesar es profesor o alumno pero no puede ser ambas cosas.”

Cesar es profesor o alumno.

Cesar es profesor o Cesar es alumno y es falso que Cesar sea profesor y

Cesar sea alumno.

p vv q (P v q) ˄ ¬ (p ^q)

q=Cesar es alumno.
P=Cesar es profesor
“Las fuerzas Armadas y la Policía Nacional participan en el desarrollo
económico y social del país, pero no son deliberantes.”

P= las fuerzas armadas participan en el desarrollo económico del país.

Q=la policía nacional participa en el desarrollo económico del país.
R= La policía nacional participa en el desarrollo social del país
s= Las fuerzas armadas participan en el desarrollo social del país

T= Las fuerzas armadas son deliberantes.

W= La policía nacional es deliberante.

Formula: (p^q^r^s)^( ~T^~w)

 Hoy llueve y llevo paraguas o hace sol y no llevo paraguas
(p ^ q) v (r ^~q)
P=hoy llueve
Q=llevo paraguas
R=hace sol
p q r ~q (p ^ q) (r ^~q) (p ^ q) v (r ^~q)

V V V f v f v
V V F f v f v
V F V v f v v
V F F v f f f
F V V f f f f
F V F f f f f
F F V v f v v
f f F v f f f
¬p ∧ (q ^ ¬r)
p q r ¬p ¬r (q ^ ¬r) ¬p ∧ (q ^ ¬r)

v v v f f f f
v v f f v v f
v f v f f f f
v f f f v f f
f v v v f f f
f v f v v v v
f f v v f f f
f f f v v f f
 Determine Casos proposicionales las siguientes formulas
proposicionales.
¬ ˄ ˅  
¬(p ∧ (r ∨ ¬q)) (¬q) ∧ (p ∧ ¬r) p ∨ (¬q ∧ t ∧ r)

((p ∨ q) ∨ (p ∧ q)) ∧ (p ∨ ¬q)

(¬p) ∧ (p ∨ q) ¬q ∧ (p ∧ ¬r)

(¬q) ∧ (p ∧ ¬r) (¬p ∨ ¬(q ∨ r)) ∧ s