¿Qué sentido tiene correr cuando estamos en la carretera equivocada?
This presentation is the property of its rightful owner.
Sponsored Links
1 / 14

Contenido: Algebra Proposicional PowerPoint PPT Presentation


  • 68 Views
  • Uploaded on
  • Presentation posted in: General

¿Qué sentido tiene correr cuando estamos en la carretera equivocada? Anónimo. Contenido: Algebra Proposicional.

Download Presentation

Contenido: Algebra Proposicional

An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -

Presentation Transcript


Contenido algebra proposicional

¿Qué sentido tiene correr cuando estamos en la carretera equivocada? Anónimo

  • Contenido: Algebra Proposicional


Contenido algebra proposicional

La evolución de la lógica está ligada a la evolución intelectual del ser humano, ya que como ciencia del razonamiento, su historia representa la historia misma del hombre. La lógica surge desde el primer momento en que el hombre, al enfrentar a la naturaleza, infiere, deduce y razona, con el ánimo de entenderla y aprovecharla para su supervivencia. Por eso existen varios enfoques acerca de cómo interpretar la evolución de la lógica.

ALGEBRA PROPOSICIONAL

El cálculo preposicional estudia las relacio-nes que se dan en los enunciados, sin analizar su estructura interna.


Contenido algebra proposicional

Siempre habrá alguien mejor o peor que tú “No reniegues de tu vida” Anónimo

Conceptos Generales


Contenido algebra proposicional

Proposición

En el lenguaje científico, una proposición se refiere a un enunciado que puede ser verdadero o falso, generalmente una oración enunciativa. Es el elemento unidad sobre el que se construye el lenguaje formal de la Lógica.

Ejemplos…


Contenido algebra proposicional

Si son proposiciones

1.Juan trabaja2.Marcos es primo de Maribel3.4 es un número impar4.El duplo de 10 es 205.X > 44


Contenido algebra proposicional

No son proposiciones

1.Donde esta Juan?2.Vete a tu asiento!3.Tal vez te encontremos4.Me gustaría pasear contigo5.Que hermosura de día!


Contenido algebra proposicional

Proposiciones Atómicas

Un enunciado simple que se simbolizada con una sola variable. Estas proposiciones se llaman atómicas.

  • Pablo pasea

  • Juan descansa

  • 3 < 7

  • 9 < 7

  • Llueve

  • El suelo estará mojado


Contenido algebra proposicional

Proposiciones Moleculares

Si establecemos conexiones lógicas entre varias proposiciones según unas reglas perfectamente establecidas en sus elementos simbólicos y definidas como funciones de verdad, construiremos proposiciones moleculares o compuestas.

  • Pablo pasea y Juan descansa

  • 3 < 7 y 7 < 9

  • “Si llueve entonces el suelo

  • estará mojado”


Contenido algebra proposicional

Proposiciones Lógicas


Contenido algebra proposicional

Sintaxis y Notación

El primer paso en el estudio de un lenguaje es definir los símbolos básicos que lo constituyen (alfabeto) y cómo se combinan para formar sentencias. Está constituido por:


Contenido algebra proposicional

Proposición lógica y valores de verdad

El valor de verdad de una proposición lógica atómica es, por definición, verdadero o falso.

Representación:

V/F NO ES IGUAL A MENTIRA O NO MENTIRA

V/F NO ES IGUAL A CORRECTO/INCORECTO

V / F

1 / 0


Contenido algebra proposicional

Proposiciones y variables (1)

  • Símbolos de variables: p, q, ... , z

  • Proposición:

    • Pablo pasea

    • Juan descansa

    • 3 < 7

  • Variables:

    • p

    • q

    • r


  • Contenido algebra proposicional

    Conectivos (2)

    • Negación (-)

    • Conjunción (^)

    • Disyunción (v)

    • Condicional/Implicación (=>)

    • Bicondicional/Doble implicación ()


    Contenido algebra proposicional

    Símbolos de agrupación (3)

    • Paréntesis (),

    • Corchetes []

    • Llaves {} para evitar ambigüedades.

    • Otros


  • Login