tablas de verdad
Páginas: 2 (457 palabras)
Publicado: 16 de noviembre de 2013
TABLAS DE VERDAD.
Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra el valor de verdad de una proposición compuesta, para cada combinación de valores de verdad que sepueda asignar a sus componentes. Fue desarrollada por Charles Sanders Peirce por los años 1880, pero el formato más popular es el que introdujo Ludwig Wittgenstein.
La lógica es un disciplina que sepreocupa por estudiar los métodos para distinguir entre argumentos válidos o invalido, correctos o incorrectos. Para ello la lógica a desarrollado un sistema de notación especial.
El cálculoproposicional estudia las relaciones entre diferentes proposiciones, que permiten obtener conclusiones, es decir, nuevas proposiciones ligadas en forma necesaria a las ya conocidas (llamadas premisas).Clasificación de las proposiciones:
Simples: tienen un solo objeto, verbo y predicado.
Compuestas: tienen más de un sujeto, verbo o predicado.
Las conectivas lógicas.
El cálculo proposicional secaracteriza por el uso de ciertos símbolos especiales que sirven para indicar un nexo entre diversas proposiciones y son las que corresponden a las proposiciones negativas, disyuntivas fuertes, disyuntivasdébiles, condicionales y bicondicionales.
Proposiciones negativas.
Cuando una proposición se designa con la letra p, entonces su negación se designa con el símbolo ῀p. Asi pues la negación se expresacon la conectiva lógica: ῀
Proposiciones conjuntivas.
En algunos casos se requiere unir dos proposiciones con la conjunción “y” en este materia se utiliza realizando la conectiva lógica “ʌ”Proposiciones disyuntivas débiles o inclusivas.
la disyunción entre dos proposiciones también tiene su conectiva lógica propia: “v” así pues “pvq” significa que unimos las dos proposiciones con la disyuntiva“o”.
Proposiciones disyuntivas fuertes o exclusivas.
En este caso las dos proposiciones se rechazan completamente de modo que si una es verdadera, la otra será necesariamente falsa. El...
Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra el valor de verdad de una proposición compuesta, para cada combinación de valores de verdad que sepueda asignar a sus componentes. Fue desarrollada por Charles Sanders Peirce por los años 1880, pero el formato más popular es el que introdujo Ludwig Wittgenstein.
La lógica es un disciplina que sepreocupa por estudiar los métodos para distinguir entre argumentos válidos o invalido, correctos o incorrectos. Para ello la lógica a desarrollado un sistema de notación especial.
El cálculoproposicional estudia las relaciones entre diferentes proposiciones, que permiten obtener conclusiones, es decir, nuevas proposiciones ligadas en forma necesaria a las ya conocidas (llamadas premisas).Clasificación de las proposiciones:
Simples: tienen un solo objeto, verbo y predicado.
Compuestas: tienen más de un sujeto, verbo o predicado.
Las conectivas lógicas.
El cálculo proposicional secaracteriza por el uso de ciertos símbolos especiales que sirven para indicar un nexo entre diversas proposiciones y son las que corresponden a las proposiciones negativas, disyuntivas fuertes, disyuntivasdébiles, condicionales y bicondicionales.
Proposiciones negativas.
Cuando una proposición se designa con la letra p, entonces su negación se designa con el símbolo ῀p. Asi pues la negación se expresacon la conectiva lógica: ῀
Proposiciones conjuntivas.
En algunos casos se requiere unir dos proposiciones con la conjunción “y” en este materia se utiliza realizando la conectiva lógica “ʌ”Proposiciones disyuntivas débiles o inclusivas.
la disyunción entre dos proposiciones también tiene su conectiva lógica propia: “v” así pues “pvq” significa que unimos las dos proposiciones con la disyuntiva“o”.
Proposiciones disyuntivas fuertes o exclusivas.
En este caso las dos proposiciones se rechazan completamente de modo que si una es verdadera, la otra será necesariamente falsa. El...
Leer documento completo
Regístrate para leer el documento completo.