hacer ensayo (1 hoja) sobre estos videos

http://profe-
alexz.blogspot.com/2010/05/logica-
proposicional.html
ENSAYO
En el video habla principalmente de la lógica proposicional y en él hay tres videos
de ejemplos de cómo poder resolver algunos enunciados sobre este tema, pero
primero veremos en si lo que es la lógica proposicional y sus principales
características y puntos.

La lógica matemática es una parte de la lógica y las matemáticas, que consiste en

el estudio matemático de la lógica y en la aplicación de este estudio a otras áreas
de las matemáticas. La lógica matemática tiene estrechas conexiones con la
ciencias de la computación y la lógica filosófica.

La lógica matemática estudia los sistemas formales en relación con el modo en el

que codifican nociones intuitivas de objetos matemáticos como conjuntos,
números, demostraciones y computación.

La lógica matemática suele dividirse en cuatro subcampos: teoría de modelos,

teoría de la demostración, teoría de conjuntos y teoría de la recursión. La
investigación en lógica matemática ha jugado un papel fundamental en el estudio
de los fundamentos de las matemáticas. Actualmente se usan indiferentemente
como sinónimos las expresiones: lógica simbólica( o logística), lógica matemática,
lógica teorética y lógica formal.[1]

La lógica matemática no es la «lógica de las matemáticas» sino la «matemática de

la lógica». Incluye aquellas partes de la lógica que pueden ser modeladas y
estudiadas matemáticamente

Considérese el siguiente argumento:

1. Mañana es miércoles o mañana es jueves.

2. Mañana no es jueves.
3. Por lo tanto, mañana es miércoles.

Es un argumento válido. Quiere decir que es imposible que las premisas sean
verdaderas y la conclusión falsa. Esto no quiere decir que la conclusión sea
verdadera. Si las premisas son falsas, entonces la conclusión también podría
serlo. Pero si las premisas son verdaderas, entonces la conclusión también lo es.
La validez de este argumento no se debe al significado de las expresiones
«mañana es miércoles» y «mañana es jueves», porque éstas podrían cambiarse
por otras y el argumento permanecer válido. Por ejemplo:

1. Está soleado o está nublado.

2. No está nublado.
3. Por lo tanto, está soleado.

En cambio, la validez de estos dos argumentos depende del significado de las

expresiones «o» y «no». Si alguna de estas expresiones se cambiara por otra,
entonces podría ser que los argumentos dejaran de ser válidos. Por ejemplo:

1. Ni está soleado ni está nublado.

2. No está nublado.
3. Por lo tanto, está soleado.

Las expresiones de las que depende la validez de los argumentos se llaman

constantes lógicas. La lógica proposicional estudia el comportamiento de algunas
de estas expresiones, llamadas conectivas lógicas. En cuanto a las expresiones
como "está nublado" o "mañana es jueves", lo único que importa de ellas es que
tengan un valor de verdad. Es por esto que se las reemplaza por simples letras,
cuya intención es simbolizar una expresión con valor de verdad cualquiera. A
estas letras se las llama variables proposicionales, y en general se toman del
alfabeto latino, empezando por la letra p, luego q, r, s, etc. Así, los dos primeros
argumentos de esta sección podrían reescribirse así:

1. p o q
2. No q
3. Por lo tanto, p

Y el tercer argumento, a pesar de no ser válido, puede reescribirse así:

1. Ni p ni q
2. No q
3. Por lo tanto, p

Conectivas lógicas

A continuación hay una tabla que despliega todas las conectivas lógicas que
ocupan a la lógica proposicional, incluyendo ejemplos de su uso en el lenguaje
natural y los símbolos que se utilizan para representarlas.

Conectiva Expresión Ejemplo Símbolo Símbolos

en el en alternativos
lenguaje este
 natural artículo

Negación no No está lloviendo.

Está lloviendo y está

Conjunción y .
nublado.

Está lloviendo o está

Disyunción o
soleado.

Condicional si... Si está soleado,

material entonces entonces es de día.

Está nublado si y sólo si

Bicondicional si y sólo si
hay nubes visibles.

Negación Ni está soleado ni está

ni... ni
conjunta nublado.

Disyunción o bien... o O bien está soleado, o

excluyente bien bien está nublado.

En la lógica proposicional, las conectivas lógicas son tratados 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».

Deducción natural

Un sistema de lógica proposicional también puede construirse a partir de un

conjunto vacío de axiomas. Para ello se especifican una serie de reglas de
inferencia que intentan capturar el modo en que naturalmente razonamos acerca
de las conectivas lógicas.
 Introducción de la negación:

Si suponer lleva a una contradicción, entonces se puede inferir que

(reducción al absurdo).

 Eliminación de la negación:

 Introducción de la conjunción:

 Eliminación de la conjunción:

 Introducción de la disyunción:

 Eliminación de la disyunción:

 Introducción del condicional (véase el teorema de la deducción):

Si suponer lleva a una prueba de , entonces se puede inferir que

.

 Eliminación del condicional (modus ponens):

 Introducción del bicondicional:

  Eliminación del bicondicional:

Conclusión:
En mi conclusión quiero recalcar que este tipo de información me fue muy útil
debido a que pude encontrar de estas fuentes lo que significaba y sobre todo ver
las soluciones y poner atención en los ejercicios para un posible solución a mi
trabajo en este documento, otra es que la lógica matemática ya estudiando más y
adentrándote al tema si es entendible, aparte pues de que el fin es entender y
lograr tener un razonamiento lógico porque en las matemáticas lo tienes que tener
para resolver cualquier tipo de problemas u operaciones, en particular me ayudó
mucho los videos ya que me resolvieron dudas que no sabía y principalmente este
es el principal motivo de los videos que puedas llegar a comprender y a resolver
por ti mismo este tipo de problemas.

Práctica No. 5 Lógica matemática

Experimento No. 1 Lógica preposicional usando el software Anallogica
Instale el software Anallogica-1-3 (si le funciona, pueden usar una versión
más reciente)
En preposiciones encontramos la lista de variables (letras del alfabeto) que
representan una expresión que puede ser falsa o verdadera, los operadores
o conectores lógicos son aquellos que nos permiten enlazar preposiciones y
hacer una proposición compuesta. Para formar una expresión utilice la lista
de variables de preposiciones, por ejemplo p V q, sería de la siguiente forma:
Agregar p

Agregar operador (en este caso disyunción)

Agregar q

Evaluar con el botón Hacer

Hacer un ejercicio de las tablas de verdad de los 7 operadores restantes que
tiene el software Anallogica (el menos antes de Conjunción es el operador de
negación), dándole valores a las preposiciones, en el ejemplo anterior si
p=”voy a trabajar” y q=”voy a bailar”, la preposición de pVq sería “voy a
trabajar o voy a bailar” y solo sería falsa si no voy a ninguna de las dos
actividades

Disyunción
p = ” El numero 2 es par”

q = ” la suma de 2 + 2 es 4″

entonces…

pvq: “El numero 2 es par o la suma de 2 + 2 es 4″

 Conjunción
p = ” El numero 2 es par”

q = ” la suma de 2 + 2 es 4″

entonces…

pvq: “El numero 2 es par o la suma de 2 + 2 es 4″

Conjunción negativa
p:  “4 + 4 es igual a 9”

-p: “4 + 4 no es igual a 9″
 Implicación
p:  “llueve”

q: “hay nubes”

p→q: “si llueve entonces hay nubes”

Bicondicional
p:  “10 es un número impar”

q: “6 es un número primo”

p↔q: “10 es un número impar si y solo si 6 es un número primo”

 Disyunción exclusión
 Estoy en Quito o estoy en Guayaquil.
 Trabajo o voy al cine.
 Como o duermo.
 Mañana le presto el libro a María o le presto a José
a b avb

0 0 0

0 1 1

1 0 1

1 1 0
   
 Experimento No. 2 Reglas de inferencia
usando el software Anallogica
Realice 4 ejercicios del 3 al 10 de la tabla inicial del experimento con el
software Anallogica

p q P -> Q ¬P P -> Q y ¬P (P->Q),¬P-> Q

V V V F F V
V F F F F V
F V V V V V
F F V V V F

p q P -> Q q P -> Q y q (P->Q),q->P

V V V V V V
V F F F F V
F V V V F V
F F V F F V

p q r P -> Q P -> R Q -> R P -> Q y Q -> R (P->Q)( Q -> R) -> (P->R)

V V V V V V V V
V V F V F F F F
V F F F F V F V
F V F V V F F F
F F V V V V V V
F F F V V V V V
p q ~Q ~P ~Q->~P (~Q->~P) y P (~Q->~P), P -> Q
V V F F V V V
V F V F F F V
F V F V V F V
F F V V V F V
 Experimento No. 3 Preposiciones simples y sus conectores

Localice una historia y trate de identificar las preposiciones simples y los

conectores que generan una preposición compleja, por ejemplo:
Guía para indicar por color el tipo de proposición y sus conectores
Preposiciones simples
Conjunciones
Disyunción
Implicación

AddThis Sharing Buttons

Share to PinterestShare to FacebookShare to TwitterShare to WhatsAppShare to Correo

Finanzas cerrará oficinas no esenciales en el

estado
Plano Informativo | 29/03/2020 | 16:21
La medida se toma para proteger la salud del personal y la ciudadanía.
San Luis Potosí, SLP.- Privilegiando la salud de las y los
potosinos, la Secretaría de Finanzas de Gobierno del Estado
cerrará las oficinas recaudadoras y administrativas no
esenciales en todo el estado, en tanto las autoridades
encargadas de la contingencia no dicten lo contrario, dicha
disposición se llevará a cabo a partir del sábado 28 de marzo
y reanudarán actividades ?el lunes 20 de abril.
 
Daniel Pedroza Gaitán, titular de la dependencia, señaló que
poner en resguardo la salud del personal de la secretaría, así
como la salud de la ciudadanía, es una responsabilidad del
Estado, por ello se toma esta medida de prevención ante la
pandemia del virus COVID-19.
 
De acuerdo con las medidas económicas dadas a conocer por
el gobernador Juan Manuel Carreras López, el plazo para
pagar control vehicular 2020 sin multas ni recargos se
extendió ?hasta el 30 de junio del presente año y se otorgará
un 20 por ciento de descuento a quienes utilicen los medios
de pago electrónicos.
 
La Secretaría de Finanzas cuenta con diversos servicios de
pago en línea a través del portal web
www.slpfinanzas.gob.mx, entre ellos el pago de control
vehicular, en donde las y los potosinos pueden realizar este
trámite de manera segura desde una computadora o celular.
 
Finanzas ofrece a la ciudadanía 20 servicios de pago en línea
de forma segura y 21 servicios en centros electrónicos.
 Experimento No. 4 Reglas de deducción en la vida real

Individualmente, cada alumno desarrollará una historia coherente en donde

debe mostrar el uso de por los menos dos reglas de inferencia, que a partir
de una serie de antecedentes llegue a un determinado consecuente. Está
historia le ayudara a visualizar como los modos tollendo tollens, ponendo
ponens, y sus variantes, así como el silogismo disyuntivo nos ayudan a
establecer un razonamiento, ya sea encadenamiento hacia atrás (como en el
caso de las series policiacas) o en el caso del encadenamiento hacia
adelante (planeación y determinación de un futuro posible). Debe presentar
primero la historia de manera continua, y posteriormente desglosar dicha
historia en expresiones de lógica de predicados y reglas de inferencia, que
demuestren el uso de la lógica matemática
Historia en Word con los siguientes elementos coloreados:
tollendo tollens, ponendo ponens, tollendo ponens, ponendo tollens,
silogismo
Coronavirus en México, en
vivo: últimas noticias,
muertos y casos de hoy 30
de marzo
URIEL SALMERÓN
Actualizado a: 30/03/2020 19:21

COMENTA

Hay nuevos mensajes

Última Hora | Coronavirus en México

De acuerdo con el informe más reciente de la Secretaría de Salud, estas son las
cifras del coronavirus en México presentadas este lunes 30 de marzo.  

Cifras oficiales del Coronavirus en México (Fase 2)

- Mil 94 casos confirmados.
- 2 mil 752 casos sospechosos.
- 5 mil 635 casos negativos.
- 28 defunciones.
Estas son las medidas que hoy aprobó el Consejo de Salubridad General:
Se ordena la suspensión inmediata desde el 30 de marzo al 30 de abril de
actividades no esenciales en sectores público, privado y social para mitigar la
propagación del coronavirus.
Actividades esenciales no paran (las que son necesarias para atender emergencia
sanitaria, las involucradas en la seguridad pública, los sectores esenciales para el
funcionamiento de la economía, operación de programas de gobierno, servicios
esenciales).

En todos los sectores esenciales se tendrán que aplicar las siguientes acciones:
no congregar a más de 50 personas, además de lavado de manos, estornudo de
etiqueta y sana distancia.

Se exhorta a la población a cumplir el resguardo domiciliario corresponsable del

30 de marzo al 30 de abril. Limitación voluntaria de movilidad. Permanecer en el
domicilio el mayor tiempo posible.

A toda persona mayor de 60 años o diagnóstico con enfermedades crónicas el

resguardo domiciliario es obligatorio incluso si trabaja en una actividad esencial.

El personal esencial de interés público, funcionarios de gobierno, podrán de

manera voluntaria presentarse a laborar.

La Secretaría de Salud en acuerdo con Economía y Trabajo emitirán lineamientos

para el regreso escalonado a las actividades.

Se deberán postergar hasta nuevo aviso todos los censos y encuestas que
involucren la movilización e interacción física.

Todas las medidas se aplicarán con apego a los derechos humanos.

"Estamos en una fase de ascenso rápido. Enfatizamos el sábado la importancia de

no perder la oportunidad de mitigar drásticamente la transmisión. Los efectos
principales los veremos en la fase 3, la fase de transmisión comunitaria. En este
momento estamos en la oportunidad de aprovechar las medidas que implican la
restricción masiva. Millones de personas deben restringir su movilidad para que
tengan efecto".

Hugo López Gatell comparte el informe técnico diario con la situación

epidemiológica de la situación del coronavirus en México y el mundo. Se registran
más de 693 mil casos alrededor del mundo (76% en los últimos 14 días). La
letalidad, dice el funcionario, ha aumentado ligeramente en las últimas semanas. 

Jorge Alcocer Varela dice: "Vivamos este tiempo con confianza y superaremos
juntos los retos que se nos presenten".

En la conferencia de esta noche se encuentran el subsecretario Hugo López

Gatell, el canciller Marcelo Ebrard Casaubón y el secretario de salud Jorge
Alcocer. El secretario, que ha tenido poco protagonismo en las últimas semanas,
pide a la ciudadanía no alarmarse por la situación en nuestro país.

Francisco Domínguez, gobernador de Querétaro, confirmó a través de su cuenta

personal de Twitter que dio positivo a COVID-19 después de realizarse una
prueba. El mandatario afirmó que se quedará en casa y seguirá el protocolo de las
autoridades de salud.