REPBLICA BOLIVARIANA DE VENEZUELA

UNIVERSIDAD PEDAGGICA EXPERIMENTAL LIBERTADOR

NCLEO ACADMICO PORTUGUESA

UNIDAD I
Circuitos Lgicos Simples:
Proposiciones e interruptores. Operaciones veritativas. Representaciones numricas

Estudiante: Marnoris C. Segovia C.

C.I. 14.466.660
Profesor: Ing. Jess Toledo
Curso: Electrnica Digital

Guanare, enero de 2017

 INTRODUCCIN

Los circuitos lgicos simples se encuentran diseados para operar solamente con dos
estados diferentes, claramente. La Lgica es la Ciencia que expone las leyes, modos y
formas de raciocinio.

Desde el punto de vista tecnolgico es mucho ms simple y confiable operar de esta forma.
Conjunto de palabras o letras a las que se les puede asignar uno y slo uno de los valores de
verdad, que pueden ser: Verdadero o Falso.

Las proposiciones son una sentencia el presente trabajo tiene la finalidad de dar a conocer
acerca de estos puntos porque son de relativa importancia en el estudio de los circuitos
lgicos y pueden ser utilizados en los conocimientos para la electrnica digital.
 Proposiciones y Operaciones Veritativas

Las premisas de una proposicion vlida contienen la conclusion y la verdad de la

conclusion se deriva de la verdad de las premisas. Tambin se han hecho esfuerzos para
desarrollar mtodos de lgica inductiva como las que sostienen que las premisas conllevan
una evidencia para la conclusion pero la verdad de la conclusion se deduce slo con un
margen realtivo de probabilidad de la verdad de la evidencia. Lukasiewicz aporta un arbol
de valores y el significado del calculo de predicados en seguida se describen cada u los
antecedentes historicos del razonamiento los principales matematicos y pensadores que
hicieron aportaciones importamtes en el campo de la logica matematica y sus dos
principales campos de la aplicacin ( logica proposicional y calculo de predicados) y desde
luego el termino de logica formal dentro de las ciencias de la computacin.

Las proposiciones pueden ser tentativamente igual a una sentencia. Son una sentencia
declarativa o reglas las cuales tienen valores de verdad, una proposicion puede tener dos
valores, verdadero y falso. Tampoco puden no tomar nungun valor. Una proposicion es un
hecho. Los argumentos de las proposiciones son: premisas y conclusiones de una
proposicion. Las proposiciones son portadoras de veracidad y falsedad.

Las Proposiciones son enunciados u oraciones declarativas que afirman o niegan algo, por
lo tanto sus valores de verdad son Verdadero o Falso. Ahora bien, sus valores lgicos
se representan con 1 0. Slo asumen un nico valor.

Son atmicas cuando tiene una sola proposicin y moleculares cuando tiene ms de una
proposicin y estn unidas por conectivos u operadores lgicos. Las proposiciones se
identificarn con letras minsculas. Tambin se les llama Variables Proposicionales.
Las operaciones veritativas son aquellas operaciones que se llevan a cabo con cada uno de
los conectivos para formar nuevas proposiciones.

Las operaciones veritativas son aquellas que se forman uniendo varias proposiciones
mediante el uso de operadores lgicos, permitindonos crear nuevas proposiciones
llamadas moleculares.

Conjunto de palabras o letras a las que se les puede asignar uno y slo uno de los valores de
verdad, que pueden ser:

VERDADERO (V) o FALSO (F)

Podemos, as, representar las operaciones proposicionales mediante circuitos con tantos
interruptores como proposiciones componentes, combinados en serie o paralelamente.

Conectores logicos:

Son smbolos que nos permiten realizar la unin de dos o mas proposiciones conocidas y se
describen a continuacin.

Veremos, a continuacin, como representar en forma booleana las operaciones que surgen
de operar con dos proposiciones mediante los conectivos lgicos que conocemos.

Conectivos lgicos

La Negacin
La Conjuncin
La Disyuncin Inclusiva
La Disyuncin Exclusiva
El Condicional o Implicacin
El Bicondicional o Doble Implicacin

Formas Proposicionales

Se llama as a las nuevas expresiones que resultan de unir las variables proposicionales a
travs de los conectivos lgicos: se puede decir que las variables proposicionales tambin
son formas proposicionales.

Determinan el valor de verdad de una proposicin compuesta, analizando sus proposiciones

simples relacionadas con los conectivos lgicos. La combinacin de valores de verdad
depende del nmero de proposiciones dadas.

Para n proposiciones se tiene 2n combinaciones.

Tablas de Verdad Una proposicin simple se representa mediante un circuito con un solo
interruptor.

Cuando encontremos proposiciones simples negadas las representaremos de igual manera o

con una coma como superndice: p . Ejemplo:

La forma general de la funcin veritativa es una variable que expresa el miembro general
de una serie de formas. Las funciones veritativas pueden ordenarse en una serie de formas
debido a que todas son resultado de la aplicacin sucesiva de una operacin veritativa. La
expresin del miembro general de la serie de formas veritativas nos permite expresar la
proposicin general q es un sucesor de p. Cualquier funcin veritativa es un sucesor de
las proposiciones elementales. La notacin de la forma general de la funcin veritativa
puede leerse segn esta convencin.

[p, (

p: toda proposicin elemental.

(
cualquier funcin veritativa.
N(
negacin de cualquier funcin veritativa.
p es el comienzo de la serie de formas veritativas, ( es la forma de un miembro
cualquiera de esa misma serie y N(es la forma del miembro de la serie que sigue
inmediatamente a ( El comienzo de la serie de formas veritativas son las proposiciones
elementales, un miembro cualquiera de la serie de formas es una funcin veritativa y el
miembro que le sigue a esa forma es una negacin de ella.

Las operaciones veritativas hacen expresas las relaciones entre las estructuras de las
proposiciones. Estas relaciones se hacen expresas cuando ponemos a una proposicin como
resultado de una operacin que la obtiene a partir de otra. Las operaciones veritativas son
operaciones que tienen por base proposiciones elementales y funciones veritativas de
proposiciones por resultado.

El sentido de una funcin veritativa de p es una funcin del sentido de p. Negacin, suma
lgica, producto lgico, etc. Son operaciones. (La negacin invierte el sentido de la
proposicin.) (5.2341) La proposicin compuesta es una funcin del sentido de las
proposiciones simples porque hace expresas sus condiciones veritativas. La operacin
trabaja con las condiciones veritativas de la proposicin.

Las condiciones veritativas de la proposicin son la expresin de la coincidencia y no

coincidencia de las posibilidades veritativas de las proposiciones elementales. Las
posibilidades veritativas de las proposiciones elementales significan las posibilidades del
darse y no darse efectivos de los estados de cosas. (4.3) Las posibilidades veritativas de las
proposiciones elementales son las condiciones de verdad y falsedad de la proposicin. La
coincidencia y no coincidencia de las posibilidades veritativas de las proposiciones se
expresa en un signo proposicional de la forma (VVFV), por ejemplo. El nmero de
miembros de esta expresin est determinado por el nmero de argumentos veritativos
(proposiciones elementales) de la funcin veritativa (cuyo significado est expresado por
tal signo) mediante la formula 2n. La proposicin es la expresin de sus condiciones
veritativas. La funcin pq se puede expresar as: (VVFV)(p,q).

Como decamos, la operacin veritativa trabaja con las condiciones veritativas de la

proposicin.

Toda funcin veritativa es el resultado de la aplicacin sucesiva de la operacin (---V)( a

las proposiciones elementales. Esta operacin niega todas las proposiciones en el parntesis
derecho y la llamo la negacin de esas proposiciones.(5.5)
Esta operacin puede escribirse as N( el guin sobre xi expresa que la negacin es de
todos los valores de xi y la comilla junto a ene significa un nmero variable de aplicaciones
de la operacin. Xi es una variable para proposiciones. La descripcin de los valores de xi
puede ser de tres modos. Estipulacin por enumeracin; dando una funcin (x);f(x) cuyos
argumentos sean los valores a describir o dando una ley formal que construye tales valores.
En el caso de la forma general de la funcin veritativa la norma formal por la que se
construyen las proposiciones que son todos valores de (es la negacin conjunta.

La serie de condiciones veritativas para dos argumentos veritativos puede ordenarse como
resultado de tal operacin. Todas estas condiciones estn construidas as y para ver la
transicin de una de ellas a otra usamos la forma general de la operacin que es
[(

(
Lo nico que dice esta ecuacin es que
toda operacin ( puede concebirse como la negacin conjunta de unas proposiciones y
otra proposicin nueva. Esta nueva proposicin pasa a ser la base de las operaciones.
Por ejemplo, la funcin veritativa de p(VFVF) puede concebirse como parte de la serie de
formas partiendo de los argumentos veritativos no-p y q. (Recordemos que condiciones
veritativas idnticas expresadas por distintos signos tienen el mismo significado, de ah que
puedan sustituirse unas por otras. Introduzco el signo N() en la serie de formas
arbitrariamente para resaltar el hecho de que las bases de esta serie de formas son q y no-p).

(VFVF)(p,q)=[(FVFV)(p,q),N()]4(q)=[(VVFF)(p,q),(FVFV)(p,q),N(),(FVFF)
(p,q)(VFVV)(p,q),(FVFV(p,q),
(VFVF(p,q)]=[NNq,Np,N(NNq,Np),N(N(NNq,Np)),N(N(N(NNq,Np)),Np)
,NN(N(N(NNq,Np)),Np)]=[q,p,qp,(q.p),(qq)p,(qp).p]

Cualquier funcin de dos argumentos (p,q) es la aplicacin de la operacin [(FVFV)(p,q),

N( )] a q un nmero distinto de veces.
La forma general de la funcin veritativa se parece a la forma general del nmero (y por
ello tambin a la del nmero natural) porque la notacin de Wittgenstein para los miembros
generales de una serie de formas es similar no importa de qu serie de formas se trate. La
serie de los nmeros no est ordenada por una relacin externa, sino por una relacin
interna.(4.1252) Las series de formas estn ordenadas por relaciones propias de los signos
que expresan tales formas. A diferencia de una serie de personas ordenadas segn la
relacin x ms alto que y estas series estn relacionadas por sus propiedades formales. En
el caso de los nmeros la serie de formas tiene por expresin del miembro general [x,

x] y segn las normas sgnicas de 6.02 (x: x Def., x: x Def.) la

expresin se puede escribir as [0x, x, x]. Esto dice que la serie de nmeros
comienza por un miembro al que no se le ha aplicado ninguna operacin, la forma del
miembro n es la forma del resultado de una operacin y el siguiente es la forma de la
operacin aplicada al miembro anterior. El nmero es el exponente de una operacin.
La serie de formas se escribira as: x, x,x, x,... o as:
0x,
0+1x,
0+1+1x, ... El modo en que la matemtica se expresa es por medio de
igualdades, e.d. seudo-proposiciones. La ecuacin expresa (mas no afirma) la identidad de
significado de sus miembros, la ecuacin es una norma sgnica. El nmero natural tiene la
forma [0,
+1] de ah que se definan as:

0+1=1 Def.
0+1+1=2 Def.
0+1+1+1=3 def. (etc.)

No podemos responder a la pregunta por la existencia de otra serie de formas relevante

pues esto implica que tiene sentido afirmar las propiedades formales de los conceptos
formales que constituyen parte de esa serie de formas. Por otra parte, el concepto miembro
de una serie de formas es tambin un concepto formal, y por eso se expresa en una
variable. El mtodo por el cul se descubren estos conceptos es convirtiendo una expresin
(ausdrch) en una variable proposicional. Los signos que expresan las variables
proposicionales de la forma general de la funcin veritativa son los signos variables para las
funciones materiales y sus argumentos. (Donde hay composicin hay argumento y
funcin, y donde estn los dos ltimos estn ya todas las constantes lgicas. Cabra decir: la
nica constante lgica es lo que todas las proposiciones tienen, por su naturaleza, en comn
unas con otras. Pero esto es la forma general de la proposicin.5.47) Ciertamente la
funcin material es una funcin veritativa de s misma pues expresa sus condiciones de
verdad. (Recordemos cmo elaboramos la funcin veritativa de p.) La proposicin
elemental (los argumentos veritativos de cualquier proposicin) es escrita por nuestro
filsofo como funcin de los nombres (x,y,z....) as : fx o se las denota con las letras antes
usadas: p, q, r. Estos signos son variables proposicionales. En el caso de la forma general
del nmero los signos usados son smbolos numricos, e.d. expresiones que tienen por
significado nmeros. El signo funcional muestra que es smbolo para una funcin, el signo
numrico muestra que es el smbolo para un nmero, la variable suelta muestra que es
smbolo de un nombre, etc. No cabe expresar los valores de las variables proposicionales
como los argumentos de una funcin material pues sera un procedimiento circular; los
valores de tales variables se distinguen [p]orque cada variable representa una forma
constante que poseen todos sus valores y que puede ser concebida como propiedad formal
de estos valores (4.1271) De haber otra serie de formas relevante podramos distinguirla
por un grupo de smbolos relacionados entre s por algo constante entre ellos.

Cabe aclarar que ni las funciones ni los nmeros ocurren en la proposicin como trminos
con sentido pues ellos mismos designan variables proposicionales. Las proposiciones que
hacen uso de ellos en forma expresa son absurdas. Los nmeros ocurren en la proposicin
como expresin de la cantidad de nombres variables en ella, por ejemplo: Hay dos objetos
tales que ... El simbolismo correcto de esto es: E(x,y).Fxy. No cabe usar ningn trmino
que designe un concepto formal como concepto genuino. Claro que usar el trmino forma
general de la funcin veritativa como concepto genuino es tambin absurdo, no cabe pues
establecer la identidad del significado de este concepto con otro concepto genuino, por
ejemplo, el principio de verificacin.
Representaciones numricas

Los nmeros pueden representarse en la escritura a travs de smbolos, denominados

cifras numerales . , o de palabras, denominadas En las lenguas de alfabeto latino
representaci existen dos modos de n de los nmeros mediante cifras: romana ,
heredada de la cultura latina; y la numeracin la numeracin arbigandalus. ,
llamada as porque fue introducida en Occidente por los rabes de al fabeto latino La
numeracin romana se basa en el empleo de siete letras del al a las que corresponde
un valor numrico fijo: I (= 1), V (= 5), X (= 10), L (= 50), C (= 100), D (=
500), M (= 1000). El valor de ciertos signos, segn su posicin, debe restarse o
sumarse al de la cifra colindante para calcular el valor tota l representado. del nmero
El sistema arbigo de numeracin cuenta con diez signos (0, 1, 2, 3, 4, 5, 6, 7, 8,
9), cuyo valor se determina por su posicin dentro del nmero representado: en 776
el primer dgito equivale a 700, el segundo a 70 y el tercero a 6. Frente a la
numeracin romana, presenta la ventaja de poder generar con muy pocos signos , de
forma inequvoca y concisa, una serie ilimitada de nmeros. Este sistema es el ms
extendido en la actualidad y su variante europea es la utilizada por todos los
estndares internacionales.

CONCLUSIONES

Una vez finalizado el presente trabajo referente a los circuitos lgicos se pueden dar las
siguientes conclusiones:

Las proposiciones pueden ser tentativamente igual a una sentencia. Son una sentencia
declarativa o reglas las cuales tienen valores de verdad, una proposicion puede tener dos
valores, verdadero y falso. Tampoco puden no tomar nungun valor. Una proposicion es un
hecho.

Los argumentos de las proposiciones son: premisas y conclusiones de una proposicion. Las
proposiciones son portadoras de veracidad y falsedad.Tablas de Verdad Una proposicin
simple se representa mediante un circuito con un solo interruptor.

Los nmeros pueden representarse en la escritura a travs de smbolos, denominados

cifras numerales, o de palabras, denominadas En las lenguas de alfabeto latino
representacin existen dos modos de n de los nmeros mediante cifras: romana ,
heredada de la cultura latina; y la numeracin la numeracin arbigandalus. ,
llamada as porque fue introducida en Occidente por los rabes de al fabeto latino La
numeracin romana se basa en el empleo de siete letras del al a las que corresponde
un valor numrico fijo.

Las operaciones veritativas son aquellas que se forman uniendo varias proposiciones
mediante el uso de operadores lgicos, permitindonos crear nuevas proposiciones
llamadas moleculares.