Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

Clase 1 Logica

Descargar como pptx, pdf o txt
Descargar como pptx, pdf o txt
Está en la página 1de 46

UTN- FRRe

INGENIERÍA
EN
LÓGICA Y
SISTEMAS
DE
ESTRUCTURAS
INFORMACI
ÓN
DISCRETAS
• PROF. TEORÍA : GRACIELA DEL
VALLE
• cgdelvalle2013@gmail.com
HORARIO: JUEVES 10:10 a 12:25
HS
DOCENTES
• PROF. PRÁCTICOS: CAROLINA
VARGAS
• HORARIO: VIERNES 7:45 a 10 HS
• CUATRIMESTRAL

• TRES PARCIALES TEÓRICO-


PRÁCTICOS
CARACTERÍST
ICAS • DOS RECUPERATORIOS

• SE APRUEBA CON 6 (60 PUNTOS


de 100)
Condiciones para la Aprobación directa.

 Aprobar los tres Exámenes Parciales, instancias de


evaluación propuestas por la cátedra.

 El estudiante que no apruebe una única instancia de


evaluación tendrá una sola instancia de recuperación, para
lograr la aprobación directa, en cualesquiera de las dos
fechas de Exámenes recuperatorios.
SISTEMA DE  Registrar una asistencia del 75% de las clases teóricas y
ACREDITACIÓ prácticas desarrolladas.
N Condiciones para la Aprobación de la cursada.

 Aprobar dos de las tres Exámenes Parciales propuestos por


la cátedra.

 El estudiante podrá recuperar los Exámenes Parciales no


aprobados, en instancias de recuperación que podrán ser
hasta inclusive los dos Exámenes establecidos por la
cátedra.

 Registrar una asistencia del 75% de las clases teóricas y


prácticas desarrolladas.
• Johnsonbaugh, Richard –
“Matemáticas Discretas” –
Prentice Hall – 1999.

• Grimaldi, Ralph – “Matemáticas


BIBLIOGR Discretas y Combinatoria” –
AFÍA Addison Wesley Lougman – 1998
• 
• García Merayo, Félix –
“Matemática Discreta” –
Thomson – 2005.
Lipschutz, Seymour – “Matemáticas
para Computación” – Mc Graw Hill
– 1983
 
Rosen, Kenneth H. – “Matemática
BIBLIOGRAFÍA Discreta y sus Aplicaciones” - Mc.
Graw Hill - 2004.
 
Ross, Kenneth – “Matemáticas
Discretas” – Prentice Hall – 1990 –

 
La lógica es el estudio del
razonamiento.
LÓGICA Sus reglas dan un significado
PROPOSICIONAL preciso a los enunciados
matemáticos o sentencias
matemáticas.
.
Las reglas de la Lógica se usan
para :
 Distinguir entre argumentos
válidos y no válidos.
LÓGICA
 Diseño de circuitos de
PROPOSICIONAL
ordenadores,
 Construcción de programas
informáticos,
 Verificación de que un
programa esté bien
construido
• Una proposición es una
PROPOSICIÓN oración declarativa que es
correcta o falsa, pero no
ambas cosas a la vez.
• ¿Cuales de estas oraciones son
proposiciones?
• Resistencia es la capital del Chaco
• 1+1= 2
PROPOSICIÓN
• 3+3= 15
• -Buenas noches
• -¿Qué hora es?
•x+y=8
• Definición: Sea “p” una proposición.
El enunciado “No se cumple p” es
otra proposición, llamada negación
de “p”.
• Se denota “-p”.

NEGACIÓN Ejemplo:
p: “7 es un número primo”
su negación será:
-p: “No se cumple que 7 es un número
primo”
• La tabla de verdad muestra
TABLA DE las relaciones entre los
valores de verdad de las
VERDAD proposiciones.
NEGACIÓN
Tabla de Verdad:
p -p
V F
F V
• Se usan para formar nuevas
proposiciones a partir de
CONECTIVOS dos o más ya creadas.
U  Conjunción
OPERADORES  Disyunción
LÓGICOS  Implicación o Condicional
 Doble implicación o
Bicondicional
Definición: Sean “p” y “q”
proposiciones. La
proposición “ p  q ”, es la
proposición que es verdadera
CONJUNCIÓN cuando tanto “p” como “q”
son verdaderas y falsa en
cualquier otro caso. La
proposición “ p  q ” se
llama conjunción de “p” y
“q”.
“Resistencia es la capital del Chaco
EJEMPLOS y Sáenz Peña es la segunda ciudad
más poblada del Chaco”
CONJUNCIÓN
“ 7 es número primo y 9 es
múltiplo de 2”
“15 es divisible por 2 y 18 es
divisible por 5”
¿Cómo expresamos
simbólicamente?
TABLA DE VERDAD

V V V

V F F

F V F

F F F
•Si representamos V con 1 y F con 0

1 1 1

1 0 0

0 1 0

0 0 0
• Definición: Sean “p” y “q”
proposiciones. La
proposición “ p  q ” es la
proposición que es falsa
DISYUNCIÓN cuando tanto “p” como “q”
son falsas y verdadera en
INCLUSIVA cualquier otro caso. La
proposición “ p  q ” se
llama disyunción de “p” y
“q”. Este tipo de disyunción
es inclusiva.
“ 10 es múltiplo de 2 o de 5”
“2 es número primo o 2 es divisible
por 5”
“4 es múltiplo de 6 o de 15”
Expresar simbólicamente y hallar el
Ejemplos valor de verdad
DISYUNCIÓN
INCLUSIVA
TABLA DE VERDAD

V V V
V F V
F V V
F F F
• Definición: Sean “p” y “q”
proposiciones. El conectivo
lógico “o” exclusivo de “p” y
DISYUNCIÓN “q”, denotado “p  q” , es
la proposición que es
EXCLUSIVA verdadera cuando
exactamente una de las
proposiciones “p” o “q” es
verdadera y falsa en
cualquier otro caso.
“ Hoy es lunes o jueves”
“4 es número primo o compuesto”
“Mañana a las 14 hs tengo clases de
Álgebra o de Matemática Discreta”

Ejemplos Expresar simbólicamente y hallar el


DISYUNCIÓN valor de verdad
EXCLUSIVA
TABLA DE VERDAD

p q pq
V V F

V F V

F V V

F F F
• Definición: Sean “p” y “q”
proposiciones. La
implicación p→q es la
IMPLICACIÓN proposición que es falsa
cuando “p” es verdadera y
“q” es falsa y verdadera en
cualquier otro caso.
“María será una buena estudiante
si estudia mucho”
“Si apruebo Álgebra, te presto el
libro”
Expresar simbólicamente.
Ejemplos
IMPLICACIÓN
PARTES DE UN CONDICIONAL

p q

antecedente consecuente
Condición Condición
suficiente necesaria
TABLA DE VERDAD

p q p q
V V V
V F F
F V V
F F V
Algunas expresiones del lenguaje que
indican la presencia de un condicional
(p → q), son las siguientes:
p es condición suficiente para q
Si p, q
q si p
Que p supone que q
Cuando p, q
q es condición necesaria para p
En caso de que p entonces q
q sólo si p
Formas
derivadas
• Hallar las formas derivadas
del siguiente condicional:
• Directo: p q
Si un número es par, entonces
EJEMPLO es múltiplo de 4.
………………………………. ¿V o F?
Recíproco:
• Si un número es múltiplo de
4 entonces es par.
………………………………..¿V o F?
• Directo: p q
Si un número es par,
entonces es múltiplo de 4.

EJEMPLO Contrario: ~ p  ~ q
• Si un número no es par,
entonces no es múltiplo de
4
• Directo: p q
Si un número es par,
entonces es múltiplo de 4.

EJEMPLO Contrarrecíproco: ~ q  ~ p
• Si un número no es múltiplo
de 4, entonces no es par
Hacer las tablas de
verdad correspondientes
al ejemplo anterior

ACTIVIDAD
Definición: Sean “p” y “q”
proposiciones. Bicondicional o
doble implicación, “p↔q”, es la
proposición que es verdadera
Definición cuando “p” y “q” tienen los
Bicondicional mismos valores de verdad y
falsa en los otros casos.
 
 “Desapruebas el parcial si y solo
si obtienes una nota
inferior a 6”
“Un triángulo es equilátero si y
solo si tiene sus tres lados de
Ejemplos igual longitud”
Bicondicional
TABLA DE VERDAD

V V V
V F F
F V F
F F V
• La doble implicación es verdadera, cuando las
implicaciones “p→q” y “q→p” son verdaderas.
•Debido a esto la terminología “p si, y solo si,q”.
• Otras formas:
•“p es necesario y suficiente para q” “p sii q”
“si p, entonces q, y recíprocamente”
•Ejemplo:
p: “puedes ingresar a la UTN” , q: “apruebas el
SU”
•“Puedes ingresar a la UTN si, y solo si,
apruebas el SU”
EJEMPLO 1
• Construyamos la tabla de verdad para la siguiente
proposición :(pq)(p~q)
• 4 filas de posibilidades

p q ~q pq p~q (pq)(p~q)

V V F V F F

V F V F V F

F V F F V F
F F V F V F
Si tenemos tres proposiciones simples
¿Cuántas posibilidades tendremos?
p q r
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
¿Cuántas filas tendrá una tabla de verdad
de una proposición compuesta con “n” proposiciones distintas?

 Una tabla de verdad para proposiciones compuestas que


contienen:
 1 proposición simple……………………. tendrá 2 filas
 2 proposiciones simples ………………… 4 = 22 filas

3 proposiciones simples …………. ……….8 filas =23 filas

4 proposiciones simples ……………. ….16= 24 filas


n proposiciones simples………. 2n filas
EJEMPLO 2

Hacer la tabla de verdad para: (r  p)  ~(q  p)

p q r rp qp ~(qp) (r  p)  ~(qp)


EJEMPLO 2

Hacer la tabla de verdad para: (r  p)  ~(q  p)

p q r rp qp ~(qp) (r  p)  ~(qp)


V V V V V F F
V V F V V F F
V F V V V F F
V F F V V F F
F V V V V F F
F V F F V F F
F F V V F V V
F F F F F V F
•TAUTOLOGÍA: Un enunciado
compuesto es una
“Tautología”, cuando es
Tautología siempre verdadero,
cualesquiera sean los valores
de verdad de las
proposiciones simples que lo
componen.
• CONTRADICCIÓN: Un
enunciado compuesto es
una “Contradicción”, cuando
es siempre falso,
Contradicción cualesquiera sean los
valores de verdad de las
proposiciones simples que
lo componen.
• CONTINGENCIA: Un
enunciado compuesto es
Contingencia una “Contingencia”, cuando
a veces es verdadero, a
veces falso.

También podría gustarte