Lógica

Matematica
UNIDAD I
Participantes

 Luis Gabriel Sánchez Bernard 17-6945

 Mayobanex Del Orbe Minier 17-7869
 Rafael David Sánchez matrícula 17-8648
Proposiciones

 Proposiciones
 Es una oración que puede ser falsa o verdadera pero no ambas a la
vez

Proposiciones Simples
son aquellas que unen un sujeto con un objeto a partir del verbo es

Ejemplo:
el 9 y 27 son factores de 81
los números pares son divisibles entre dos

Luis
Proposiciones

 Proposiciones compuestas
 Aparecen mediadas por la presencia de alguna clase de conector(o,
y, si)

 Ejemplos:
La raíz cuadrada de 25 es 5 y -5
Los aparatos tecnológicos son negros y blancos.
Proposiciones

 Proposiciones validas y no validas

 Ejemplos
 p: el sol es una estrella
 q: 10 + 5 = 7
 r: Hola, Como están?
Operaciones Lógicas

 Es aquella que asigna un valor(verdad o falso) a la

combinación de condiciones de uno o mas factores o
variables
Operadores Lógicos

 Y Conjunción Л
 Negación ~
 O Disyunción V
 O…O Disyunción Exclusiva V
 Si … Entonces Condicional →
 Si y solo si Bicondicional ↔
 Ni…Ni Conjunción negativa ↓
Cálculo proposicional

 El cálculo proposicional es el estudio de las relaciones lógicas entre

objetos llamados proposiciones, que frecuentemente pueden
interpretarse como afirmaciones que tienen algún significado en
contextos de la vida real.

Mayobanex
Una proposición es cualquier frase que tenga
un valor de verdad bien definido, es decir, que
sea verdadera o falsa.
 Proposiciones
 Santo domingo esta en América
 2 por 2 es igual a 4
 El color de ese auto es rojo
 Esta lloviendo
 No proposiciones
 Inserte el CD
 Que día es hoy
 Donde estoy
 Socorro!!
En el cálculo proposicional se utilizan letras
minúsculas p,q,r,s… para simbolizar proposiciones, las
que se combinan para obtener proposiciones
compuestas utilizando símbolos conectivos lógicos

 p: Santo Domingo esta en América

 q: 2 por 2 es igual a 4
 p ∧ q Santo Domingo esta en América y 2 por 2 es igual a 4
 p ∧ (¬q) Santo Domingo esta en América y 2 por 2 no es igual a 4
 (¬p) ∧ (¬q) Santo domingo no esta en América y 2 por 2 no es igual 4
 p ∨ q Santo Domingo esta en América o 2 por 2 es igual a 4
 p ∨ (¬q) Santo Domingo esta en América o 2 por 2 no es igual 4
 (¬p)∨ q Santo domingo no esta en América o y 2 por 2 es igual a 4
La lógica de predicados (también llamada lógica de
primer orden) es una extensión de
la lógica proposicional que usa variables para los
objetos. Estas variables se pueden combinar con
símbolos de función para representar objetos nuevos
y con símbolos de predicado para describir
relaciones entre objetos.
 En situaciones con un conjunto finito (pequeño) de elementos, esto es
suficiente para hablar de existe, todo, para todo.
 si tenemos 3 estudiantes A, B y C, tomando p=“A juega tenis”, q=“B
juega tenis”, r=“C tiene juega tenis”
 la afirmación “existe un estudiante que juega tenis” se puede
representar por p ∨ q ∨ r
La lógica proposicional

 trata con sistemas lógicos que carecen de cuantificadores, o

variables interpretables como entidades. En lógica proposicional si
bien no hay signos para variables de tipo entidad, sí existen signos
para variables proposicionales (es decir, que pueden ser
interpretadas como proposiciones con un valor de verdad
definido), de ahí el nombre proposicional. La lógica proposicional
incluye además de variables interpretables
como proposiciones simples signos para conectivas lógicas, por lo
que dentro de este tipo de lógica puede analizarse la inferencia
lógica de proposiciones a partir de proposiciones, pero sin tener en
cuenta la estructura interna de las proposiciones más simples.

Rafael
Conectivas lógicas

 se tratan como funciones de verdad. Es decir, como funciones que

toman conjuntos de valores de verdad y devuelven valores de
verdad. Por ejemplo, la conectiva lógica «no» es una función que si
toma el valor de verdad V, devuelve F, y si toma el valor de verdad
F, devuelve V. Por lo tanto, si se aplica la función «no» a una letra
que represente una proposición falsa, el resultado será algo
verdadero. Si es falso que «está lloviendo», entonces será
verdadero que «no está lloviendo».
 El significado de las conectivas lógicas no es nada más que su
comportamiento como funciones de verdad. Cada conectiva
lógica se distingue de las otras por los valores de verdad que
devuelve frente a las distintas combinaciones de valores de verdad
que puede recibir.
Preguntas
Fin