LOGICA PROPOSICIONAL

NOMBRE DEL ALUMNO: Jazmin Morales Avila.

GRADO: 5to.




GRUPO: ” D”.




MATERIA: Logica Matematica.




PROFESOR: Miguel Angel Moreno Martinez.




ESCUELA: UPAV.

1

INDICE

PRESENTACION…………………………1

INDICE……………………………………2

INTRODUCCION………………………3

PROPOSICION LOGICA………………4


TABLAS DE VERDAD………………5


TAUTOLOGIA Y CONTRADICCION..6


EQUIVALENCIA LOGICA…………….7


CONCLUSIONES…………………………8


BIBLIOGRAFIA…………………………9

2
 INTRODUCION

ESTE TEMA INCLUYE 4 CONOCIMIENTOS SOBRELOGICA MATEMATICA, COMO LOS
SON LOS SIGUIENTES SUBTEMAS: “PROPOSICION LOGICA” DE LA MANO CON UN
BREVE MAPA CONCEPTUAL, “TABLAS DE VERDAD” CON SU CONCEPTO Y UNOS
EJEMPLOS, “TAUTOLOGIA Y CONTRADICCION” CONCEPTO Y UN EJEMPLO,
“EQUIVALENCIA LOGICA” CONCEPTO Y ALGUNAS IMÁGENES DE APOYO AL LECTOR.

TIENE COMO OBJETIVO PROPORCIONAR AL ALUMNO CONOCIMIENTOS BASICOS

SOBRE LOS TEMAS SEÑALADOS ANTERIORMENTE.

3
 PROPOSICION LOGICA

PROPOSICIONES LOGICAS

Es una oración enunciativa, es

decir, una oración que afirma o
niega algoque pueda ser
verdadera o falsa

SIMPLES O COMPUESTAS O SINTAXIS

ATOMICAS MOLECULARES
simbolos: V o T
Son aquellas que (verdadero), F
Son aquellas estan formadas por (falso) Variables: p,
posiciones que no dos o más q, r, s, t...
se pueden dividir proposiciones Operadores logicos
simples unidas por : ∧, ∨, →, ↔, ¬, ~
los operadores
lógicos
CONJUNCIO DISYUNCION CONDICIONAL BICONDICIONAL NEGACION
N
Simbolo “^“ Simbolo ¨→¨
es aquella Simbolo "v", es una Simbolo
es aquella Simbolo "¬",
conectiva que conectiva que ¨↔`es aquella
conectiva que es aquella
da lugar a da lugar a conectiva
da lugar a conectiva
formulas fórmulas que da lugar
fórmulas que invierte
complejas complejas a formulas
complejas que el valor de
que son que son complejas
son verdad de
verdaderas verdaderas que son
verdaderas, una
únicamente en todos los verdaderas
cuando al proposición,
cuando son casos menos cuando
menos una de es decir, la
verdaderas cuando coinciden los
las convierte en
las dos siendo valores de
proposiciones verdadera si
proposiciones verdadero el verdad de las
que las es falsa, y en
que las antecedente( proposicione
componen es falsa si es
componen. antes de la s que la
verdadera. verdadera.
flecha) es componen.
falso el
consecuente.

4
 tABLAS DE VERDAD


CONCEPTO: En el lenguaje de la lógica proposicional, las funciones de verdad se
representa mediante conectores lógicos. Gracias a estos podemos construir nuevas
proposiciones a partir de otras.

Los conectores lógicos reciben como argumentos valores de verdad. Cada fila
representa una posible combinación de valores de verdad, o lo que es lo mismo, las
posibles interpretaciones de dos variables proposicionales (p y q).
¬P

NEGACION
Este es un conector monádico, para un solo argumento. La negación cambia la
veracidad o falsedad de un enunciado. Debe quedar claro que no es lo mismo que la
negación gramatical.
Una proposición p puede ser por ejemplo <<No hay un Balrog en Moria>>, que es una
oración negativa. Es viable y en caso de que fuera falsa, ¬p debe ser opuesta e
incompatible, es decir, verdadera (<<Hay un Balrog en Moria>>).

p∧q

CONJUNCION
La conjuncion, equivalente al castellano<<…y…>>, es verdadera solo cuando ambas
proposiciones son verdaderas.

5
 TAUTOLOGIA Y CONTRADICCION

TAUTOLOGIA: Una tautologia es una expresion lógica que es verdadera para todos los
posibles valores de verdad de sus componentes atómicos.
Las proposiciones dan el resultado positivo.

Ejemplo:

CONTRADICCION: Son aquellas fórmulas que son falsas para cualquier valoración que
los símbolos proposicionales que contiene.
Las proposiciones dan el resultado negativo.

Ejemplo:

6
 EQUIVALENCIA LOGICA

En una primera aproximación intuitiva, decimos que dos enunciados son equivalentes
lógicamente cuando “dicen lo mismo”. Esto quiere decir que estos dos enunciados
serán verdaderos o falsos en las mismas circunstancias.

En consecuencia, si dos enunciados son lógicamente equivalentes no puede haber
una sola circunstancia en la que un enunciado sea verdadero, y el otro falso, o, en
otras palabras, sus respectivos valores de verdad coinciden para cualquier
interpretación.

Por lo tanto, si para cada interpretación dos enunciados moleculares reciben el
mismo valor de verdad, ambos son lógicamente equivalentes.

Hablando en términos de tablas de verdad, dos enunciados son equivalentes
lógicamente cuando los valores de verdad de sus respectivas conectivas dominantes
son iguales.


Ejemplo:

7
 CONCLUSIONES

FUEN UN TRIMESTRE MUY AMENO DE LA MANO DE NUETRO PROFESOR, SIN DUDA
NOS HA DEJADO MUCHOS APRENDIZAJES, ALGUNOS DIFICILES, OTROS FACILES,
PERO NADA QUE NO PUDIERAMOS RESOLVER Y TODOS NUEVAMENTE SIN DUDA
MUY ENRIQUECEDORES.

SIN MAS QUE AGREGAR, NO ME QUEDA MAS QUE DAR LAS GRACIAS A NUESTRO
PROFESOR POR UN GRAN TRIMESTRE FINALIZADO LLENO DE MUCHA ENSEÑANZA.

8
 BIBLIOGRAFIA

https://www.google.com/url?sa=t&rct=j&q=&es
rc=s&source=web&cd=&ved=2ahUKEwi3jqrG7_P9Ah
WxTTABHebTBJ0QFnoECAgQAw&url=https%3A%2F
%2Fes.wikipedia.org%2Fwiki%2FAnexo%3AS%25C3
%25ADmbolos_l%25C3%25B3gicos&usg=AOvVaw2cO6
wZvb8ImMnJofg5nPil

https://www.google.com/url?sa=t&rct=j&q=&es
rc=s&source=web&cd=&ved=2ahUKEwjjxPTW_PP9A
hVHSDABHSfCBPQ4ChAWegQIHRAB&url=https%3A%
2F%2Fslideplayer.es%2Fslide%2F30392%2F&usg=AO
vVaw2eSh25RdfDt1ZwPbZbBsHg

https://www.google.com/url?sa=t&rct=j&q=&es
rc=s&source=web&cd=&cad=rja&uact=8&ved=2ah
UKEwiR1sTv_PP9AhUGaDABHaeNApQQFnoECCUQAQ&
url=https%3A%2F%2Flamaquinaoraculo.com%2F
matematicas%2Ftablas-verdad-
proposicional%2F&usg=AOvVaw23edAw8V4s63gWm
v2IwdhK

https://www.google.com/url?sa=t&rct=j&q=&es
rc=s&source=web&cd=&ved=2ahUKEwjCz-
GK_fP9AhXDQjABHQ6FD7cQFnoECCgQAQ&url=https
%3A%2F%2Fwww.ejemplode.com%2F29-
logica%2F2381-
ejemplo_de_proposiciones.html&usg=AOvVaw1ru
V_Eva96rlei4U509sR_

https://www.google.com/url?sa=t&rct=j&q=&es
rc=s&source=web&cd=&cad=rja&uact=8&ved=2ah
UKEwi9_e-
m_fP9AhULr4QIHZtCAREQFnoECAkQAw&url=https
%3A%2F%2Fes.wikiversity.org%2Fwiki%2FL%25C3
%25B3gica_proposicional%2FEquivalencias&usg=
AOvVaw2JUej2rpb_TwC-v04cQjjR