ciencias

Formas Proposicionales:
Definición:
Se denominan formas proposicionales a las estructuras constituidas por variables proposicionales y los operadores lógicos que las relacionan.
Estas formasproposicionales se representan con las letras mayúsculas del alfabeto español A, B, C.
Las formas proposicionales no tienen valor de verdad conocido y, por lo tanto, no serán consideradas proposiciones.Si cada variable proposicional es reemplazada por una proposicion simple o compuesta, la forma proposicional se convierte en una proposición.
Si reemplazamos a las variables proposicionales porproposiciones verdaderas o falsas, el número de proposiciones que se generan es 2n, siendo n el número de variables proposicionales.
Las formas proposicionales pueden ser conectadas con operadores logicospara formar nuevas proposicionales. Dadas A y B, los simbolos ¬A, A^B, AvB, A→B y A←→B representan nuevas formas proposicionales.
Tabla de verdad:

Una tabla de verdad, o tabla de valores deverdad, es una tabla que muestra el valor de verdad de una proposición compuesta, para cada combinación de valores de verdad que se pueda asignar a sus componentes.

Fue desarrollada por Charles SandersPeirce por los años 1880, pero el formato más popular es el que introdujo Ludwig Wittgenstein en su Tractatus logico-philosophicus, publicado en 1921.

La tabla de verdad de una fórmula es una tablaen la que se presentan todas las posibles interpretaciones de las variables proposicionales que constituye la fórmula y el valor de verdad de la fórmula completa para cada interpretación. Porejemplo, la tabla de verdad para la fórmula  sería:












Negación de Formas Proposicionales:

La negación, también llamada complemento lógico, es una operación sobre proposiciones,valores de verdad, o en general, valores semánticos. Intuitivamente, la negación de una proposición es verdadera cuando dicha proposición es falsa, y viceversa. En lógica clásica la negación está...