Professional Documents
Culture Documents
Presentado por:
LORENA MARTINEZ SANCHEZ
Código: 1065564379
GRUPO: 200611_864
Presentado a:
JUAN POLANCO LARA
TUTOR
El siguiente trabajo tiene como propósito acercarnos de una manera muy detallada
con todo lo relacionado de la lógica proposicional, los diferentes conectores lógicos
y la representación en la tabla de la verdad, y el Diagrama de Venn.
OBJETIVOS
planteadas en la guía.
curso
Proposiciones Abiertas:
Una proposición abierta es una expresión que contiene una variable "x" y
que se convierte en una proposición cerrada cuando "x" se sustituye por un
valor determinado.
Ejemplo:
1. (Ǝx = 1) / (x +1 = 2) Verdadera
2. (∀x ≠ 1) / (x + 1 = 2) Falsa.
Simbólicamente, en el primer caso el cuantificador recibe el nombre
de cuantificador existencial, pues está informando que existe un sólo valor
para "x" que hace verdadera la proposición dada.
Cuantificadores.
Los cuantificadores son símbolos utilizados para indicar cuántos o qué tipo
de elementos de un conjunto dado cumplen con cierta propiedad. Existen
muchos tipos de cuantificadores, entre los más utilizados están:
Ejemplo:
Ejemplo:
Proposiciones categóricas
Una Proposiciones categóricas es un enunciado que consta de dos
Proposiciones las cuales actúan una como sujeto y otra como predicado.
Ejemplos:
Ejemplos:
Caso 1: Todo S es P.
La parte del círculo S que esta fuera de P representa todos los S que no
son P
Todo S es P
Ningún P es S
Algún S es P
Algún P es S
Caso 4: Algún S no es P
Algún S no es P
Caso: 3
x = es un ciclista colombiano
Puedo concluir con el presente trabajo que la tabla de la verdad es una herramienta
de mucha importancia, ya que por medio de ella podemos conocer el valor de una
proposición compuesta.
BIBLIOGRAFIA
http://campus03.unad.edu.co/ecbti12/mod/page/view.php?id=6939&inpopup=
1
http://erenriquez.net/largoty/Ova01MD/
https://es.wikipedia.org/wiki/Tabla_de_verdad