PORTAFOLIO DE

EVIDENCIA EN LOGICA
UNIVERSIDAD AUTONOMA DE SINALOA, UNIDAD
ACADEMICA PREPARATORIA LOS MOCHIS


20 DE MAYO DEL 2014
PROFESOR: L.T.S. Alba Bella Arce Garca
FILIBERTO FELIX FIERRO

LOGICA
La lgica es una ciencia formal que estudia los principios de la
demostracin e inferencia valida. La palabra deriva del griego
(logike), que significa dotado de razn, intelectual, dialectico,
argumentativo, que a su vez viene de (logos). Palabra,
pensamientos, idea, argumento, razn o principio.
La lgica investiga los principios por los cuales algunas inferencias
son aceptables, y otras no. Cuando una inferencia es aceptable, lo es
por su estructura lgica, y no por el contenido especfico del
argumento o el lenguaje utilizado. Por esta razn la lgica se
considera una ciencia formal, como la matemtica, en vez de una
ciencia emprica.

Qu es una tabla de la verdad?

Es un procedimiento grafico que permite determinar los posibles
valores de verdad de una proposicin compuesta, a partir de las
combinaciones de los valores de verdad de sus proposiciones simples
componentes.
Fue desarrollada por Charles Sanders Peirce por los aos 1880, pero
el formato ms popular es el que introdujo Ludwig Wittgenstein en
su Tractatus logico-philosophicus, publicado en 1921.

La tabla de los "valores de verdad", es usada en el mbito de la lgica,
para obtener la verdad (V) o falsedad (F), valores de verdad, de una
expresin o de una proposicin. Adems sirven para determinar si es
que un determinado esquema de inferencia es formalmente vlido
como un argumento, llegando a la conclusin de que este es una
tautologa (se habla de una tautologa cuando todos los valores de la
tabla mencionada son "V" o sea verdadero).
Tablas de la verdad
Negacin
Smbolo: ~
Lenguaje comn: No, nada, nunca, ni, jams, ningn, es falso que,
no es cierto que.

Negacin
p ~q
V F
F V
Es una conectiva veritativo funcional que invierte el valor de verdad de
la proposicin original por ella negada.
Conjuncin
Smbolo: ^
Lenguaje comn: Y, tambin, adems, incluso; e, pero, tanto como,
sin embargo
Conjuncin
p q
p^q
V V V
V F F
F V F
F F F
Es un enunciado compuesto funcin de verdad, cuya conectiva
veritativo-funcional define al enunciado compuesto como verdadero,
solo si ambas proposiciones son simultneamente verdaderas.



Disyuncion
Smbolo:
Lenguaje comn: o, o bien, y/o
Disyuncin inclusiva
p q pq
V V V
V F V
F V V
F F F
En un enunciado disyuntivo se afirma la posibilidad que al menos uno
de ambos disyuntos sea verdadero y el conectivo se define como
inclusivo si su conectiva incluye la posibilidad de que ambos disyuntos
sean simultneamente verdaderos.



Disyuncin exclusiva
p q pq
V V F
V F V
F V V
F F F
En un enunciado disyuntivo se afirma la posibilidad que al menos una
de ambos disyuntos sea verdadero y el conectivo se define como
exclusivo si su conectiva excluya la posibilidad de que ambos
disyuntos sea simultneamente verdaderos o falsos.



Condicional
Smbolo:
Lenguaje comn: Sientonces, solosi, siempre y cuando.

Condicional
p q pq
V V V
V F F
F V V
F F V
En un enunciado compuesto por una conectiva condicional, lo que se
afirma es que si la condicin o antecedente del enunciado es
verdadera el consecuente tambin debe serlo, y si esto no es as
entonces el enunciado es falso.
Bicondicional
Smbolo:
Lenguaje comn: Si y solo si, siempre y cuando, es lo mismo que,
es tan falsocomo, es tan verdaderocomo.

Bicondicional
p q pq
V V V
V F F
F V F
F V V
En un enunciado compuesto por una conectiva bicondicional, lo que
afirma la conectiva es que las proposiciones condicionales que
conforman el enunciado poseen el mismo valor de verdad, es decir, o
son ambas verdaderas o ambas falsas.

Qu es una proposicin tautolgica?
Una proposicin tautolgica es una proposicin compuesta que en la
tabla de verdad resulta verdadera en todos los casos, sin importar cual
sea el contenido o valor de verdad de sus proposiciones simples
componentes.
Un ejemplo de una proposicin tautolgica seria esta:
Tautolgica
p (pq)
V V V
V V V
F V V
F V F


Qu es una proposicin contradictoria?
Una proposicin contradictoria es una proposicin compuesta que en
la tabla de verdad resulta falsa en todos los casos, sin importar cual
sea el contenido o el valor de verdad de sus proposiciones simples.
Un ejemplo de una proposicin contradictoria seria esta:
Contradiccin
(p^q)
^
~p
V F F
F F F
F F V
F F V




Qu es una proposicin contingente o indeterminada?
Una proposicin contingente o indeterminada, es cuando en la tabla
de la verdad de una proposicin compuesta resulta verdadera en unos
casos y falsa en otros, decimos que el valor de la verdad de la
proposicin compuesta es contingente o indeterminada, y su valor de
verdad depende de los valores de verdad que adopte las
proposiciones simples componentes.
Un ejemplo de esa tabla seria:
p q
V F V
V V F
F V V
F F F













Bibliografa
Bsqueda por internet:

http://www.ecured.cu/index.php/Tablas_de_la_verdad

http://es.wikipedia.org/wiki/Tabla_de_verdad

http://es.wikipedia.org/wiki/L%C3%B3gica

Bsqueda en libro de texto:
Zazueta Bastidas Luis Alfonso. Lgica ll. Culiacn, Sin. Editorial once
ros. Edicin 2013. 197 pginas. Paginas consultadas: 42, 43, 46, 48,
51, 52, 53, 55, 57, 61, 62, 105.