Que es proposicin simple

Es toda oracin o enunciado al que se le puede asignar un cierto valor (v

o f). Si no puede concluir que es verdadero o falso no es proposicin. Es
cualquier agrupacin de palabras o smbolos que tengan sentido y de la
que en un momento determinado se pueda asegurar si es verdadera o
falsa. La verdad o falsedad de una proposicin es lo que se llama su
valor lgico o valor de verdad. Las proposiciones se denotan con letras
minsculas. Ejemplo: p, q, r, a, b.
Que es proposicin compuesta
Una proposicin compuesta es una frase que consta de uno o varios
sujetos y de un predicado que afirma algo en torno a dichos sujetos.
Los sujetos de una proposicin simple deben ser todos trminos
singulares. El predicado debe contener un verbo que exprese la accin
sobre los sujetos. En matemticas se usan ciertos smbolos para
representar predicados de uso frecuente como: el smbolo _, como
representante del predicado es igual a , y el smbolo < como
sustituto de es menor que.
Que es conectivo lgico
En lgica, una conectiva lgica, o simplemente conectiva, (tambin
llamado operador lgico o conectores lgicos) es un smbolo o
palabra que se utiliza para conectar dos frmulas bien formadas o
sentencias (atmicas o moleculares), de modo que el valor de verdad de
la frmula compuesta depende del valor de verdad de las frmulas
componentes.
Los
conectivos
lgicos
ms
comunes
son
los conectivos
binarios (tambin llamados conectivos didicos) que unen dos frases,
que pueden ser consideradas los operandos de la funcin. Tambin es
comn considerar a la negacin como un conectivo mondico.
Las conectivas lgicas son, junto con los cuantificadores, las
principales constantes
lgicas de
muchos sistemas
lgicos,
principalmente la lgica proposicional y la lgica de predicados.
En programacin se utilizan para combinar valores de verdad y obtener
nuevos
valores
que
determinen
el
flujo
de
control
de
un algoritmo o programa.

Que es tabla de la verdad

Una tabla de verdad, o tabla de valores de verdad, es una tabla
que muestra el valor de verdad de una proposicin compuesta, para
cada combinacin de verdad que se pueda asignar.1
Fue desarrollada por Charles Sanders Peirce por los aos 1880, pero el
formato ms popular es el que introdujo Ludwig Wittgenstein en
su Tractatus logico-philosophicus, publicado en 1921.
Negacin de una proposicin simple
En lgica y matemtica, la negacin, tambin llamada complemento
lgico, es una operacin sobre proposiciones, valores de verdad, o en
general, valores semnticos. Intuitivamente, la negacin de una
proposicin es verdadera cuando dicha proposicin es falsa, y viceversa.
En lgica clsica la negacin est normalmente identificada con
lafuncin de verdad que cambia su valor de verdadero a falso y
viceversa. En Lgica intuicionista, de acuerdo a la interpretacin de
BrouwerHeytingKolmogorov, la negacin de una proposicin p es la
proposicin cuyas pruebas son las refutaciones de p.
No existe acuerdo en cuanto a la posibilidad de definir la negacin, ni en
cuanto a su estatus lgico, funcin y significado, ni tampoco a su mbito
de aplicacin ..., y en cuanto a la interpretacin de la sentencia
negativa, (FH Heinemann 1944).1
La negacin clsica es una operacin sobre un valor de verdad,
tpicamente, el valor de una proposicin, 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") sera consecuentemente falso; y lo
contrario, siA es verdadero, entonces A sera falso.
La tabla de verdad de p es la siguiente:
Tabla de verdad de p
p

Verdadero

Falso

Falso

Verdadero

Conjunciones y su tabla
En razonamiento formal, una conjuncin lgica ( ) entre dos
proposiciones es un conector lgico cuyo valor de la verdadresulta
en cierto slo si ambas proposiciones son ciertas, y en falso de cualquier
otra forma. Existen diferentes contextos donde se utiliza la conjuncin
lgica.
En lenguajes formales, la palabra "y" se utiliza en espaol para
simbolizar una conjuncin lgica. La nocin equivalente en la teora de
conjuntos es la interseccin ( ). En lgebra Booleana, la conjuncin
como operador binario entre dos variables se representa con el smbolo
de punto medio ( ).

Disyunciones inclusivas y su tabla

La formalizacin de enunciados del lenguaje natural no tiene especial
dificultad en el caso de la disyuncin, aunque s hay algunas sutilezas
con las que conviene familiarizarse.
Como hemos dicho, la disyuncin "p q" ser verdadera en caso de que
p sea verdadera, o q sea verdadera, o tanto p como q sea verdadera: se
trata de la disyuncin inclusiva. Siempre que utilicemos en el lenguaje
natural la conjuncin disyuntiva "o" en este sentido, utilizaremos el
smbolo " ".
Los ejemplos que hemos venido viendo hasta este momento se basan
en esta interpretacin inclusiva de la disyuncin. Por ejemplo, cuando
decimos que para optar a un puesto de trabajo hay que saber ingls o
francs, interpretamos que alguien que sabe ingls puede optar a dicho
trabajo, alguien que sabe francs tambin, y, por supuesto, alguien que
sepa tanto ingls o francs tambin.

Pero tambin existe la llamada disyuncin exclusiva, que viene a

decir que al menos una de las opciones es verdadera, pero slo una. En
este sentido exclusivo, si en "p q", p es verdadera y q tambin lo es, la
disyuncin exclusiva es falsa.
Por ejemplo, en el lenguaje natural empleamos este sentido
exclusivo de la disyuncin cuando decimos que alguien es cristiano o
musulmn. Si alguien es cristiano, si es consecuente con ello no podr
ser musulmn, y viceversa. O cuando decimos que un examen se
aprueba o se suspende.
En este caso se utiliza el smbolo " " o bien el smbolo " ". La tabla de
verdad de la disyuncin exclusiva sera la siguiente:
p

pq

Disyunciones exclusivas y su tabla

El operador
lgico Disyuncin
exclusiva tambin
llamado o
exclusivo, simbolizado como XOR, EOR, EXOR, o es un tipo
de disyuncin lgica de dos operandos que es verdad si solo un
operando es verdad pero no ambos.
a disyuncin exclusiva
puede ser expresada en trminos
de conjuncin lgica ( ), disyuncin lgica ( ), y negacin ( ) de la
siguiente manera:
La disyuncin exclusiva
manera:

puede ser expresada de la siguiente

Esta representacin del XOR puede resultar til en la construccin

de un circuito o una red, ya que slo tiene un operador y un
nmero reducido de operadores y . La prueba de esta
identidad es la siguiente:

A veces es til escribir

de las siguientes formas:

Esta equivalencia se puede establecer mediante la

aplicacin de las Leyes de De Morgan dos veces para la
cuarta lnea de la prueba anterior.

Doble implicacin y su tabla

En matemticas y lgica,
un bicondicional,
(tambin
llamado equivalencia o doble implicacin, en ocasiones abreviado en
espaol como ssi), es una proposicin de la forma P si y solo si Q y se
admite el bicondicional es verdadero en el caso de que ambos
componentes tengan el mismo valor vertitativo.

Otra forma de expresar el bicondicional es decir que Q es

una condicin necesaria y suficiente para P. Tambin se conoce
con el nombre de coimplicacin1

Ejemplos:

bicondicionales verdaderos.

son

El valor de verdad de un bicondicional p si y solo si q es verdadero

cuando ambas proposiciones (p y q) tienen el mismo valor de verdad, es
decir, ambas son verdaderas o falsas simultneamente; de lo contrario,
es falso.
Se tiene as que la afirmacin p si y solo si q es lgicamente
equivalente al par de afirmaciones Si p, entonces q, y si q,
entonces p. Escrito utilizando conectivas lgicas :

.
De manera ms precisa, el operador bicondicional est definido
mediante la siguiente tabla de verdad:2 3 98
si y solo si

p
q