Please enable JavaScript.
Coggle requires JavaScript to display documents.
Construcción de Tablas De Verdad, Proposiciones que no son Simples,…
Construcción de Tablas De Verdad
Operadores Lógicos
Traducirlo al
Operadores Lógicos
Proposiciones Presentes
Lenguaje Simbólico
con diferentes expresiones gramaticales.
realizar parafraseos
Objetivos
Se interpreta mediante
su tabla de verdad
Dada una proposición
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
Una condicional de proposiciones
La cantidad de combinaciones
filas de la tabla de verdad
depende de la cantidad de proposiciones
Proposiciones que no son Simples
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
Variaciones de la condicional
La inversa seria: "Si no es un automovil ,entonces no es un medio de transporte
Condicional de proposiciones
Disyuncion
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
¬a: Quiero hacer el viaje
la negación de a es representada
simbólicamente por ¬a
sean ayb
representadas por a<b
proposiciobes la conjuncion entre ayb
es una nueva proposicion.
entre ayb
entre ayb es :
avb es :
simbólicamente por avb
Tengo un libro de Trigonometría o uno de Algebra
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
"Si n es divisible para 16 ,n es divisible para 2"
parafraseando la proposición
"n es divisible para 16" es condicion suficiente para que "n sea divisible para 2".
