Computador

Es un producto lógico del pensamiento que se expresa mediante el lenguaje, sea éste un lenguaje común, cuando adopta la forma de oración gramatical, o simbólico, cuando se expresa por medio de signoso símbolos.
En Lógica tradicional se distinguen la proposición y el juicio, por cuanto la primera es el producto lógico del acto por el cual se afirma o se niega algo de algo, mientras ese actoconstituye el juicio.
Para Aristóteles, la proposición es un discurso enunciativo perfecto, que se expresa en un juicio que significa lo verdadero y lo falso como juicio de términos. Por eso el juicio esuna afirmación categórica, es decir, incondicionada porque representa adecuadamente la realidad.
Conjunción es la clase de palabra o el conjunto de ellas queenlaza proposiciones, sintagmas o palabras, como suetimología de origen latino explica: cum, «con», y jungo, «juntar»; por lo tanto, «que enlaza o une con». Constituye una de las clases de nexos. No debe confundirse con los marcadores deldiscurso.
El modo condicional es uno de los modos del verbo en algunas lenguas romances y germánicas. Otro nombre alternativo es el de modo potencial porque en ocasiones se refiere a acciones hipotéticaso posibles. Frecuentemente se considera que el condicional es simplemente un tiempo verbal y no un modo independiente.
En matemáticas y lógica, un bicondicional, (también llamado equivalencia o dobleimplicación, en ocasiones abreviado como ssi, sii, o syss), es una proposición de la forma "P si y solo si Q" y afirma que la proposición P será cuando y exclusivamente Q también lo sea, así comotambién P será falsa cuando Q lo sea. Otra forma de expresar el bicondicional es decir que Q es una condición necesaria y suficiente para P. Normalmente se usan los símbolo ⇔ o ↔ para denotar elbicondicional, quedando así:
 o .
En español se usan las abreviaturas sii, ssi y syss, de modo que es equivalente p ↔ q a “p sii q”. En inglés se abrevia iff (If and only if).
Dos enunciados se...