1. Proposicion
Una proposición es una forma de lengua común, que forma de una manera
gramatical o cuando se expresa por medios de simbolos, los enunciados cuyos
contenidos están sujeto de verdadero” (1) o “falso” (0) pero no ambas a su vez
y se puede representar (P,Q,R,S,T).
Hay muchos tipos de enunciados tales como: preguntas, ordenes o los que
podemos decir que son V o F.
Para poder llevar a cabo la construcción o simplemente la unión de estas
proposiciones usamos algo llamados conectivos lógicos, en tal caso de no
poseer conectivos diremos que es una proposición simple o anatómica.
Conectivos Logicos
A continuación se le mostrara una tabla que tendrá los conectivos lógicos:
NOMBRE SIMBOLO TRADUCCION
Negación ~ No, no es el caso
Conjunción ^ y
Disyunción inclusiva v o
Disyunción exclusiva v o…o
Condicional Si… entonces
Bicondicional Si y solo si

2. las distintas formas proposicionales:
Hay varias modelos de formas proposicionales como cuales le vamos a mostrar
a continuación:
La negación:
La negación clásica es una operación sobre un valor de verdad, típicamente, el
valor de una proposición, que produce un valor de verdadero cuando su
operando es falso, y un valor de falso cuando su operando es verdadero. Por
tanto, si el enunciado A es verdadero, entonces ¬A (pronunciado "no A") sería
consecuentemente falso; y lo contrario, si ¬A es verdadero, entonces A sería
falso.
La tabla de verdad de ¬p es la siguiente:
Tabla de verdad de ¬p
p ¬p
Verdadero Falso
Falso Verdadero
La conjucion:
En lógica y matemáticas una conjunción es un «enunciado con dos o más
elementos simultáneos». Una lámpara eléctrica se enciende si hay corriente
eléctrica, el interruptor esta conectado, el fusible esta bien y la lámpara no esta
fundida, en cualquier otro caso la lámpara no se encenderá.
Para dos entradas A y B, la tabla de verdad de la función conjunción es:

3. La disyucion:
Una disyunción es un "enunciado con dos o más elementos optativos".
Por ejemplo "Puedes leer este artículo o editarlo", es una disyunción con
dos elementos, mientras que "Puedes leer este artículo, imprimirlo o
editarlo" es una disyunción con tres elementos.
La condicional:
El condicional material es una función de verdad que toma dos valores de
verdad (por lo general los valores de proposiciones) y devuelve falso cuando el
primer valor es verdadero y el segundo falso, y verdadero en cualquier otro
caso.
En otras palabras, la tabla de verdad del condicional material es la siguiente:

4. Algrebra de Propociciones:
La modalidad que hemos usado en el método de derivación para probar
tautologías sirve también para cambiar la forma de una proposición esto
es, reemplazarla por otra equivalente y eventualmente simplificarla, a
continuación la tabla de algebra de proposición.

5. CIRCUITOS LOGICOS
Estos son expresados en forma de circuitos que también pueden ser
expresados de forma proposicional así poderlos asociar para encontrar la
forma proposicional correspondiente, también usando las leyes proposicionales
podemos armar o simplificar circuitos o viceversa desde el circuito armar la
proposición.
Estos circuitos son de mucha ayuda e importancia para las carreras de
ingenierías especialmente la eléctrica y en computación ya que estos se
consiguen en todos los aparatos eléctricos ya sea un chip, un microprocesador,
un televisor, celulares, automóviles entre muchas más como también conocer
su lenguaje sistemático. Ejemplos: