Presentacion para Webconference Logica Proposicional

ECBTI/Zona Occidente/Curso
Pensamiento Lgico y Matemtico
USO DE LAS TABLAS DE VERDAD

scar Jhonny Gmez Surez
Director Curso
Dosquebradas, Jueves 13 de Octubre de 2016

PROPOSICIONES Y
TABLAS DE VERDAD
Es un enunciado al cual se le puede asociar el concepto de verdadero o falso,

pero no ambos.
Ejemplos:
La luna es cuadrada
7 es un nmero primo
Las araas son mamferos
En el caso de aquellos enunciados que no es posible determinar su valor de

verdad, es decir, poder demostrar claramente si son verdaderos o falsos, se
dice entonces que estos enunciados NO SON PROPOSICIONES.
En este caso se tienen las exclamaciones, los interrogantes, las frases imperativas,
y expresiones con valores indeterminados. Ejemplos:
EXCELENTE APRENDER MATEMTICAS!
QUIEN FUE EL QUE DIJO QUE LAS MATEMTICAS SON EXACTAS?
LEVNTA LA MIRADA AL XITO.

Existen dos clases de proposiciones:

Proposiciones simples o atmicas (no usan operadores lgicos)
Proposiciones compuestas o moleculares (si usan conectivos u operadores
lgicos)
Ejemplos:
Juan juega en el patio (proposicin simple)
Juan juega en el patio y Carlos en el Jardn (proposicin
compuesta)
Llamados tambin operadores lgicos, son palabras que sirven

para enlazar proposiciones simples o cambiar el valor de
verdad de una proposicin.
Los conectivos son:
no; y; o; si entonces; s y slo s.

Recordemos que el valor de certeza de una proposicin

compuesta depende de los valores de certeza de las
proposiciones simples que la componen
Para analizar los valores de certeza de una proposicin
compuesta, representamos todas las posibilidades de
valores de verdad de las proposiciones simples, en un
arreglo de tabla
Se llama negacin de una proposicin p cuando cambiamos su valor

de verdad; es decr si p es verdadero, entonces al negar p, o sea, no p,
pasa a ser falso.
La simbologa puede ser de dos maneras: p, ~p

p p
V F
F V
~
~
Se llama conjuncin de las proposiciones p y q a la proposicin p y q.

Se denota por p q.
La proposicin p q es verdadera slo si p y q son verdaderas. Es

falsa si al menos una de ellas es falsa.
p q p q

V V V
V F F
F V F
F F F
Se toman como sinnimos de la conjuncin:
Adems Tambin
Pero An
Sin embargo A la vez
Aunque No obstante
Luis estudia, adems de trabajar

Luis estudi pero no aprob
Luis canta, sin embargo no baila
Luis jug futbol aunque estaba lesionado
Luis juega futbol, tambin Jos
Luis sali, an no llega
Luis cocina a la vez que canta
Luis viajar no obstante est sin visa
Luis canta, no baila.
No siempre y denota una conjuncin

Ejemplo:
Silvia y Nelly son hermanas
Esta es una proposicin (simple), en donde el y

permite establecer la relacin entre los sujetos.
Se llama disyuncin de las proposiciones p y q a la proposicin p q.

Se denota por p v q.
La proposicin p v q es verdadera slo si al menos una de las

proposiciones p q es verdadera y es falsa si ambas son falsas.
p q pvq
V V V
V F V
F V V
F F F
Se llama condicional de las proposiciones p y q a la

proposicin Si p, entonces q. La primera proposicin
se llama antecedente y la segunda consecuente.
p q pq
Se denota por p q y se lee: si p entonces q p
es condicin suficiente para q q es condicin
V V V
necesaria para p. V F F
La proposicin p q es falsa solamente si p es
verdadera y q es falsa y es verdadera en cualquier F V V
otro caso.
F F V
Se llama bicondicional de las proposiciones p y q a la proposicin p si y slo si q p es

condicin necesaria y suficiente para q y se denota por p q.
La proposicin p q es verdadera si ambas p y q son verdaderas o falsas y, es falsa en otro
caso.
p q pq
V V V
V F F
F V F
F F V
LGEBRA PROPOSICIONAL
2n
donde n representa el
nmero de proposiciones
simples.
TAUTOLOGA
CONTRADICCIN
CONTINGENCIA
Unidad/Zona/grupo o equipo funcional
GRACIAS POR SU
ATENCIN

Presentacion para Webconference Logica Proposicional

Hochgeladen von

Dokumentinformationen

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Presentacion para Webconference Logica Proposicional

Hochgeladen von

Copyright:

Verfügbare Formate

ECBTI/Zona Occidente/Curso

Pensamiento Lgico y Matemtico

USO DE LAS TABLAS DE VERDAD

Dosquebradas, Jueves 13 de Octubre de 2016

Es un enunciado al cual se le puede asociar el concepto de verdadero o falso,

En el caso de aquellos enunciados que no es posible determinar su valor de

EXCELENTE APRENDER MATEMTICAS!

QUIEN FUE EL QUE DIJO QUE LAS MATEMTICAS SON EXACTAS?

LEVNTA LA MIRADA AL XITO.

Existen dos clases de proposiciones:

Llamados tambin operadores lgicos, son palabras que sirven

no; y; o; si entonces; s y slo s.

Recordemos que el valor de certeza de una proposicin

Se llama negacin de una proposicin p cuando cambiamos su valor

La simbologa puede ser de dos maneras: p, ~p

Se llama conjuncin de las proposiciones p y q a la proposicin p y q.

La proposicin p q es verdadera slo si p y q son verdaderas. Es

Se toman como sinnimos de la conjuncin:

Luis estudia, adems de trabajar

No siempre y denota una conjuncin

Silvia y Nelly son hermanas

Esta es una proposicin (simple), en donde el y

Se llama disyuncin de las proposiciones p y q a la proposicin p q.

La proposicin p v q es verdadera slo si al menos una de las

Se llama condicional de las proposiciones p y q a la

Se llama bicondicional de las proposiciones p y q a la proposicin p si y slo si q p es

Das könnte Ihnen auch gefallen