Construcción de Tablas De Verdad
Operadores Lógicos
La cantidad de combinaciones
Traducirlo al
filas de la tabla de verdad
depende de la cantidad de proposiciones
con diferentes expresiones gramaticales.
realizar parafraseos
Objetivos
Se interpreta mediante
su tabla de verdad
click to edit
Operadores Lógicos
Proposiciones Presentes
Lenguaje Simbólico
Variaciones de la condicional
Dada una proposición
Proposiciones que no son Simples
Una condicional de proposiciones
en el lenguaje interpretar en lenguaje natural
condicional verdadera, analizar
condiciones necesarias y suficientes
condicional ,realizar parafraseos,
con diferentes gramaticales existentes
condicional para determinar su recriproca,contrareciproca y inversa
click to edit
No te encontre en tu casa
la necesidad de definir los nexos
de estas proposiciones
Fui al banco y estaba encerrado
son denominados operadores logicos ,partes invariables de la oracion
conectores
se denominan
Negación de a representada por -a
La inversa seria: "Si no es un automovil ,entonces no es un medio de transporte
click to edit
Condicional de proposiciones
Disyuncion
click to edit
Conjunción
Negacion
si a es una proposición verdadera , ¬a es falsa
si a es una proposición falsa,¬ a es verdadera
Ejemplo
a:No quiero hacer el viaje
click to edit
la negación de a es representada
simbólicamente por ¬a
¬a: Quiero hacer el viaje
sean ayb
click to edit
representadas por a<b
proposiciobes la conjuncion entre ayb
click to edit
es una nueva proposicion.
click to edit
entre ayb
entre ayb es :
avb es :
simbólicamente por avb
Tengo un libro de Trigonometría o uno de Algebra
click to edit
Si se tienen las proposiciones
b:Juan dona $10.000
a:Juan gana el concurso
"Si es un automovil , entonces
es un medio de transporte"
La reciproca seria:
"Si es un medio de transporte ,entonces
es un automovil "
La contrarrecíproca seria: "Si no es un medio de transporte, entonces no es un automovil"
Condiciones necesarias y suficientes
click to edit
"Si n es divisible para 16 ,n es divisible para 2"
click to edit
parafraseando la proposición
"n es divisible para 16" es condicion suficiente para que "n sea divisible para 2".
click to edit
click to edit
click to edit