1. UNIVERSIDAD NACIONAL DE EDUCACIÓN UNAE
ENSAYO DE MATEMÁTICAS
“LÓGICA MATEMÁTICA”
NOMBRE:
LOURDES TENE
ÁREA:
NIVELACIÓN EMBLEMÁTICA
PARALELO:
“ 3”
DOCENTE:
ING. Hugo Fernando Abril
2. PROPOSICIONES
Es un conjunto de palabras que es utilizado en nuestra vida diaria las
cuales forman oraciones que pueden ser verdaderas o falsas.
Quito es considerado Patrimonio Cultural del Ecuador.
Las oraciones interrogativas, exclamativas no son proposiciones.
¿Cómo estás?
¡auxilio!
Tabla de verdad
a b
1 l
1 Ф
Ф l
Ф Ф
Representación
simbólica
a:5 l
Ф
3. Operadores lógicos.
Negación. La proposición resultante será verdadera o falsa.
Conjunción. Sera verdadero cuando las dos proposiciones sean
Verdaderas.
Disyunción. Será falso cuando las dos proposiciones sean falsas.
Disyunción. Será verdadero solamente cuando una de ellas sea
Exclusiva verdadera.
Condicional. Sera falsa solamente cuando a sea verdadera y b
Sea falso.
(inversa, reciproca, contrareciproca)
Bicondicional. Sera verdadera cuando las dos proposiciones ya
Sea falso o verdadero tengan el mismo valor.
V
⊻
a→ b
b→ a
b→ a
↔
→
4. Proposiciones Simples. No tienen operadores lógicos
Proposiciones Compuestas. Si tienen operadores lógicos.
Variable Proposicional. Se representan proposiciones simples y compuestas.
Forma Proposicional. Se representan a las estructuras constituidas por variables
proposicionales y los operadores lógicos que las relacionan.
Implicación Lógico. Es el resultado de dos formas proposicionales.
A y B = A implica lógicamente a B.
A esto podemos añadir que cuando el resultado es verdadero se llama Tautología,
cuando es falso es Contradicción y si hay falsos y verdaderos es una Contingencia.