Conectores binarios

1481 palabras 6 páginas
Lenguaje Lógica Proposicional
María Manzano
Universidad de Salamanca

Curso 2009- 2010

María Manzano (Universidad de Salamanca)

LP

Curso 2009- 2010

1 / 18

1

Introducción

2

Gramática

3

Forma lógica

4

Formalización

5

El mundo de Tarski
LP Curso 2009- 2010 2 / 18

María Manzano (Universidad de Salamanca)

Introducción
Objetivos

I adquisición de un lenguaje arti…cial I formalización enunciados del español Características 1. uso declarativo del lenguaje 2. preciso, carente por completo de ambigüedad 3. de conectores 4. LP lógica proposicional fórmulas atómicas sin cuanti…cadores 5. 5. 6. conectores como funciones veritativas (booleanos) falso signi…ca no verdadero bivalente
LP Curso
…ver más…
2

3

María Manzano (Universidad de Salamanca)

LP

Curso 2009- 2010

10 / 18

Formalización II
1

Negación La negación de un enunciado verdadero será falsa y la de uno falso será verdadera. “no” “no es cierto que” “jamás” Conjunción “no es verdad que” “nunca”

2

La conjunción de dos enunciados es verdadera si y sólo si ambos lo son.
3

“y” “pero” Disyunción

“aunque”

“sin embargo”

La disyunción que recoge nuestra conectiva es la llamada incluyente (o no excluyente) La disyunción de dos enunciados es verdadera si al menos uno de ellos lo es “o” “a menos que” “a no ser que”
LP

“y/o”
Curso 2009- 2010 11 / 18

María Manzano (Universidad de Salamanca)

Formalización III
1

Condicional Formalizamos (A ! B ) para indicar un enunciado condicional. En castellano usamos normalmente la expresión “si A entonces B”. Se usan también “si A, B”, “B, si A”, “A es condición su…ciente para B”, “B es condición necesaria para A”, “sólo si B, A”. La interpretación que le daremos será la siguiente: Un enunciado condicional es falso cuando el antecedente es verdadero y el consecuente falso, en el resto de los casos es verdadero. Bicondicional Un enunciado bicondicional es verdadero cuando y sólo cuando sus dos miembros son simultáneamente verdaderos o falsos. “A es condición su…ciente para B” y que “B es condición necesaria para A” Formalizaciones

Documentos relacionados

  • conectores
    1659 palabras | 7 páginas
  • Conectores
    2113 palabras | 9 páginas
  • Numeros binarios
    1805 palabras | 8 páginas
  • Conectores logicos
    1423 palabras | 6 páginas
  • Numeros binarios
    5601 palabras | 23 páginas
  • Conectores Ejercicios
    1788 palabras | 8 páginas
  • Codigo binario
    1108 palabras | 5 páginas
  • Conectores
    1025 palabras | 5 páginas
  • Oxidos binarios
    961 palabras | 4 páginas
  • Conectores Logicos
    688 palabras | 3 páginas