Unidad 1 Logica Matematica

UNIDAD #1 LOGICA MATEMATICA
Proposiciones
Una proposición es una unidad semántica que, o solo es verdadera o solo es falsa.
Se representan con las letras del abecedario a, b, c, d, etc.
Valor de verdad
Es la cualidad de veracidad que describe adecuadamente la proposición. Este puede ser verdadero o falso.
Tabla de verdad
Es una representación de los posibles valores de verdad que podría tomar una proposición.
Construcción de una tabla de verdad
Operadores Lógicos
Son los nexos o conectores de las proposiciones.
Ejemplos:
No te encontré en tu casa.
Fui al banco y estaba cerrado.
Tengo una moneda de cinco centavos o una de diez centavos.
El carro de Juan o es azul o es negro.
Si me gano la lotería, entonces me compro una casa.
Estudio en la ESPOL si y solo si me esfuerzo.
Negación
Este operador cambia el valor de verdad de una proposición.
a ¬a
0 1
1 0
Términos gramaticales: “No” “Ni” “No es verdad que” “No es cierto que”
Conjunción
La proposición resultante será verdadera solamente cuando el valor de verdad de ambas proposiciones es
verdadero.
a b aᴧb
0 0 0
0 1 0
1 0 0
1 1 1
Términos gramaticales: “Y” “Pero” “Mas” “Signos de puntuación”
Disyunción
La proposición resultante será falsa solamente cuando el valor de verdad de ambas proposiciones es falso.
a b a˅b
0 0 0
0 1 1
1 0 1
1 1 1
Términos gramaticales: “O”

Disyunción Exclusiva
La proposición resultante será verdadera cuando solamente una de las proposiciones sea verdadera.
a b avb
0 0 0
0 1 1
1 0 1
1 1 0
Términos gramaticales: “O solo” “O solamente” “O…, o…”
Condicional
La proposición resultante será falsa solamente cuando el valor de verdad del antecedente sea verdadero y el
valor del consecuente sea falso.
a b a→b
0 0 1
0 1 1
1 0 0
1 1 1
Términos gramaticales: “Si a, entonces b” “a solo si b” “a solamente si b”

“b cuando a” “b siempre que a” “b cada vez que a” “b ya que a” “b debido a que a” “b puesto que a” “b porque
a” “solo si b, a” “b porque a” “b con la condición de que a”
OJO!!
Existen otras proposiciones relacionadas con la condicional a→b
Reciproca b→a
Inversa ¬a→¬b
Contrarrecíproca ¬b→¬a
Bicondicional
La proposición resultante será verdadera cuando los valores de verdad de las proposiciones sean iguales.
a b a↔b
0 0 1
0 1 0
1 0 0
1 1 1
Términos gramaticales: “a si y solo si b” “a si y solamente si b” “a cuándo y solo cuando b”

Proposiciones Simples
No poseen operador lógico alguno.
Proposiciones Compuestas
Están formadas por otras proposiciones y operadores lógicos.
Formas Proposicionales
• Son las estructuras constituidas por variables proposicionales y los operadores lógicos que las
relacionan.
• Se representan con las letras mayúsculas del alfabeto español A, B, C, D, etc.
• También se pueden conectar con operadores lógicos para formar nuevas formas proposicionales,
Dadas A y B, los símbolos ¬A, AᴧB, AvB, AvB, A→B, A↔B son nuevas formas proposicionales
Variables proposicionales
p constituye una variable proposicional cuando puede representar a una proposición simple o compuesta.
Las letras en minúscula del alfabeto español p, q, r, etc., se usan para representar las variables proposicionales.
Estructura lógica de una forma proposicional.
• Si se tienen solamente proposiciones verdaderas para todos los valores de verdad de las variables
proposicionales, se dice que es Tautología.
• Si se tienen solamente proposiciones falsas para todos los valores de verdad de las variables
proposicionales, se dice que es Contradicción.
• Si se tienen algunas proposiciones verdaderas y otras falsas para los valores de verdad de las variables
proposicionales, se dice que es Contingencia
Implicación lógica
Sean A y B dos formas proposicionales, se dice que A implica lógicamente a B, denotado por A=>B, si y solo si
A→B es una tautología.
Equivalencia lógica
Sean A y B dos formas proposicionales, se dice que A es equivalente lógicamente a B, denotado por A<=>B,
si y solo si A↔B es una tautología.
Propiedades de los operadores lógicos

Razonamientos
Son proposiciones compuestas que pueden ser representadas por la conjunción de proposiciones denominadas
premisas o hipótesis, la condicional como operador lógico principal; y, una proposición final denominada
conclusión.
Las premisas o hipótesis corresponden al antecedente de la implicación, mientras que la conclusión es su

consecuente.
Validez de un razonamiento
Es válido cuando la forma proposicional que representa su estructura lógica es una tautología. Si dicha
proposicional es una contradicción o una contingencia, entonces el razonamiento no es válido, en cuyo caso se
denomina falacia.

Unidad 1 Logica Matematica

Cargado por

Copyright:

Formatos disponibles

Unidad 1 Logica Matematica

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Unidad 1 Logica Matematica

Cargado por

Copyright:

Formatos disponibles

UNIDAD #1 LOGICA MATEMATICA

Construcción de una tabla de verdad

Términos gramaticales: “Y” “Pero” “Mas” “Signos de puntuación”

Términos gramaticales: “O”

Términos gramaticales: “O solo” “O solamente” “O…, o…”

Términos gramaticales: “Si a, entonces b” “a solo si b” “a solamente si b”

Términos gramaticales: “a si y solo si b” “a si y solamente si b” “a cuándo y solo cuando b”

Estructura lógica de una forma proposicional.

Propiedades de los operadores lógicos

Las premisas o hipótesis corresponden al antecedente de la implicación, mientras que la conclusión es su

También podría gustarte