Está en la página 1de 11

LOGICA MATEMATICAS

Universidad Nacional Abierta y a Distancia


Vicerrectoría Académica y de Investigación
Guía de actividades y rúbrica de evaluación – Paso 2
Proposiciones y Tablas de Verdad

PRESENTADO POR.SANDRA PATRICIA PEÑA VELEZ


CÓDIGO:200611 (34.611.669)

No. Grupo:
471

PRESENTADO A.
ARNOL ORTIZ

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD


ESCUELA.ECISA
PROGRAMA: IMÁGENES DX Y RADIOLOGIA
SANTANDER DE QUILICHAO CAUCA
MARZO 2018
LOGICA MATEMATICAS

INTRODUCCION

Trabajo que contiene los aspectos importantes en la lógica matemática, desde la


definición de proposición, tipos de operadores lógicos, tautología, contradicción,
proposiciones condicionales y bicondicionales, demostración formal
LOGICA MATEMATICAS

OBJETIVOS GENERALES

Definir y reconocer las proposiciones simples y compuestas; además de eso entender


el verdadero significado de cada caso que se presenta

OBJETIVOS ESPECIFICOS

 Diferenciar las proporciones simples de las compuestas


 Construir proposiciones simples y compuestas
 Aplicar lo enseñado y entendido a nuestra vida cotidiana
 Clasificar diferentes proposiciones
LOGICA MATEMATICAS

1.TAREA 1; PROPOSICIONES
Cada estudiante debe seleccionar uno de los ejercicios referenciados y anunciar su
escogencia en el foro, de tal forma que coincida con los compañeros

D.
p: El año 2020 será un año bisiesto
q: En un año bisiesto febrero tiene 29 días
r: Los años bisiestos se dan cada dos años

[(𝒑→𝒒) →𝒓]↔(¬𝒒∨𝒓)

P Q r ¬𝒒 𝒑→𝒒 [(𝒑→𝒒)→𝒓 (¬𝒒∨𝒓)


[(𝒑→𝒒)→𝒓]↔(¬𝒒∨𝒓)

v V V F V V V V
V V F F V F F V
V F V V F V V V
V F F V F V V V
F V V F V V V V
F V F F V F F V
F F V V V V V V
F F F V V F V F

REPORTE DE SIMULADOR TRUNER

Tarea 1
p q r [(p→q)→r]↔(¬qVr)
Opción D
T T T T
T T F T V Y F: CONTINGENCIA
T F T T
T F F T
F T T T
F T F T
F F T T
F F F F
LOGICA MATEMATICAS

Tarea 2: Tablas de verdad

D. Si hoy es lunes y pasado mañana es miércoles entonces mañana es martes y mañana


no es jueves
(pΛq) →(rΛ¬s)

P q r s ¬s pΛq rΛ¬s (pΛq)→(rΛ¬s)

V V V V F V F F
V V V F V V V V
V V F V F V F F
V V F F V F F F
V F V V F F F V
V F V F V F V V
V F F V F F F V
V F F F V F F V
F V V V F F F V
F V V F V F V V
F V F V F F F V
F V F F V F F V
F F V V F F F V
F F V F V F V V
F F F V F F F V
F F F f V F F v

REPORTE DE SIMULADOR TRUNER

p q r s (pΛq)→(rΛ¬s)

T T T T F
T T T F T
T T F T F
T T F F F
T F T T T
T F T F T
T F F T T
T F F F T F- V : CONTINGENCIA
F T T T T
F T T F T
F T F T T
F T F F T
F F T T T
F F T F T
F F F T T
F F F F T
LOGICA MATEMATICAS

Tarea 3: Problemas de aplicación

Cada estudiante debe seleccionar uno de los ejercicios referenciados y anunciar su escogencia en el foro, de tal forma que no coincida con los compañeros
{[𝑝→(𝑞∨𝑟)]∧(𝑠→∼𝑞)∧(𝑡→∼𝑟)∧(𝑝∧𝑡)}→𝑞 V: TAUTOLOGIA
P q r s t ~ q ~ r (𝑞∨𝑟) [𝑝→(𝑞∨𝑟) (𝑠→∼𝑞) [𝑝→(𝑞∨𝑟)]∧(𝑠→∼𝑞) (𝑡→∼𝑟) (𝑝∧𝑡) (𝑡→∼𝑟)∧(𝑝∧𝑡) [𝑝→(𝑞∨𝑟)]∧(𝑠→∼𝑞)∧(𝑡→∼𝑟)∧(𝑝∧𝑡) 𝑝→(𝑞∨𝑟)]∧(𝑠→∼𝑞)∧(𝑡→∼𝑟)∧(𝑝∧𝑡)→𝑞

V V V V V F F V V F F F F F F V
V V V V F F F V V F F V V V F V
V V V F V F F V V V V F F F F V
V V V F F F F V V V V V V V V V
V V F V V F V V V F F V F F F V
V V F V F F V V V F F V V V F V
V V F F V F V V V V V V F F F V
V V F F F F V V V V V V V V F V
V F V V V V F V V V V F F F F V
V F V V F V F V V V V V V V F V
V F V F V V F V V V V F F F F V
V F V F F V F V V V V V V V F V
V F F V V V V F F V F V F F F V
V F F V F V V F F V F V V V F V
V F F F V V V F F V F V F F F V
V F F F F V V F F V F V V V F V
F V V V V F F V F F F F F F F V
F V V V F F F V V F F V F F F V
F V V F V F F V V V V F F F F V
F V V F F F F V V V V V F F F V
F V F V V F V V V F F V F F F V
F V F V F F V V V F F V F F F V
F V F F V F V V V V V V F F F V
F V F F F F V V V V V V F F F V
F F V V V V F V V V V F F F F V
F F V V F V F V V V V V F F F V
F F V F V V F V V V V F F F F V
F F V F F V F V V V V V F F F V
F F F V V V V F V V V V F F F V
F F F V F V V F V V V V F F F V
F F F F V V V F V V V V F F F V
F f F F f V V F v V V V F F F V
LOGICA MATEMATICAS

REPORTE DE SIMULADOR TRUNER


p q r s t {[p→(qVr)]Λ(s→¬q)Λ(t→¬r)Λ(pΛt)}→q

T T T T T T
T T T T F T
T T T F T T
T T T F F T
T T F T T T
T T F T F T
T T F F T T
T T F F F T
T F T T T T
T F T T F T
T F T F T T
T F T F F T
T F F T T T
T F F T F T
T F F F T T
T F F F F T
F T T T T T
F T T T F T
F T T F T T
F T T F F T
F T F T T T
F T F T F T
F T F F T T
F T F F F T
F F T T T T
F F T T F T
F F T F T T
F F T F F T
F F F T T T
F F F T F T
F F F F T T
F F F F F T

expression is a tautology
LOGICA MATEMATICAS

p: 10 es un numero natural
q: 7 es menor que 10
r: 5 es menor que 7
s: 7 es un número impar
t: 6 es un numero par

D. 10 es un numero natural ENTONCES 7 es menor que 10 O 5 es menor que 7 Y 7 es un número impar ENTONCES NO es cierto que 7 es menor que 10 Y 6 es un
numero par ENTONCES NO es cierto que 5 es menor que 7 Y que 10 es un numero natural Y 6 es un numero par ENTONCES 10 es un numero natural.
TABLA DE PARTICIPACION

Tabla 1
TABLA 1:PLAN DE ACCION - GRUPO ##
Datos Estudiante Fotografía Ejercicios Ejercicios seleccionado s
seleccionado revisar
sa
desarrollar
Identificación Tarea 1: D Tarea 1: A
Nombre
CEAD/CCAV/CERES/ UDR Tarea 2: D Tarea 2: D

Tarea 3: D Tarea 3: B
LOGICA MATEMATICAS

Conclusiones del trabajo

 La lógica proposicional es una de las piezas fundamentales de la Inteligencia Artificial, ya que, para realizar los cambios necesarios
para la evolución de esta ciencia, se precisa de un lenguaje formal para representar los hechos que se reciben del mundo real y el uso
de las proposiciones. El utilizar proposiciones es una señal que encaja en forma perfecta en este ámbito. Es un modo sencillo y práctico
de resolver un problema, considerando que se puede resolver disgregando el problema en proposiciones u oraciones sencillas que
permiten analizar los hechos y tomar decisiones, es decir, crear nuevas proposiciones u oraciones sencillas o compuestas que se
incorporan a la base de conocimiento, permitiendo el incremento y mejora de esta.

 Este trabajo nos ha permitido profundizar los conocimientos del uso de la lógica para la resolución de problemas o la representación
de la realidad a nivel de proposiciones.

 Buscar que el tema haya sido entendido y aplicado a nuestra carrera

 Queremos con este trabajo encontrar los errores antes de presentar a nuestros compañeros una información que ellos tomaran como
aporte a sus trabajos.
LOGICA MATEMATICAS

Referencias Bibliográficas

http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/
https://www.youtube.com/watch?v=ZKg7wt9EGJI&feature=player_embedd ed

INTERNET EXPLORED
ENCARTA 2006 BIBLIOTECA PREMIUM
LOGICA MATEMATICAS

También podría gustarte