Proposiciones
lógicas(matemáticas
allendoerfer)
• Una proposición lógica es un enunciado del que se puede decir
que es verdadero o falso.
Los enunciados donde se puede definir si es verdadero o falso
son proporciones
Ejemplos
1)2+3=5 (Verdadero)
2)Simón Bolívar nació en Caracas (Verdadero)
Los siguientes enunciados que no son verdaderos, ni falsos son
ordenes:
• Abre la puerta
• pinte la pared
• estudia la lección
Los siguientes enunciados pueden ser o no ser proposiciones, por
el ser verdadero o falso depende de los gustos o circunstancias.
• Margarita es hermosa
• Las matemáticas son difíciles
• El agua esta fría
Representaciones de las proposiciones
Las proposiciones se representan por las letras minúsculas
p,q,r,s…
p:2 es un numero entero
q: 3*2=2*3
r: todos los caballos son blancos
Proposiciones y Valores de Verdad (guía aprendizaje ut)
Una proposición o enunciado, es una oración declarativa carente de
ambigüedad, puede ser verdadera o falsa, pero nunca las dos cosas a la
vez. La veracidad o falsedad de un enunciado corresponde a su Valor
de Verdad.
Proposición y oración
La diferencia central entre una oración y una proposición, es que la
proposición puede tener varias de las oraciones, es decir, las
proposiciones forman parte de una oración. Las proposiciones se
relacionan entre sí mediante los juicios, y son la base del sistema
deductivo e inductivo de la lógica formal.
Las proposiciones se clasifican dos tipos de acuerdo a su estructura
interna:
Las proposiciones se clasifican dos tipos de acuerdo a su
estructura interna:
Proposiciones simples: También llamadas, proposiciones
atómicas. Poseen una formulación sencilla desprovista de
negaciones y nexos, por lo que constituyen un único término
lógico.
Ejemplos:
• Un triángulo tiene tres lados
• Los niños son seres Humanos
• La tierra gira alrededor de su eje imaginario
• La suma de cuatro más cinco es nueve
Proposiciones compuestas: También llamadas, proposiciones
moleculares. Poseen dos términos unidos por un nexo, o
emplean negaciones dentro de su formulación, resultando en
estructuras más complejas. Ejemplos:
• Un cuadrado no tiene tres lados
• Los niños son seres Humanos y las mujeres también
• La tierra gira alrededor de su eje imaginario y lo hace en 24
horas
• La suma de cuatro más cinco es nueve y su producto es veinte
• El día está soleado y debo hidratarme Llegué tarde porque
había mucho tráfico
Conectores lógicos (guía aprendizaje ut)
Son palabras o expresiones esenciales que actúan como enlaces
en un texto, relacionando ideas y proporcionando coherencia y
fluidez a la narrativa. Su función va más allá de unir simples
oraciones: determinan la relación lógica entre las ideas, ya sea de
causa y efecto, contraste, secuencia, entre otras.
Ejemplos:
p:Esta lloviendo
q:La calle esta mojada
Valor de verdad de una proposición
Valor de verdad de una proposición
El valor de verdad de una proposición es un valor que indica en
qué medida es verdadera (V) o falsa (F). Para determinar el valor
de verdad de una proposición, se debe expresarla primero en
lenguaje simbólico, formularla lógicamente, e introducir los
valores de verdadero y falso en cada uno de sus términos, para
formar la tabla de la verdad, en la que se expresan las
posibilidades del valor de verdad de la proposición.
Operaciones lógica :Tabla de verdad
• Negación: La negación de una proposición p es falsa cuando el valor
de verdad de p es verdadero y es verdadero si el valor de verdad de p
es falso. Si p es verdadera, entonces ~p es falsa; y si p es falsa,
entonces ~p es verdadera
Conjunción ∧ (y)
• La conjunción de dos preposiciones p y q es verdadera cuando el
valor de verdad de las dos proposiciones son verdaderas, en caso
contrario es falso. Se lee p y q. Si p y q son verdaderas, entonces p ∧ q
es verdadera; en otro caso, p ∧ q es falsa
Disyunción v(o)
• La disyunción de dos preposiciones p y q es falsa cuando el valor de
verdad de las dos proposiciones son falsas, en caso contrario es
verdadera. Se lee p ó q. Si p y q son falsas, entonces p ∨ q es falsa; en
otro caso, p ∨ q es verdadera.
Condicional :entonces
• Si p es el antecedente y q es la
conclusión , p entonces q es
falsa cuando el antecedente es
verdadero y la conclusión es
falsa; el resto de casos es
verdadero
Condicional :entonces
• Si p es el antecedente y q es la
conclusión , p entonces q es
falsa cuando el antecedente es
verdadero y la conclusión es
falsa; el resto de casos es
verdadero
BICONDICIONAL: Si y solo si
• El bicondicional de dos preposiciones p y q, p ↔ q es verdadera
cuando p y q coinciden y cumple (p → q) ∧ (p → q). Se lee “p si y sólo
si q” ó “p es una condición necesaria y suficiente para q”
Tablas de verdad (allendoerfer)
Construcción de la tabla de verdad
Tautología
Contradicción
Contradicción
Contradicción
