Las propsiciones son enuciados, por ejemplo la suma de los ángulos de un triángulo vale 180º
Si son indemostratables por su sencillez decimos que son postulados. Por ejemplo, por un punos esterior a una recta se puede tratazar una paralela y solo una.
Si son demostrables y se demostradas se convierten en teoremas
Una proposición lógica es un enunciado con sentido, del que se puede decir que es verdadero o falso, pero no las dos cosas al tiempo. El cálculo proposicional se encarga del estudio de las relaciones lógicas entre proposiciones.
son afirmaciones que se hacen y que tienen solo dos valores verdadero y falso , esto se usa en ingenieria para determinar las famosas tablas de verdad que son combinaciones entre dos o mas proposiciones y que luego dan lugar a las compuertas logicas, existe mucha teoria con esto como las leyes de morgan etc
Una proposición es una frase o sentencia declarativa que es verdadera o falsa pero no ambas cosas a la vez. El cálculo proposicional se encarga del estudio de las relaciones lógicas entre proposiciones.
Los conectivos lógicos se combinan con las proposiciones simples para formar nuevas proposiciones, que llamaremos proposiciones compuestas y representaremos con letras mayúsculas. Los conectivos lógicos básicos son:
* Negación: ¬
¬P, no p
* Disyunción: V
P V Q,p ó q
* Conjunción: /\
P /\ Q, p y q
* Implicación Condicional: ---->
P -----> Q, p implica q
* Implicación Bicondicional: <------>
P <------> Q, p si y solo si q
La proposición q ----> p es la recíproca de p -----> q, mientras que la proposición ¬ p -----> neg q es la contrarrecíproca de p -----> q.
Como hemos dicho, las proposiciones pueden tomar dos valores, verdadero o falso, que representaremos respectivamente con los números 1 y 0. Por tanto, cuando digamos que una proposición toma valor 1 estaremos diciendo que es verdadera.
El valor de verdad de una proposición compuesta queda determinado por los valores de las proposiciones simples que la forman. Las tablas de verdad nos indican los valores de verdad de una proposición para cada posible combinación de los valores de las proposiciones simples (variables) que la la forman.
TODO: ejemplo de tabla de verdad
Una tautología es una proposición compuesta que toma valor 1 para cualquier combinación de los valores de sus variables. Lo contrario de una tautología es una contradicción, proposición compuesta que siempre es falsa.
TODO: ejemplo de tautologia
Ya se que es un rollo, pero la lógica matemática tiene estas cosas.
Las preposiciones son palabras que se emplean en la formación de las oraciones para relacionar las ideas componentes de la misma; de manera que si ellas mismas no tienen un sentido expresivo propio, contribuyen de manera fundamental a darle sentido a la totalidad de la oración al establecer una relación semántica o de sentido.
A - ANTE - BAJO - CABE - CON - CONTRA - DE - DESDE - EN - ENTRE - HACIA
HASTA - PARA - POR - SEGÚN - SIN - SO - SOBRE - TRAS.
Answers & Comments
Verified answer
Las propsiciones son enuciados, por ejemplo la suma de los ángulos de un triángulo vale 180º
Si son indemostratables por su sencillez decimos que son postulados. Por ejemplo, por un punos esterior a una recta se puede tratazar una paralela y solo una.
Si son demostrables y se demostradas se convierten en teoremas
Una proposición lógica es un enunciado con sentido, del que se puede decir que es verdadero o falso, pero no las dos cosas al tiempo. El cálculo proposicional se encarga del estudio de las relaciones lógicas entre proposiciones.
proposiciones
son afirmaciones que se hacen y que tienen solo dos valores verdadero y falso , esto se usa en ingenieria para determinar las famosas tablas de verdad que son combinaciones entre dos o mas proposiciones y que luego dan lugar a las compuertas logicas, existe mucha teoria con esto como las leyes de morgan etc
Una proposición es una frase o sentencia declarativa que es verdadera o falsa pero no ambas cosas a la vez. El cálculo proposicional se encarga del estudio de las relaciones lógicas entre proposiciones.
Los conectivos lógicos se combinan con las proposiciones simples para formar nuevas proposiciones, que llamaremos proposiciones compuestas y representaremos con letras mayúsculas. Los conectivos lógicos básicos son:
* Negación: ¬
¬P, no p
* Disyunción: V
P V Q,p ó q
* Conjunción: /\
P /\ Q, p y q
* Implicación Condicional: ---->
P -----> Q, p implica q
* Implicación Bicondicional: <------>
P <------> Q, p si y solo si q
La proposición q ----> p es la recíproca de p -----> q, mientras que la proposición ¬ p -----> neg q es la contrarrecíproca de p -----> q.
Como hemos dicho, las proposiciones pueden tomar dos valores, verdadero o falso, que representaremos respectivamente con los números 1 y 0. Por tanto, cuando digamos que una proposición toma valor 1 estaremos diciendo que es verdadera.
El valor de verdad de una proposición compuesta queda determinado por los valores de las proposiciones simples que la forman. Las tablas de verdad nos indican los valores de verdad de una proposición para cada posible combinación de los valores de las proposiciones simples (variables) que la la forman.
TODO: ejemplo de tabla de verdad
Una tautología es una proposición compuesta que toma valor 1 para cualquier combinación de los valores de sus variables. Lo contrario de una tautología es una contradicción, proposición compuesta que siempre es falsa.
TODO: ejemplo de tautologia
Ya se que es un rollo, pero la lógica matemática tiene estas cosas.
hola jairotoc
Las preposiciones son palabras que se emplean en la formación de las oraciones para relacionar las ideas componentes de la misma; de manera que si ellas mismas no tienen un sentido expresivo propio, contribuyen de manera fundamental a darle sentido a la totalidad de la oración al establecer una relación semántica o de sentido.
A - ANTE - BAJO - CABE - CON - CONTRA - DE - DESDE - EN - ENTRE - HACIA
HASTA - PARA - POR - SEGÚN - SIN - SO - SOBRE - TRAS.
querrás decir preposiciones:
a, ante, bajo, con, contra, de, desde, durante, en, entre, hacia, hasta, mediante, para, por según, sin sobre, tras.
i la preposición es la clase de palabra invariable que introduce el llamado sintagma preposicional.
Hasta luego.