Propiedades De Los Conectivos Logicos

2462 palabras 10 páginas
Ver más
PROPIEDADES DE LOS CONECTIVOS LOGICOS
CONJUNCION.- 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 este 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: Conjunción| Salgo tarde no tengo vehículo llegaré tarde al trabajo.

OPERACIÓN CON BITS.-la conjunción es utilizada a menudo para …ver más…

La tabla de verdad del enunciado anterior es como sigue:

Ejemplo: Sea el siguiente enunciado "Una persona puede entrar al cine si compra boleto u obtiene un pase" Sean: p= compra boleto q = obtiene un pase r = una persona entra al cine = p v
LA DISYUNCIÓN EXCLUSIVA
La disyunción exclusiva se simboliza pro el signo "v", corresponde a la expresión " o uno u otro, pero no ambos a la vez". Una de las propiedades de esta conectiva es la de ser conmutativa y la de poseer el carácter asociativo. Se puede mostrar la equivalencia de los esquemas proposicionales así como establecer que es

Documentos relacionados

  • Reseña el espectaculo del otro
    1170 palabras | 5 páginas

    Como conectar dos PC en red ♥ Integrantes: * Carolina Hernández Ramos * Nancy Fabiola Hernández Lopez * Iveth Hernández Ramos Maestra: Estela Pérez Solis. G & G: 6°C Materia: Construcción de una red de área local. Como conectar dos PC en la red ♥ Introducción Normalmente se usa un cable cruzado o crossover para conectar dos computadoras, ósea, crear una RED entre ellas para compartir archivos, juegos, etc. Algunas tarjetas de RED permiten esta conexión usando….

    ver más
  • Sensor del nivel de agua
    1760 palabras | 8 páginas

    sensores, como los sensores de humedad, que permiten conocer mediante el valor de resistencia y de flujo de corriente el nivel de agua o líquido presente en el sensor. El LM741 es un amplificador operacional (op amp) de uso común. Además de ser utilizados como "amplificadores", como las amplifcadores operacionales tienen la….

    ver más
  • Resumen razon y revolucion
    5646 palabras | 23 páginas

    LÓGICA DE PRIMER ORDEN, LÓGICA COMPUTACIONAL y AMPLIACIÓN DE LÓGICA Faraón Llorens Largo Mª Jesús Castel de Haro DEPARTAMENTO DE CIENCIA DE LA COMPUTACIÓN E INTELIGENCIA ARTIFICIAL Universidad de Alicante [pic] Contenido 1. PROGRAMACIÓN LÓGICA ...................................................….

    ver más
  • Sistema Formal Axiomático
    4780 palabras | 20 páginas

    Dedekind d. Peano e. Frege f. Hilbert g. Paradoja Russell h. Teorema incompletad de Gödel 5) PASOS EN LA CONSTRUCCION DE UN SISTEMA AXIOMATICO FORMAL a. Fases b. Variables c. Conectivas d. Tablas de Verdad e. Reglas de transformación i. Rs ii. Rs f. axiomas del 6) CONCLUSION: LAS LIMITACIONES INTERNAS DE LOS SISTEMAS AXIOMÁTICOS FORMALES 1) DEFINICION DE SISTEMA AXIOMATICO FORMAL (SAF) DEFINICION de S.A.F. Sistema formado por….

    ver más
  • Logica clasica
    1422 palabras | 6 páginas

    LOGICA CLASICA, TIPOS DE LOGICA Y PARA QUE SIRVE. UNIVERSIDAD EL BOSQUE INGENIERIA DE SISTEMAS LOGICA MATEMATICA Bogotá D.C. 26 de julio de 2012 LOGICA CLASICA O ARISTOTELICA La lógica clásica o Aristotélica, es la lógica basada en los principios del filósofo griego Aristóteles, el objetivo elemental de la lógica clásica es determinar si nuestros razonamientos, independientemente de su contenido, son correctos o incorrectos. La….

    ver más
  • logica proposicional en la ingenieria de sistemas
    1125 palabras | 5 páginas

    INTRODUCCION El considerable progreso habido en la ciencia y en la tecnología durante los últimos 150 años procede en gran parte del desarrollo de las Matemáticas. En el estudio de cualquier rama de la Matemática, sea análisis, Algebra, o Geometría, resulta útil emplear la terminología de la Teoría de conjuntos. Esta teoría fue desarrollada por Boole y Cantor a fines del siglo XIX, ha tenido una profunda influencia en el desarrollo de las Matemáticas en el siglo XX, ha unificado muchas ideas….

    ver más
  • Semantica Y Sintaxis De Proposiciones
    3636 palabras | 15 páginas

    BIOLOGICAS UNIVERSIDAD JUAREZ AUTONOMA DE TABASCO SEMANTICA Y SINTAXIS DE PROPOSICIONES El valor de verdad de una proposición lógica atómica (o variable proposicional) es, por definición, verdadero o falso (podemos representarlo como V o F). Así el enunciado “llueve” es verdadero si y sólo si está lloviendo en ese momento. Pero si dicho enunciado se considera como proposición lógica atómica, p, entonces puede ser tanto verdadera como falsa. Es una verdad de hecho o contingente, porque tiene….

    ver más
  • Semantica Y Sintaxis De Proposiciones
    3621 palabras | 15 páginas

    BIOLOGICAS UNIVERSIDAD JUAREZ AUTONOMA DE TABASCO SEMANTICA Y SINTAXIS DE PROPOSICIONES El valor de verdad de una proposición lógica atómica (o variable proposicional) es, por definición, verdadero o falso (podemos representarlo como V o F). Así el enunciado “llueve” es verdadero si y sólo si está lloviendo en ese momento. Pero si dicho enunciado se considera como proposición lógica atómica, p, entonces puede ser tanto verdadera como falsa. Es una verdad de hecho o contingente, porque tiene….

    ver más
  • Upiicsa Sistemas De Control Practica 4
    1642 palabras | 7 páginas

    diferencia básica entre la lógica Combinacional y secuencial radica en la propiedad de almacenamiento de esta última. Esta propiedad puede ser alcanzada de dos formas diferentes:  De forma implícita, a través de lazos de realimentación directa (con o sin elementos de retraso)  De forma explícita, a través de elementos de memoria. Por lo tanto, en este temas nos centramos en las principales características y tipos de estos elementos, que nos podemos encontrar en los sistemas secuenciales. Un elemento….

    ver más
  • Unidad 3 Logica Inferencial
    18703 palabras | 75 páginas

    UNIDAD 3 LÓGICA INFERENCIAL Lógica Inferencial Una inferencia es una evaluación que realiza la mente entre expresiones bien formadas de un lenguaje, (EBF), que, al ser relacionadas intelectualmente como abstracción, permiten trazar una línea lógica de condición o implicación lógica entre las diferentes EBFs. De esta forma partiendo de la verdad o falsedad posible (como hipótesis), o conocida (como argumento) de alguna o algunas de ellas puede deducirse la verdad o falsedad de alguna o algunas….

    ver más

Ensayos populares