SlideShare una empresa de Scribd logo
1 de 17
PROPOSICIONES, OPERADORES
LÓGICOS Y TABLAS DE VERDAD
     Grupo SIRP (Sistemas Inteligentes, Robótica y
                      Percepción)
  Departamento de Electrónica – Pontificia Universidad
                  Javeriana – Bogotá
           Contacto: gruposirp@gmail.com
CONTENIDO
• Introducción
• Proposiciones
    – Clasificación de las Proposiciones
         • Proposición simple
         • Proposición compuesta
    – Conectivos u operadores lógicos

• Tablas de verdad
    – Pasos para construir una tabla de verdad

• Actividad práctica
    –   Objetivos
    –   Descripción
    –   Video
    –   Descarga de la guía del docente y la guía del estudiante
• Conclusiones
• Bibliografía
INTRODUCCIÓN
Las actividades que se presentarán a través de este medio, son
desarrolladas     por     el   grupo     de     investigación Sistemas
Inteligentes, Robótica y Percepción -SIRP- del Departamento de
Electrónica de la Pontificia Universidad Javeriana.
En esta sección se presenta el uso de la robótica como una
herramienta pedagógica para el área de lógica matemáticas o
principios de programación. Se propone el desarrollo del tema de
proposiciones, operadores lógicos y tablas de verdad, de una forma
práctica y didáctica utilizando un robot como herramienta de
aprendizaje. Se busca que el estudiante aplique los conocimientos
básicos de la lógica proposicional para representar determinadas
situaciones a través del uso de tablas de verdad.
En la primera parte de esta sección se encuentra el desarrollo teórico
de estos temas, después una breve explicación de la actividad práctica
con algunos videos y los links para descargar la guía del docente y del
estudiante con todos los detalles de la actividad.
PROPOSICIONES
Una proposición es una oración enunciativa o aseverativa
a la que se le puede atribuir un sentido lógico de verdad o
de falsedad. A esta propiedad de las proposiciones de ser
verdaderas o falsas se le llama valor de verdad.

Por ejemplo, los siguientes enunciados son proposiciones

  a) El balón de fútbol es cuadrado.
  b) 2*2=4

a) y b) son proposiciones porque tiene sentido decir que
 a) es falsa y b) es verdadera.
Sin embargo, las oraciones exclamativas,
interrogativas o imperativas no son proposiciones,
porque ninguna de ellas afirma o niega algo y por lo
tanto, no se les puede asignar un valor de verdad.
Ejemplos:

a) ¡Qué buen día!
b) ¿Qué es lógica?
c) Mueve el escritorio

Por lo general, las proposiciones se representan con
letras minúsculas del alfabeto desde la letra p, es
decir, p, q, r, s, t, ... Etc.
CLASIFICACIÓN DE LAS
               PROPOSICIONES
Las proposiciones se clasifican en dos tipos: simples
y compuestas, dependiendo de cómo están
conformadas.

PROPOSICIONES SIMPLES O ATÓMICAS:
Son aquellas oraciones que no tienen términos de
enlace o componentes afectados por negación.
Estas proposiciones pueden ser representadas por
una sola variable. Por ejemplo:
  p: 3 + 6 = 9
  q: Ángela es alta
• PROPOSICIONES COMPUESTAS O MOLECULARES.
Son aquellas que están formadas por la
combinación de dos ó más proposiciones simples.
Por ejemplo:

          Leonardo da Vinci era italiano y
                pintó la Mona Lisa

Encontramos dos enunciados: el primero (p) afirma
que Leonardo da Vinci era italiano y el segundo (q)
que Leonardo da Vinci pintó la Mona Lisa.
CONECTIVOS U OPERADORES LÓGICOS
 Existen conectivos u operadores lógicos que permiten formar proposiciones
 compuestas. La siguiente tabla describe los conectores básicos.
CONECTORES            DESCRIPCIÓN                    SÍMBOLO    EJEMPLO

CONJUNCIÓN            El resultado es verdadero si              El carro enciende
(operador and)        ambas proposiciones son           Λ       cuando tiene gasolina
                      verdaderas.                               en su tanque y tiene la
                                                     Ejemplo:   batería cargada
                                                       pΛq

DISYUNCIÓN            El resultado es verdadero si              Para llegar a la isla de
(operador or)         cualquiera de las
                                                        v       Providencia puedes
                                                     Ejemplo:
                      proposiciones son verdaderas              tomar una ruta
                                                       pvq
                                                                marítima o tomar una
                                                                ruta aérea.
NEGACIÓN              Su función es negar una                   p: Ana es alta
(operador not)        proposición                       ‘       p’: Ana no es alta
                                                     Ejemplo:
                                                        p’
            Tabla 1. Operadores lógicos básicos
TABLAS DE VERDAD
El valor de verdad de una proposición compuesta
está determinado por la verdad o falsedad de las
proposiciones simples que lo conforman. Una
forma para evaluar el valor de verdad es por medio
de la tabla de verdad.

Una tabla de verdad es un esquema que muestra el
valor de verdad de una proposición compuesta
(variable de salida) para todos los casos posibles de
verdad o falsedad de las proposiciones simples
(variables de entrada).
PASOS PARA CONSTRUIR UNA TABLA
               DE VERDAD
1.    Escribir la proposición compuesta que se quiere evaluar.

     El carro enciende cuando tiene gasolina en su tanque y tiene la batería cargada

2.    Identifique las proposiciones simples que conforman la proposición compuesta.
      Las denominaremos entradas de la tabla de verdad.
      p : tiene gasolina en su tanque
      q : tiene la batería cargada

3.    Identifique la variable de salida

      w: El carro enciende

4.    Identifique los operadores lógicos y escriba la variable de salida simbólicamente.

                                          w=pΛ q
5. Tamaño de la tabla:
      La tabla se divide en dos partes: a la izquierda la información de las
      entradas (proposiciones simples) y a la derecha, las salidas o el valor
      de verdad de la proposición compuesta para cada combinación.
      La parte izquierda se divide a su vez en tantas columnas como
      proposiciones simples o variables de entrada se tengan.
       El número de renglones de la tabla se obtiene a partir de la fórmula
      2n donde n es el número de proposiciones simples.
      El número de renglones hace referencia al número de combinaciones
      de los valores lógicos que pueden tomar las proposiciones sencillas o
      variables de entrada.
      Por ejemplo, si hay dos variables o proposiciones simples hay 22 = 4
      combinaciones en la tabla de verdad.


                           p          q          w                 Variable de salida


Dos proposiciones
                                                                4 Combinaciones
simples o variables de
                                                                posibles
entrada

               Figura 1. Tamaño de la tabla de verdad para dos variables de entrada
8. Asignar los valores de verdad a las proposiciones
      simples.
                       p         q          w
                       V         V
                       V         F
                       F         V
                       F         F
Figura 2. combinaciones de valores lógicos que puede tomar una tabla de verdad con entradas
   Otra forma de representar los valores de verdad es
   con 1 y 0 donde 1 es verdadero y 0 es falso.
                           p          q         w
                           0          0
                           0          1
                           1          0
                           1          1

                      Figura 3. tabla de verdad con números binarios
6. Evaluar para cada renglón de la tabla el valor de
   verdad de la salida.
  Para el caso en que w= p Λ q, se obtiene la siguiente
   tabla de verdad.


                      p          q          w
                      V          V          V
                      V          F          F
                      F          V          F
                      F          F          F
          Figura 4. tabla de verdad para el operador lógico and

Donde se concluye que sólo se puede encender el carro
(w verdadera) si tiene gasolina en el tanque (p verdadera)
y si tiene la batería cargada(q verdadera); en el resto de
casos el carro no enciende.
ACTIVIDAD PRÁCTICA
OBJETIVOS

   El objetivo del presente taller está orientado a que el estudiante entienda el
   concepto de tabla de verdad de un sistema.

DESCRIPCIÓN DE LA ACTIVIDAD PRÁCTICA

  Durante la actividad, el estudiante observará el comportamiento de un robot que
  ha sido construido y programado por el docente antes de la práctica. El taller
  contiene preguntas que deben resolverse en tres escenarios diferentes: el primero
  consiste en una preparación previa de la práctica, en la que el estudiante debe
  resolver algunas preguntas que lo introducen a lo que verá en la actividad y lo
  obligan a indagar acerca de aspectos importantes para que la práctica no se
  convierta en un juego. El segundo escenario se desarrolla durante la aplicación de
  la práctica: en este espacio se espera que el estudiante observe el
  comportamiento del robot y trate de llevar a la realidad aquello que estudió en las
  preguntas previas, construyendo una serie de tablas de verdad que finalmente
  conformarán una gran tabla de verdad que describe el comportamiento de los
  motores en función de la lectura de los sensores. El escenario final consiste en una
  serie de preguntas que buscan que el estudiante encuentre posibles aplicaciones
  del sistema que resolvió en sistemas que se utilizan actualmente y aunque no
  funcionan bajo el principio utilizado, en la práctica podrían explicarse desde allí.
VIDEOS

En el video, el Grupo de Investigación SIRP de la Universidad
Javeriana, muestra un robot construido con la plataforma
comercial VEX, que realiza la tarea propuesta. En los
diferentes videos se muestra el comportamiento del robot
frente a cambios en el orden de los cubos y frente a casos
especiales, como el caso en el que haya dos cubos iguales
seguidos.
 VIDEO PRACTICA 1
 LINK: http://www.youtube.com/watch?v=4vwB4C85Rns



GUÍA DEL DOCENTE Y LA GUÍA DEL ESTUDIANTE

• Descarga de la guía del docente y del estudiante
CONCLUSIONES
Al finalizar la práctica, se espera que el estudiante
entienda el concepto de tabla de verdad: es importante
que se entienda que las tablas de verdad no se aplican
solamente a los operadores and y or, sino que pueden
plantearse para cualquier sistema donde las opciones
sean cuantificables. Por otra parte, se espera que el
estudiante encuentre una aplicación del conocimiento a
la realidad: así el estudiante entenderá que los temas de
clase no son cuestiones académicas que se quedan sobre
el papel, sino que por el contrario, se utilizan a diario en
una gran cantidad de sistemas que interactúan con las
personas.
BIBLIOGRAFÍA
• Miller,    Charles    D.    2006.    Matemática:
  razonamiento y aplicaciones. Editorial Pearson.
  Decima edición. México. p. 97.
• Contreras A. 2007. Lógica Elementos Teóricos:
  Aprendizaje recreativo: Juegos lógicos y de
  ingenio. p. 89.
• Flores M. 2005 Nivel medio superior y nivel
  superior Editorial Progreso. México p. 29.
• Becerra J. 2005. Temas selectos de
  matemáticas…la amena forma de aprender más.
  Universidad nacional autónoma de México. p. 24.

Más contenido relacionado

La actualidad más candente (18)

C ++ cuarto trabajo . -...
C ++ cuarto trabajo . -...C ++ cuarto trabajo . -...
C ++ cuarto trabajo . -...
 
Unidad I de estructuras discretas
Unidad I de estructuras discretasUnidad I de estructuras discretas
Unidad I de estructuras discretas
 
Estructuras selectivas
Estructuras selectivasEstructuras selectivas
Estructuras selectivas
 
Nuevo 2010 i_tecnicas de integracion_utp(2)
Nuevo 2010 i_tecnicas de integracion_utp(2)Nuevo 2010 i_tecnicas de integracion_utp(2)
Nuevo 2010 i_tecnicas de integracion_utp(2)
 
Logica condicionales
Logica condicionalesLogica condicionales
Logica condicionales
 
Trabajo de derivadas
Trabajo de derivadasTrabajo de derivadas
Trabajo de derivadas
 
Introduccion a la programacion en c 18
Introduccion a la programacion en c 18Introduccion a la programacion en c 18
Introduccion a la programacion en c 18
 
TE1-PE-2011-1S
TE1-PE-2011-1STE1-PE-2011-1S
TE1-PE-2011-1S
 
Estadistica inferencial
Estadistica  inferencialEstadistica  inferencial
Estadistica inferencial
 
Logica de predicados
Logica de predicadosLogica de predicados
Logica de predicados
 
ejercicios
ejercicios ejercicios
ejercicios
 
2 teoria de_probabilidades
2 teoria de_probabilidades2 teoria de_probabilidades
2 teoria de_probabilidades
 
Examen final ii termino 2007
Examen final ii termino 2007Examen final ii termino 2007
Examen final ii termino 2007
 
SSLL-TE-2012-2S
SSLL-TE-2012-2SSSLL-TE-2012-2S
SSLL-TE-2012-2S
 
Practica CON AVR
Practica CON  AVRPractica CON  AVR
Practica CON AVR
 
Repaso del lenguaje
Repaso del lenguajeRepaso del lenguaje
Repaso del lenguaje
 
61405595 03 s-1-numeros-cuanticos
61405595 03 s-1-numeros-cuanticos61405595 03 s-1-numeros-cuanticos
61405595 03 s-1-numeros-cuanticos
 
tablas de verdad
tablas de verdadtablas de verdad
tablas de verdad
 

Destacado

Ejercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdadEjercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdadpaquitogiron
 
Leyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacionLeyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacionWendy Estupiñan
 
Proposicones y operaciones logicas
Proposicones y operaciones logicasProposicones y operaciones logicas
Proposicones y operaciones logicasbarretoduran
 
Tablas de verdad (true tables)
Tablas de verdad (true tables)Tablas de verdad (true tables)
Tablas de verdad (true tables)Eli Diaz
 
Confección tablas de verdad 2014
Confección tablas de verdad 2014Confección tablas de verdad 2014
Confección tablas de verdad 2014patocasla
 
Tablas de verdad
Tablas de verdadTablas de verdad
Tablas de verdadverocha66
 
Tablas de Verdad
Tablas de VerdadTablas de Verdad
Tablas de VerdadUJGH
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicionalJesus Lugo
 
Ley conmutativa
Ley conmutativaLey conmutativa
Ley conmutativaOSCARDAGH
 
Lógica proposicional tablas de verdad
Lógica proposicional tablas de verdadLógica proposicional tablas de verdad
Lógica proposicional tablas de verdadVideoconferencias UTPL
 
Logica
LogicaLogica
Logicajordy
 
Las tablas de verdad
Las tablas de verdadLas tablas de verdad
Las tablas de verdadJudith Wuera
 
LOGICA MATEMATICA
LOGICA MATEMATICALOGICA MATEMATICA
LOGICA MATEMATICASoniarcos
 
Valores de verdad
Valores de verdadValores de verdad
Valores de verdaddesousat
 
El Estudio De La Obra De Arte
El Estudio De La Obra De ArteEl Estudio De La Obra De Arte
El Estudio De La Obra De Arteguest1a1a917
 
Leyes del algebra de proposiciones
Leyes del algebra de proposicionesLeyes del algebra de proposiciones
Leyes del algebra de proposicionesAime Rodriguez
 

Destacado (20)

Tablas de Verdad
Tablas de VerdadTablas de Verdad
Tablas de Verdad
 
Ejercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdadEjercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdad
 
Leyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacionLeyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacion
 
Logica matematica experiencia 2
Logica matematica experiencia 2Logica matematica experiencia 2
Logica matematica experiencia 2
 
Proposicones y operaciones logicas
Proposicones y operaciones logicasProposicones y operaciones logicas
Proposicones y operaciones logicas
 
Tablas de verdad (true tables)
Tablas de verdad (true tables)Tablas de verdad (true tables)
Tablas de verdad (true tables)
 
Confección tablas de verdad 2014
Confección tablas de verdad 2014Confección tablas de verdad 2014
Confección tablas de verdad 2014
 
CALCULO PROPOSICIONAL
CALCULO PROPOSICIONALCALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL
 
Tablas de verdad
Tablas de verdadTablas de verdad
Tablas de verdad
 
Como realizar una tablade verdad.
Como realizar una tablade verdad.Como realizar una tablade verdad.
Como realizar una tablade verdad.
 
Tablas de Verdad
Tablas de VerdadTablas de Verdad
Tablas de Verdad
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Ley conmutativa
Ley conmutativaLey conmutativa
Ley conmutativa
 
Lógica proposicional tablas de verdad
Lógica proposicional tablas de verdadLógica proposicional tablas de verdad
Lógica proposicional tablas de verdad
 
Logica
LogicaLogica
Logica
 
Las tablas de verdad
Las tablas de verdadLas tablas de verdad
Las tablas de verdad
 
LOGICA MATEMATICA
LOGICA MATEMATICALOGICA MATEMATICA
LOGICA MATEMATICA
 
Valores de verdad
Valores de verdadValores de verdad
Valores de verdad
 
El Estudio De La Obra De Arte
El Estudio De La Obra De ArteEl Estudio De La Obra De Arte
El Estudio De La Obra De Arte
 
Leyes del algebra de proposiciones
Leyes del algebra de proposicionesLeyes del algebra de proposiciones
Leyes del algebra de proposiciones
 

Similar a Sirp tablas de verdad

Tema_1.1_LOGICA.pdf
Tema_1.1_LOGICA.pdfTema_1.1_LOGICA.pdf
Tema_1.1_LOGICA.pdfManuel Ortiz
 
Actividad 1 Estructuras Discretas
Actividad 1 Estructuras DiscretasActividad 1 Estructuras Discretas
Actividad 1 Estructuras DiscretasYormanP
 
07 Tablas de Verdad.pdf
07 Tablas de Verdad.pdf07 Tablas de Verdad.pdf
07 Tablas de Verdad.pdfRobinHernndez8
 
Lógica y Cálculo Proposicional
Lógica y Cálculo ProposicionalLógica y Cálculo Proposicional
Lógica y Cálculo ProposicionalJuliho Castillo
 
Asignacion1.deximarboza
Asignacion1.deximarbozaAsignacion1.deximarboza
Asignacion1.deximarbozaDeximar Boza
 
Universidad fermin toro esctructura discreta
Universidad fermin toro esctructura discretaUniversidad fermin toro esctructura discreta
Universidad fermin toro esctructura discretaIvan Bernal
 
matematicas para la informatica
matematicas para la informaticamatematicas para la informatica
matematicas para la informaticaxxx219
 
Tablas de verdad de C++
Tablas de verdad de C++Tablas de verdad de C++
Tablas de verdad de C++Bryangio2002
 
Lógica Proposicional
Lógica ProposicionalLógica Proposicional
Lógica Proposicionalcjperu
 
Unidad 1 Logica 2019 virtual UTN Matematica Discreta
Unidad 1 Logica 2019 virtual UTN Matematica DiscretaUnidad 1 Logica 2019 virtual UTN Matematica Discreta
Unidad 1 Logica 2019 virtual UTN Matematica DiscretaGonzaFernandez8
 
Trabajo colaborativo-2-grupo-168
Trabajo colaborativo-2-grupo-168Trabajo colaborativo-2-grupo-168
Trabajo colaborativo-2-grupo-168Erica Avila Caicedo
 
[Maths] 6.1.2 logica. algebra proposiciones
[Maths] 6.1.2 logica. algebra proposiciones[Maths] 6.1.2 logica. algebra proposiciones
[Maths] 6.1.2 logica. algebra proposicionesmiguelperezfontenla
 
Tablas de verdad el surgimiento de los hibridos
Tablas de verdad el surgimiento de los hibridosTablas de verdad el surgimiento de los hibridos
Tablas de verdad el surgimiento de los hibridosGustavo Castillo
 
Estructura
EstructuraEstructura
Estructurapregiver
 

Similar a Sirp tablas de verdad (20)

Tema_1.1_LOGICA.pdf
Tema_1.1_LOGICA.pdfTema_1.1_LOGICA.pdf
Tema_1.1_LOGICA.pdf
 
Logica proposcional-1
Logica proposcional-1Logica proposcional-1
Logica proposcional-1
 
Actividad 1 Estructuras Discretas
Actividad 1 Estructuras DiscretasActividad 1 Estructuras Discretas
Actividad 1 Estructuras Discretas
 
07 Tablas de Verdad.pdf
07 Tablas de Verdad.pdf07 Tablas de Verdad.pdf
07 Tablas de Verdad.pdf
 
Lógica y Cálculo Proposicional
Lógica y Cálculo ProposicionalLógica y Cálculo Proposicional
Lógica y Cálculo Proposicional
 
Asignacion1.deximarboza
Asignacion1.deximarbozaAsignacion1.deximarboza
Asignacion1.deximarboza
 
La lógica matemática
La lógica matemáticaLa lógica matemática
La lógica matemática
 
Universidad fermin toro esctructura discreta
Universidad fermin toro esctructura discretaUniversidad fermin toro esctructura discreta
Universidad fermin toro esctructura discreta
 
matematicas para la informatica
matematicas para la informaticamatematicas para la informatica
matematicas para la informatica
 
Tablas de verdad de C++
Tablas de verdad de C++Tablas de verdad de C++
Tablas de verdad de C++
 
La logica proposicional
La logica proposicionalLa logica proposicional
La logica proposicional
 
Lógica Proposicional
Lógica ProposicionalLógica Proposicional
Lógica Proposicional
 
Estructura discreta
Estructura discretaEstructura discreta
Estructura discreta
 
Unidad 1 Logica 2019 virtual UTN Matematica Discreta
Unidad 1 Logica 2019 virtual UTN Matematica DiscretaUnidad 1 Logica 2019 virtual UTN Matematica Discreta
Unidad 1 Logica 2019 virtual UTN Matematica Discreta
 
Algebra
AlgebraAlgebra
Algebra
 
Trabajo colaborativo-2-grupo-168
Trabajo colaborativo-2-grupo-168Trabajo colaborativo-2-grupo-168
Trabajo colaborativo-2-grupo-168
 
[Maths] 6.1.2 logica. algebra proposiciones
[Maths] 6.1.2 logica. algebra proposiciones[Maths] 6.1.2 logica. algebra proposiciones
[Maths] 6.1.2 logica. algebra proposiciones
 
Tablas de verdad el surgimiento de los hibridos
Tablas de verdad el surgimiento de los hibridosTablas de verdad el surgimiento de los hibridos
Tablas de verdad el surgimiento de los hibridos
 
Proposiciones logicas
Proposiciones logicasProposiciones logicas
Proposiciones logicas
 
Estructura
EstructuraEstructura
Estructura
 

Más de ard

Paraquito paiasa
Paraquito paiasaParaquito paiasa
Paraquito paiasaard
 
Paraquito paiasa
Paraquito paiasaParaquito paiasa
Paraquito paiasaard
 
Paraquito paiasa
Paraquito paiasaParaquito paiasa
Paraquito paiasaard
 
Paraquito paiasa
Paraquito paiasaParaquito paiasa
Paraquito paiasaard
 
Paraquito paiasa
Paraquito paiasaParaquito paiasa
Paraquito paiasaard
 
Amenazas
AmenazasAmenazas
Amenazasard
 
Amenazas
AmenazasAmenazas
Amenazasard
 
Amenazas
AmenazasAmenazas
Amenazasard
 
Amenazas
AmenazasAmenazas
Amenazasard
 
Indicadores
IndicadoresIndicadores
Indicadoresard
 
Indicadores
IndicadoresIndicadores
Indicadoresard
 
Taller 7 8 sirp_diagrama de flujo
Taller 7 8 sirp_diagrama de flujoTaller 7 8 sirp_diagrama de flujo
Taller 7 8 sirp_diagrama de flujoard
 
Taller 6 biología
Taller 6 biologíaTaller 6 biología
Taller 6 biologíaard
 
Taller 5 geografía
Taller 5 geografíaTaller 5 geografía
Taller 5 geografíaard
 
Actividad 2 historia
Actividad 2 historiaActividad 2 historia
Actividad 2 historiaard
 
Taller 2 sirp_momentodetorsion (1)
Taller 2 sirp_momentodetorsion (1)Taller 2 sirp_momentodetorsion (1)
Taller 2 sirp_momentodetorsion (1)ard
 
Taller 2 sirp_momentodetorsion (1)
Taller 2 sirp_momentodetorsion (1)Taller 2 sirp_momentodetorsion (1)
Taller 2 sirp_momentodetorsion (1)ard
 
Sirp motores de corriente continua afg
Sirp  motores de corriente continua afgSirp  motores de corriente continua afg
Sirp motores de corriente continua afgard
 

Más de ard (18)

Paraquito paiasa
Paraquito paiasaParaquito paiasa
Paraquito paiasa
 
Paraquito paiasa
Paraquito paiasaParaquito paiasa
Paraquito paiasa
 
Paraquito paiasa
Paraquito paiasaParaquito paiasa
Paraquito paiasa
 
Paraquito paiasa
Paraquito paiasaParaquito paiasa
Paraquito paiasa
 
Paraquito paiasa
Paraquito paiasaParaquito paiasa
Paraquito paiasa
 
Amenazas
AmenazasAmenazas
Amenazas
 
Amenazas
AmenazasAmenazas
Amenazas
 
Amenazas
AmenazasAmenazas
Amenazas
 
Amenazas
AmenazasAmenazas
Amenazas
 
Indicadores
IndicadoresIndicadores
Indicadores
 
Indicadores
IndicadoresIndicadores
Indicadores
 
Taller 7 8 sirp_diagrama de flujo
Taller 7 8 sirp_diagrama de flujoTaller 7 8 sirp_diagrama de flujo
Taller 7 8 sirp_diagrama de flujo
 
Taller 6 biología
Taller 6 biologíaTaller 6 biología
Taller 6 biología
 
Taller 5 geografía
Taller 5 geografíaTaller 5 geografía
Taller 5 geografía
 
Actividad 2 historia
Actividad 2 historiaActividad 2 historia
Actividad 2 historia
 
Taller 2 sirp_momentodetorsion (1)
Taller 2 sirp_momentodetorsion (1)Taller 2 sirp_momentodetorsion (1)
Taller 2 sirp_momentodetorsion (1)
 
Taller 2 sirp_momentodetorsion (1)
Taller 2 sirp_momentodetorsion (1)Taller 2 sirp_momentodetorsion (1)
Taller 2 sirp_momentodetorsion (1)
 
Sirp motores de corriente continua afg
Sirp  motores de corriente continua afgSirp  motores de corriente continua afg
Sirp motores de corriente continua afg
 

Sirp tablas de verdad

  • 1. PROPOSICIONES, OPERADORES LÓGICOS Y TABLAS DE VERDAD Grupo SIRP (Sistemas Inteligentes, Robótica y Percepción) Departamento de Electrónica – Pontificia Universidad Javeriana – Bogotá Contacto: gruposirp@gmail.com
  • 2. CONTENIDO • Introducción • Proposiciones – Clasificación de las Proposiciones • Proposición simple • Proposición compuesta – Conectivos u operadores lógicos • Tablas de verdad – Pasos para construir una tabla de verdad • Actividad práctica – Objetivos – Descripción – Video – Descarga de la guía del docente y la guía del estudiante • Conclusiones • Bibliografía
  • 3. INTRODUCCIÓN Las actividades que se presentarán a través de este medio, son desarrolladas por el grupo de investigación Sistemas Inteligentes, Robótica y Percepción -SIRP- del Departamento de Electrónica de la Pontificia Universidad Javeriana. En esta sección se presenta el uso de la robótica como una herramienta pedagógica para el área de lógica matemáticas o principios de programación. Se propone el desarrollo del tema de proposiciones, operadores lógicos y tablas de verdad, de una forma práctica y didáctica utilizando un robot como herramienta de aprendizaje. Se busca que el estudiante aplique los conocimientos básicos de la lógica proposicional para representar determinadas situaciones a través del uso de tablas de verdad. En la primera parte de esta sección se encuentra el desarrollo teórico de estos temas, después una breve explicación de la actividad práctica con algunos videos y los links para descargar la guía del docente y del estudiante con todos los detalles de la actividad.
  • 4. PROPOSICIONES Una proposición es una oración enunciativa o aseverativa a la que se le puede atribuir un sentido lógico de verdad o de falsedad. A esta propiedad de las proposiciones de ser verdaderas o falsas se le llama valor de verdad. Por ejemplo, los siguientes enunciados son proposiciones a) El balón de fútbol es cuadrado. b) 2*2=4 a) y b) son proposiciones porque tiene sentido decir que a) es falsa y b) es verdadera.
  • 5. Sin embargo, las oraciones exclamativas, interrogativas o imperativas no son proposiciones, porque ninguna de ellas afirma o niega algo y por lo tanto, no se les puede asignar un valor de verdad. Ejemplos: a) ¡Qué buen día! b) ¿Qué es lógica? c) Mueve el escritorio Por lo general, las proposiciones se representan con letras minúsculas del alfabeto desde la letra p, es decir, p, q, r, s, t, ... Etc.
  • 6. CLASIFICACIÓN DE LAS PROPOSICIONES Las proposiciones se clasifican en dos tipos: simples y compuestas, dependiendo de cómo están conformadas. PROPOSICIONES SIMPLES O ATÓMICAS: Son aquellas oraciones que no tienen términos de enlace o componentes afectados por negación. Estas proposiciones pueden ser representadas por una sola variable. Por ejemplo: p: 3 + 6 = 9 q: Ángela es alta
  • 7. • PROPOSICIONES COMPUESTAS O MOLECULARES. Son aquellas que están formadas por la combinación de dos ó más proposiciones simples. Por ejemplo: Leonardo da Vinci era italiano y pintó la Mona Lisa Encontramos dos enunciados: el primero (p) afirma que Leonardo da Vinci era italiano y el segundo (q) que Leonardo da Vinci pintó la Mona Lisa.
  • 8. CONECTIVOS U OPERADORES LÓGICOS Existen conectivos u operadores lógicos que permiten formar proposiciones compuestas. La siguiente tabla describe los conectores básicos. CONECTORES DESCRIPCIÓN SÍMBOLO EJEMPLO CONJUNCIÓN El resultado es verdadero si El carro enciende (operador and) ambas proposiciones son Λ cuando tiene gasolina verdaderas. en su tanque y tiene la Ejemplo: batería cargada pΛq DISYUNCIÓN El resultado es verdadero si Para llegar a la isla de (operador or) cualquiera de las v Providencia puedes Ejemplo: proposiciones son verdaderas tomar una ruta pvq marítima o tomar una ruta aérea. NEGACIÓN Su función es negar una p: Ana es alta (operador not) proposición ‘ p’: Ana no es alta Ejemplo: p’ Tabla 1. Operadores lógicos básicos
  • 9. TABLAS DE VERDAD El valor de verdad de una proposición compuesta está determinado por la verdad o falsedad de las proposiciones simples que lo conforman. Una forma para evaluar el valor de verdad es por medio de la tabla de verdad. Una tabla de verdad es un esquema que muestra el valor de verdad de una proposición compuesta (variable de salida) para todos los casos posibles de verdad o falsedad de las proposiciones simples (variables de entrada).
  • 10. PASOS PARA CONSTRUIR UNA TABLA DE VERDAD 1. Escribir la proposición compuesta que se quiere evaluar. El carro enciende cuando tiene gasolina en su tanque y tiene la batería cargada 2. Identifique las proposiciones simples que conforman la proposición compuesta. Las denominaremos entradas de la tabla de verdad. p : tiene gasolina en su tanque q : tiene la batería cargada 3. Identifique la variable de salida w: El carro enciende 4. Identifique los operadores lógicos y escriba la variable de salida simbólicamente. w=pΛ q
  • 11. 5. Tamaño de la tabla: La tabla se divide en dos partes: a la izquierda la información de las entradas (proposiciones simples) y a la derecha, las salidas o el valor de verdad de la proposición compuesta para cada combinación. La parte izquierda se divide a su vez en tantas columnas como proposiciones simples o variables de entrada se tengan. El número de renglones de la tabla se obtiene a partir de la fórmula 2n donde n es el número de proposiciones simples. El número de renglones hace referencia al número de combinaciones de los valores lógicos que pueden tomar las proposiciones sencillas o variables de entrada. Por ejemplo, si hay dos variables o proposiciones simples hay 22 = 4 combinaciones en la tabla de verdad. p q w Variable de salida Dos proposiciones 4 Combinaciones simples o variables de posibles entrada Figura 1. Tamaño de la tabla de verdad para dos variables de entrada
  • 12. 8. Asignar los valores de verdad a las proposiciones simples. p q w V V V F F V F F Figura 2. combinaciones de valores lógicos que puede tomar una tabla de verdad con entradas Otra forma de representar los valores de verdad es con 1 y 0 donde 1 es verdadero y 0 es falso. p q w 0 0 0 1 1 0 1 1 Figura 3. tabla de verdad con números binarios
  • 13. 6. Evaluar para cada renglón de la tabla el valor de verdad de la salida. Para el caso en que w= p Λ q, se obtiene la siguiente tabla de verdad. p q w V V V V F F F V F F F F Figura 4. tabla de verdad para el operador lógico and Donde se concluye que sólo se puede encender el carro (w verdadera) si tiene gasolina en el tanque (p verdadera) y si tiene la batería cargada(q verdadera); en el resto de casos el carro no enciende.
  • 14. ACTIVIDAD PRÁCTICA OBJETIVOS El objetivo del presente taller está orientado a que el estudiante entienda el concepto de tabla de verdad de un sistema. DESCRIPCIÓN DE LA ACTIVIDAD PRÁCTICA Durante la actividad, el estudiante observará el comportamiento de un robot que ha sido construido y programado por el docente antes de la práctica. El taller contiene preguntas que deben resolverse en tres escenarios diferentes: el primero consiste en una preparación previa de la práctica, en la que el estudiante debe resolver algunas preguntas que lo introducen a lo que verá en la actividad y lo obligan a indagar acerca de aspectos importantes para que la práctica no se convierta en un juego. El segundo escenario se desarrolla durante la aplicación de la práctica: en este espacio se espera que el estudiante observe el comportamiento del robot y trate de llevar a la realidad aquello que estudió en las preguntas previas, construyendo una serie de tablas de verdad que finalmente conformarán una gran tabla de verdad que describe el comportamiento de los motores en función de la lectura de los sensores. El escenario final consiste en una serie de preguntas que buscan que el estudiante encuentre posibles aplicaciones del sistema que resolvió en sistemas que se utilizan actualmente y aunque no funcionan bajo el principio utilizado, en la práctica podrían explicarse desde allí.
  • 15. VIDEOS En el video, el Grupo de Investigación SIRP de la Universidad Javeriana, muestra un robot construido con la plataforma comercial VEX, que realiza la tarea propuesta. En los diferentes videos se muestra el comportamiento del robot frente a cambios en el orden de los cubos y frente a casos especiales, como el caso en el que haya dos cubos iguales seguidos. VIDEO PRACTICA 1 LINK: http://www.youtube.com/watch?v=4vwB4C85Rns GUÍA DEL DOCENTE Y LA GUÍA DEL ESTUDIANTE • Descarga de la guía del docente y del estudiante
  • 16. CONCLUSIONES Al finalizar la práctica, se espera que el estudiante entienda el concepto de tabla de verdad: es importante que se entienda que las tablas de verdad no se aplican solamente a los operadores and y or, sino que pueden plantearse para cualquier sistema donde las opciones sean cuantificables. Por otra parte, se espera que el estudiante encuentre una aplicación del conocimiento a la realidad: así el estudiante entenderá que los temas de clase no son cuestiones académicas que se quedan sobre el papel, sino que por el contrario, se utilizan a diario en una gran cantidad de sistemas que interactúan con las personas.
  • 17. BIBLIOGRAFÍA • Miller, Charles D. 2006. Matemática: razonamiento y aplicaciones. Editorial Pearson. Decima edición. México. p. 97. • Contreras A. 2007. Lógica Elementos Teóricos: Aprendizaje recreativo: Juegos lógicos y de ingenio. p. 89. • Flores M. 2005 Nivel medio superior y nivel superior Editorial Progreso. México p. 29. • Becerra J. 2005. Temas selectos de matemáticas…la amena forma de aprender más. Universidad nacional autónoma de México. p. 24.