Tablas de 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 valores de verdad que se pueda
asignar a sus componentes.

Para establecer un Sistema formal se establecen las definiciones de los operadores. Las
definiciones se harn en funcin del fin que se pretenda al construir el sistema que haga
posible la formalizacin de argumentos:

Como razonamientos deductivos lgico-lingsticos

Como construccin de un sistema matemtico puro
Como una aplicacin lgica en un Circuito de conmutacin.

Verdadero
El valor verdadero se representa con la letra V,
si se emplea notacin numrica se expresa con
un uno: 1, en un circuito elctrico, el circuito
esta cerrado.

Falso
El valor falso se representa con la letra F, si se
emplea notacin numrica se expresa con un
cero: 0, en un circuito elctrico, el circuito esta
abierto.

Variable
Para una variable lgica A, B, C, que pueden
ser verdaderas V, o falsas F, los operadores
fundamentales se definen as:
Negacin

La negacin es un operador que se ejecuta,

sobre un nico valor de verdad, devolviendo el
valor contradictorio de la proposicin
considerada.

Conjuncin
La conjuncin es un operador
que opera sobre dos valores de
verdad, tpicamente los valores
de verdad de dos proposiciones,
devolviendo el valor de
verdad verdadero cuando ambas proposiciones son verdaderas, y falso en cualquier otro
caso. Es decir es verdadera cuando ambas son verdaderas

La tabla de verdad de la conjuncin es la siguiente:

Que se corresponde con la columna 8 del algoritmo fundamental.

Disyuncin
La disyuncin es un operador
que opera sobre dos valores de
verdad, tpicamente los valores
de verdad de dos proposiciones,
devolviendo el valor de
verdad verdadero cuando una
de las proposiciones es
verdadera, o cuando ambas lo
son, y falso cuando ambas son
falsas.

La tabla de verdad de la disyuncin es la siguiente:

Que se corresponde con la columna 2 del algoritmo fundamental.

Implicacin o
Condicional
El condicional material es un
operador que opera sobre dos
valores de verdad, tpicamente
los valores de verdad de dos
proposiciones, devolviendo el
valor de verdad falso slo
cuando la primera proposicin
es verdadera y la segunda falsa,
yverdadero en cualquier otro caso.

La tabla de verdad del condicional material es la siguiente:

Que se corresponde con la columna 5 del algoritmo fundamental.

Leyes de Morgan. Declarar que la suma de n variables preposicionales

globalmente negadas (o invertidas) es igual al producto de las n variables negadas
individualmente y que inversamente, el producto de n variables proposicionales
globalmente negadas es igual a la suma de las n variables negadas individualmente.
Demostracin formal si y solo si y. para cualquier x: Por lo tanto inclusin: Con
proposiciones. La prueba utiliza la asociatividad y la distributividad de las leyes y.
Verdad Si verdad por n.

Universo
Las leyes de De Morgan son una parte de la Lgica proposicional y analtica, y
fueron creadas por Augustus De Morgan (Madurai, 1806-Londres, 1871) La realidad
es producto del azar, y al azar en realidad se producen infinidad de universos, que
a su vez en Probabilidad Imposible se pueden clasificar en lneas generales en dos
tipos de universos, universos de sujetos u opciones infinitos, y universos de
opciones limitadas.
Un universo es un conjunto de N elementos que forman una realidad susceptible de
estudio estadstico , pudindose definir a los N elementos como sujetos u opciones
, en funcin del tipo de naturaleza de los elementos que forman N, una naturaleza
cuya cualidad cuantitativa residir en la forma de medirse su magnitud. En funcin
del tipo de universo al que pertenezca N, los elementos de N se pueden definir como
sujetos en tanto que opciones, o se pueden definir como opciones limitadas a priori.

Segundo Mtodo de la Probabilidad Imposible

La principal caracterstica del Segundo Mtodo de la Probabilidad Imposible frente
a la estadstica tradicional, es que, si mientras la estadstica tradicional diferenciaba
claramente extremo de los de estudio estadstico en base a estadsticos de
tendencia central o dispersin, para el estudio de las puntuaciones directas, el
estudio de la probabilidad o frecuencia relativa se reservaba estrictamente para el
estudio de la frecuencia de una serie de opciones determinadas en la realidad, en
la medida que mediante el Segundo Mtodo todo sujeto es susceptible de ser
estudiado en tanto que opcin, y toda opcin en tanto que sujeto, por universo de
sujetos u opciones infinitos se entender aquel universo de sujetos u opciones
cuyas puntuaciones directas, obtenidas de la medicin individual de cada sujeto,
son estudiadas mediante estadstica de la probabilidad o probabilidad estadstica,
mediante el cociente de la puntuacin directa, obtenida de la medicin individual, de
cada sujeto, entre el sumatoria de todas las puntuaciones directas de toda la
muestra .
En la teora de conjuntos, encontramos situaciones en las que, los conjuntos
considerados son subconjuntos de algn conjunto conocido, que nos sirve de
referencia. Definicin Conjunto universo Se denomina conjunto universal o universo
al conjunto de todos los elementos que intervienen en el tema o situacin de inters.
Se simboliza U. Ejemplo Sean los conjuntos:

A: Las vocales
B: Las consonantes
C: El abecedario espaol. Se sabe que las vocales y las consonantes estn en
el abecedario espaol, por tanto, C es el conjunto universo o sea C = U. Conjunto
vaco y conjunto unitario. Extendemos la nocin intuitiva de conjuntos a los
casos de carencia de elementos y de unicidad de elementos mediante la
introduccin de los conjuntos vaco y unitario. Conjunto vaco y conjunto unitario
Extendemos la nocin intuitiva de conjuntos a los casos de carencia de
elementos y de unicidad de elementos mediante la introduccin n de los
conjuntos vaco y unitario.

Definicin Conjunto vaco. Un conjunto que no tiene elementos se denomina

conjunto vaco y se simboliza . El conjunto vaco es subconjunto de todo conjunto.

Las reglas se pueden expresar en espaol como:

La negacin de la conjuncin es la disyuncin de las negaciones. La negacin de la
disyuncin es la conjuncin de las negaciones. o informalmente como: "no (A y B)"
es lo mismo que "(no A) o (no B)" y tambin, "no (A o B)" es lo mismo que "(no A) y
(no B)"

Las Proposiciones
Una proposicin es una afirmacin que puede recibir un valor de verdad falso (F), o
bien verdadero (V), pero no ambos a la vez. Su denotacin generalmente la
encontramos con las letras (p, q, r)

Conectores Lgicos
Podemos formar nuevas proposiciones a partir proposiciones dadas mediante el
uso de conectivos lgicos. Algunos de ellos son: ^ y conjuncin v o disyuncin -
> si , entonces implicacin <-> si y slo si doble implicacin no negacin

Leyes de Morgan permite:

Son una parte de la Lgica preposicional, analtica, y fueron creadas por Augustus
de Morgan. Estas declaran las reglas de equivalencia en las que se muestran que
dos proposiciones pueden ser lgicamente equivalentes. Las Leyes de Morgan
permiten: El cambio del operador de conjuncin en operador de disyuncin y
viceversa. Las proposiciones conjuntivas o disyuntivas a las que se aplican las leyes
de Morgan pueden estar afirmadas o negadas (en todo o en sus partes).

Casos:
(P ^ Q) (P v Q) Si nos encontramos con una proposicin conjuntiva totalmente
negada, la ley de Morgan nos permite transformarla en una proposicin disyuntiva
con cada uno de sus miembros negados
(P v Q) (P ^ Q) Si nos encontramos con una proposicin disyuntiva totalmente
negada, la ley de Morgan nos permite transformarla en una proposicin conjuntiva
con cada uno de sus miembros negados
(P ^ Q) ( P v Q) Si nos encontramos con una proposicin conjuntiva afirmada,
la ley de Morgan nos permite transformarla en una proposicin disyuntiva negada
en su totalidad y en sus miembros.
(P v Q) (P ^ Q) Si nos encontramos con una proposicin disyuntiva afirmada,
la ley de Morgan nos permite transformarla en una proposicin conjuntiva negada
en su totalidad y en sus miembros

EGRAFIA

https://revolutionblogg.wordpress.com/2012/12/19/logica-proposicional-tablas-de-verdad-
e-inferencias/

https://www.ecured.cu/Leyes_de_Morgan