Please enable JavaScript.
Coggle requires JavaScript to display documents.
Lógica proposicional y operaciones lógicas (¿Que es la lógica? (La lógica…
Lógica proposicional y operaciones lógicas
¿Que es la lógica?
La lógica proposicional es el análisis lógico que se ocupa del estudio de las conectivas lingüísticas y sus conectivos lógicos asociados en relación a los conceptos de verdad y demostración
¿Que son las proposiciones?
Una proposición es una sentencia que puede ser verdadera, circunstancia que indicaremos asociándola el valor de verdad V , o falsa, en cuyo caso le asociaremos el valor de verdad F
¿Cuales son los conectivos que se utilizan en las proposiciones?
y[^],conjuncion
o[v],disyuncion
no[~],negacion
si...entonces..[->],condicional
si y solo si[<->]bicondicional
o bien p o bien q[pAq]disyunción exclusiva
EJM conectivos simples:
r:hoy no vino carlos
EJM conectivos compuestos:
~p: no probé la comida
p^q: hay pollo y pescado
pvq: come o no sales
p->q: si tu comes entonces yo también
p<->q: yo como si y solo si ana come
pAq: comamos bien o paremos de comer
¿como se construyen la proposiciones?
una proposición expresa un contenido semántico a la que bajo cierto procedimiento acordado o prescrito es posible asignarle un valor de verdad una vez establecidos los axiomas el resto de propiedades verdaderas o teoremas se obtienen mediante deducciones lógicas o demostraciones a partir de los axiomas o de otros teoremas previamente demostrados
¿Clases de proposiciones?
en la proposiciones lógicas hay dos tipos (simples o compuestos)
simples
son aquellas no usan conectores lógicos y que se pueden presentar por una sola variable; osea por una sola letra
compuestas
son aquellas usan conectores lógicos y que se pueden presentar por lo menos por una variable y algún o algunos símbolos
tautología
es cuando toda proposición simple o compuesta da como resultado verdadero
contradicción
es cuando toda proposición simple o compuesta da como resultado falso
contingencia
es cuando toda proposición simple o compuesta da como resultado al menos un verdadero y un falso
Creación de tablas
tiene como base el sistema binario que se compone de (0,1)verdadero o falso,
contiene n numero de proposiciones y 2n el numero de filas; se lee de derecha a izquierda
los conjutos
los conjuntos son una colección desordenada de valores no repetidos; los conjuntos se denotan con las letras mayúsculas y los elementos con minúsculas.
https://es.wikipedia.org/wiki/Proposici%C3%B3n
