El post que buscas se encuentra eliminado, pero este también te puede interesar

Tablas de verdad y Formalización de Argumentos.

Anuncios

Tablas de verdad y Formalización de Argumentos.


En este post hablaremos sobre las tablas de verdad, los conectores básicos y la formalización de argumentos.
TABLAS DE VERDAD
Las tablas de verdad son uno de los métodos sencillos y conocidos de la lógica matemática, pero también uno de los más poderosos y claros. Entender bien las tablas de verdad es, en gran medida, entender bien a la lógica formal misma.
Estas tablas se construyen haciendo una interpretación de los conectores que repasaremos mientras explicamos sus tablas de verdad o de valores.
Logica matematica


Contrucción de Tablas de Verdad
Como ya sabemos en lógica solamente tenemos dos valores, solamente puede ser verdadera o falsa.
Al interpretar una fórmula lo que finalmente vamos a obtener es un valor de verdad, bien sea verdadero o falso. Pero para poder encontrarlo muchas veces el proceso en laborioso porque puede estar formada por varias proposiciones atómicas. Primeramente se le asignan valores de verdad a los átomos y se puede encontrar el valor de la expresión.
Si deseamos hacerlo en general, debemos analizar todas las posibilidades, esto se puede hacer construyendo una tabla de verdad.

Anteriormente he mencionado la "Lógica Matemática" y a continuación voy a explicar de forma muy clara que es; La lógica matemática es una parte de la lógica y las matemáticas, que consiste en el estudio matemático de la lógica y en la aplicación de este estudio a otras áreas de las matemáticas. La lógica matemática tiene estrechas conexiones con la ciencias de la computación y la lógica filosófica. La lógica matemática estudia los sistemas formales en relación de los conectores.
Este es un esquema básico de la lógica matemática:
tablas de verdad filosofia


Las tablas de verdad básicas de los conectores son:
La Negación; la operación unitaria de negación se representa por “¬”, se lee como "no" o "es falso que", la negación invierte el valor de verdad de la proposición negada, es decir, que cuando p es verdadera, ¬p es falsa, y cuando p es falsa, ¬p es verdadera. y tiene la siguiente tabla de verdad de verdad
tablas de verdad explicacion


La conjunción se representa por p^q, se lee como "incluso" o "tambien" y como vemos en la tabla, la fórmula (p∧q) sólo es verdadera cuando p es verdadera y q es verdadera, siendo falsa en todos los demás casos::
conectores logicos


La disyunción como vemos en la tabla de verdad,la disyunción sólo es falsa en caso de que sus dos términos lo sean, y es verdadera en todos los demás supuestos y se lee como "o" o "salvo que":
tablas de valores ejemplos


El implicador de dos proposiciones p, q da lugar a la proposición; si p entonces q, se representa por p → q, se lee como "implica" y su tabla de verdad está dada por:
formalizacion de argumentos


La condicional lo primero que observamos en la tabla del condicional es que sólo es falso en un caso: cuando el antecedente es verdadero y el consecuencia falso.
Tablas de verdad y Formalización de Argumentos.


Si reunieramos estas tablas de verdad en una sola, se vería tal que así:
Logica matematica


Para ver como hacer una tabla de verdad de fórmulas en general, vean este vídeo:


Formalización de argumentos:
Una vez que hemos visto las tablas de verdad básicas de los conectores veamos unos ejemplos muy básicos de la formalización de argumentos:

Formalización del conjunción:
Ejmplo: Los perros son listos y los gatos egoístas.
p = los perros son listos
q= los gatos son egoístas
Formalización: p∧q (se lee ‘p y q’)

Formalización de la disyunción:
Ejmplo: Voy&al&cine&o&voy&al&teatro
p&=&voy&al&cine
q=&voy&al&teatro
Formalización:&p&∨&q&(se&lee&‘p&o&q’)

Formalización del condicional:
Ejmplo: Si Misha es un gato, entonces escupirá bolas de pelo.
p= Misha es un gato
q= Misha escupirá bolas de pelo.
Formalización: p→q (se lee ‘si p entonces q’ ó ‘p implica q’)

Formalización de la negación:

Ejemplo: No voy a solucionarte el problema
p= voy a solucionarte el problema
Formalización:¬p

Formalización combinando todas las anteriores:
ejemplo: Si estudias y vienes a clase, entonces aprobarás.
p= estudias
q= vienes&a&clase
r= aprobarás
Formalización: (p∧q)→r

tablas de verdad filosofia

Anuncios

16 comentarios - Tablas de verdad y Formalización de Argumentos.

@Megamanx1888 +1
aca va una para resolver

"Las estrellas emiten luz o los planetas la reflejan y, por otra parte, los planetas giran alrededor de ellas"
@Indocumentadito +1
@ToyoroChun
No sería así:
(p v q) ^ s
O sea, no es un razonamiento.
@ToyoroChun
@Indocumentadito ammms, cierto cierto Gracias
@ShootMeAgain +1
@Indocumentadito
Mira que bueno, alguien posteando esto en T! Despues de todo no son todos impuberes con netbooks de conectar igualdad...
@pichon113 +1
lo mas difíciles son las demostraciones
@illuminist +1
"Entender bien las tablas de verdad es, en gran medida, entender bien a la lógica formal misma" me parece mucho, las tablas de verdad son sólo una porción muy limitada de la lógica formal, y para entender bien la lógica formal sí o sí tenes que vértelas con pequeños escollos metalógicos como el teorema de compacidad, la propiedad de monotonía y otros, igual te dejo puntos
@ToyoroChun
@illuminist Muchas Gracias por la ayuda
@lasrr +1
Será verdad lo que escribiste ???

tablas de verdad explicacion
@ToyoroChun +1
conectores logicos
@angeluzumaki2 -1
no podes papu esto me hubiera servido hace 3 años que lo estaba cursando, tuve que aprendérmelo de último minuto como un campeón
Denunciado por poner el post 3 años después
@angeluzumaki2 -1
Me corrijo, lincesa en lugar de papu y denunciada en lugar de denunciado
@leshuga14 +3
travas de verdad y formalizacion de argumentos
@martin2487 +1
reco, favs porq sos lincesa roberto...
@martin2487 +2
@peregrinadlsaber certificada y arbol genealogico maestro.
@peregrinadlsaber +2
@martin2487 tiene gracia porque yo también soy mujer
@martin2487 +2
@peregrinadlsaber aprovecho y hago un 2 x1 de disculpas....
@dbasevi +1
para que serviria esto delincuenta (?
@insanewww +2
sirve para los circuitos de logica combinacional, es de lo que estan hechos los circuitos digitales.
@insanewww +1
tablas de valores ejemplos
@insanewww +1
ejemplo de una NAND IMPLEMETADA CON TRANSISTORES Y RESISTENCIAS
formalizacion de argumentos
@Thomnus +1
buen post +10
@ToyoroChun +1
Tablas de verdad y Formalización de Argumentos.
@insanewww
y la tautologia?
@ShootMeAgain +1
No eran las falacias que se apoyaban sobre los presupuestos de validez a modo ciclico?

"Dios todo lo puede, es puro amor y es la verdad absoluta>Lo dice la biblia>Dios escribio la biblia >>Vuelva al principio si no entendio."?