SlideShare una empresa de Scribd logo
1 de 30
Descargar para leer sin conexión
Lógica
Proposicional
Adaptado por la Ing. Zamantha González
Asesora Área de Sistemas UNA Cojedes
Tarea de la lógica
 Determinar la falsedad o verdad de una premisa es tarea
de la ciencia en general
 El lógico no está interesado en la verdad o falsedad de
las proposiciones sino en las relaciones lógicas entre
ellas, es decir, la validez de los argumentos en que
pueden aparecer.
 La lógica nos da los elementos para afirmar sobre la
validez de un argumento
Proposición
 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 número primo
 Las arañas son mamíferos
Proposiciones compuestas
Conectivos
 Conocido el valor de verdad de ciertas
proposiciones, la lógica establece el valor de
verdad de otras relacionadas con éstas.
 A éstas últimas se les conoce como proposiciones
compuestas
Lógica proposicional
 Cada proposición es representada por una letra,
tradicionalmente p, q, r, …
 Tenemos conectores lógicos:
 y (), o (), no (), implicación ()
 Definidos a través de una tabla de verdad
 p  q
Negación
 Si p es una
proposición, entonces
“no p” es la negación
de p y se denota por:
~ p
Ejemplo:
P: Hoy es martes
~ p: Hoy no es martes
 Si “p” es una
proposición
verdadera, cómo es
~ p ?
Negación
 Como sinónimos de no, se utilizan las
siguientes expresiones:
 No es cierto que ……..
 No es el caso que………….
 Es falso que…………
 No sucede que…………….
Negación
 Podemos representar la
negación de una
proposición cualquiera
“p” en forma
“compacta”, utilizando
una tabla.
 A esta tabla se le llama
“tabla de certeza o tabla
de verdad de la
negación”
p ~ p
V F
F V
Posibilidades para la proposición p
Conjunción…”y”
La conjunción de dos proposiciones se forma
insertando la palabra “y” entre ellas.
 “Hoy es día de fiesta y amaneció lloviendo”
 “Me llamo Rosmary y soy Psicopedagoga”
 “ Te llamas Carmen y eres técnico en Artes de
Fuego”
Conjunción…”y”
 Si p y q son
proposiciones, se
llama conjunción de p
y q a la proposición
compuesta “p y q “ y
se denota por:
p  q
 Ejemplos:
p: Hoy es martes
q: La luna es cuadrada
r: mañana es miércoles
p  q :Hoy es martes y la
luna es cuadrada
p  r :Hoy es martes y
mañana es miércoles
Conjunción
 Para construir la
tabla de p  q,
debemos considerar
las diferentes
alternativas de
valores de verdad
para p y para q:
 ¿Cuáles son ?
 Ambas verdaderas
 una V y la otra F
 ambas falsas
p q p  q
V V V
V F F
F V F
F F F
Conjunción….”y”
 Se toman como “sinónimos” de la
conjunción:
 Además
 Pero
 Sin embargo
 Aunque
 También
 Aún
 A la vez
 No obstante
Conjunción: p  q
 Luis estudia ,además de trabajar
 Luis estudió pero no aprobó
 Luis canta, sin embargo no baila
 Luis jugó futbol aunque estaba
lesionado
 Luis juega futbol , también José
 Luis salió, aún no llega
 Luis cocina a la vez que canta
 Luis viajará no obstante esté sin visa
 Luis canta, no baila.
Conjunción: p  q
 No siempre “y” denota una
conjunción
 ……………………
Ejemplo:
Silvia y Nelly son hermanas
 Esta es una proposición (simple), en
donde el “y” permite establecer la
relación entre los sujetos.
Disyunción….”o”
 La disyunción de dos proposiciones se forma
insertando la palabra “o” entre ellas.
 “Hoy es día de fiesta o amaneció lloviendo”
 “Me llamo Rosmary o soy Psicopedagoga”
 “ Te llamas Carmen o eres técnico en Artes
de Fuego”
Disyunción
 Si p y q son
proposiciones,
se llama
disyunción de p
y q a la
proposición
compuesta “p
o q” y se
denota por:
p  q
p q p  q
V V V
V F V
F V V
F F F
Disyunción
 Seré cantante o futbolista
 p: Seré cantante
 q: Seré futbolista
Simbolización:
p  q
p q p  q
V V V
V F V
F V V
F F F
Condicional
 Si p y q son
proposiciones, se
llama condicional de p
y q a la proposición
compuesta “si p,
entonces q” y se
denota por:
p  q
 Ejemplos:
 Si no llueve
(entonces) iremos a la
playa
 Si me gano la lotería
(entonces) me voy de
viaje
 Si no estudio
(entonces) no
aprobaré Lógica
Condicional
 Veamos la tabla
del condicional:
p  q
 Conviene pensar en
una “promesa” ..... Si
no llueve (entonces)
iremos a la playa
p q p  q
V V V
V F F
F V V
F F V
Condicional
 Algunas expresiones del lenguaje que indican la
presencia de un condicional (p  q), son las
siguientes:
 p es condición suficiente para q
 Si p, q
 q si p
 Que p supone que q
 Cuando p, q
 q es condición necesaria para p
 En caso de que p entonces q
 p sólo si q
Condicional
 El condicional es falso,
sólo cuando el
antecedente es
verdadero y el
consecuente es falso;
es decir, cuando la
“promesa” no se cumple.
p q p  q
V V V
V F F
F V V
F F V
Tablas de verdad
 Recordemos que el valor de certeza de
una proposición compuesta depende de los
valores de certeza de las proposiciones
simples que la componen
 Para analizar los valores de certeza de
una proposición compuesta, representamos
todas las posibilidades de valores de
verdad de las proposiciones simples, en un
arreglo de tabla.
Ejemplo con 1 proposición
simple
 Construyamos la tabla de verdad para la
siguiente proposición :
 p(~pp)
 2 filas de posibilidades: p verdadero y p falso.
p ~p
V F
F V
~pp p(~pp)
V V
F V
Ejemplo con 2
proposiciones simples
 Construyamos la tabla de verdad para
la siguiente proposición :(pq)(p~q)
 4 filas de posibilidades
p q
V V
V F
F V
F F
pq p~q
V F
F V
F V
F V
~q
F
V
F
V
(pq)(p~q)
F
F
F
F
Ejemplo con 2
proposiciones simples
 Otra manera para (pq)(p~q)
p q
V V
V F
F V
F F
(p  q)  (p  ~ q)
V
F
F
F
1
F
V
F
V
2
F
V
V
V
3
F
F
F
F
4
Ejemplo con 3
proposiciones simples
 ¿Cuántas
posibilidades
tendremos?
p q r
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
Ejemplo con 3
proposiciones simples
p q r
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
rp qp ~(qp)
V V F
V V F
V V F
V V F
V V F
F V F
V F V
F F V
(r  p)  ~(qp)
F
F
F
F
F
F
V
F
Hacer la tabla de certeza para: (rp)  ~(qp)
En resumen
 Una tabla de verdad para
proposiciones compuestas que
contienen:
 1 proposición simple… tendrá 2 filas
 2 proposiciones simples
 3 proposiciones simples
 4 proposiciones simples
 ……razonando inductivamente……..
 n proposiciones simples
4 = 22 filas
8 = 23 filas
16= 24 filas
2n filas
Formas de expresar un
condicional…….
 Si es caraqueño, es venezolano (p q)
 Es venezolano, siempre que sea caraqueño
 Es venezolano si es caraqueño
 Es suficiente que sea caraqueño para que sea
venezolano
 Siempre y cuando sea caraqueño, será
venezolano.
 Es necesario que sea venezolano para ser
caraqueño
TODAS ESTAS EXPRESIONES SE
SIMBOLIZAN COMO: p q
Partes de un condicional
p q
antecedente
Condición
suficiente
consecuente
Condición
necesaria

Más contenido relacionado

La actualidad más candente

Fundamentos de la Lógica
Fundamentos de la LógicaFundamentos de la Lógica
Fundamentos de la LógicaVane Borjas
 
Sesión y practica de formalización y valoración de proposiciones
Sesión y practica de formalización y valoración de proposicionesSesión y practica de formalización y valoración de proposiciones
Sesión y practica de formalización y valoración de proposicionesWilderd Cabanillas Campos
 
Lógica proposicional
Lógica proposicional Lógica proposicional
Lógica proposicional Yuly Oyanguren
 
Conectivos logicos
Conectivos logicosConectivos logicos
Conectivos logicosEdward Solis
 
LOGICA PROPOSICIONAL II
LOGICA PROPOSICIONAL IILOGICA PROPOSICIONAL II
LOGICA PROPOSICIONAL IIvalefrey1
 
Proposiciones y su clasificación
Proposiciones y su clasificaciónProposiciones y su clasificación
Proposiciones y su clasificaciónangiegutierrez11
 
Estructura discreta Proposiciones
Estructura discreta ProposicionesEstructura discreta Proposiciones
Estructura discreta Proposicionesjaz16
 
D05 Tablasde Verdadde Proposiciones Compuestas
D05 Tablasde Verdadde Proposiciones CompuestasD05 Tablasde Verdadde Proposiciones Compuestas
D05 Tablasde Verdadde Proposiciones CompuestasSaúl Qc
 
Proposiciones.
Proposiciones.Proposiciones.
Proposiciones.Jorgexm01
 
LÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONALLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONALtrifonia2014
 
Trabajo de logica matematica 3 bgu
Trabajo de logica matematica 3 bguTrabajo de logica matematica 3 bgu
Trabajo de logica matematica 3 bguPato Hernandez
 
Estructura efrain palma
Estructura efrain palmaEstructura efrain palma
Estructura efrain palmaASIGNACIONUFT
 
Logica Matemática Introducción A La Logica
Logica Matemática Introducción A La  LogicaLogica Matemática Introducción A La  Logica
Logica Matemática Introducción A La LogicaVideoconferencias UTPL
 
Valores de verdad
Valores de verdadValores de verdad
Valores de verdaddesousat
 
Lógica- tablas de verdad-veracidad
Lógica- tablas de verdad-veracidadLógica- tablas de verdad-veracidad
Lógica- tablas de verdad-veracidadLuis Bruno
 

La actualidad más candente (19)

Fundamentos de la Lógica
Fundamentos de la LógicaFundamentos de la Lógica
Fundamentos de la Lógica
 
Sesión y practica de formalización y valoración de proposiciones
Sesión y practica de formalización y valoración de proposicionesSesión y practica de formalización y valoración de proposiciones
Sesión y practica de formalización y valoración de proposiciones
 
Sesión N°2 Lógica PPS Unimet
Sesión N°2 Lógica PPS UnimetSesión N°2 Lógica PPS Unimet
Sesión N°2 Lógica PPS Unimet
 
Lógica proposicional
Lógica proposicional Lógica proposicional
Lógica proposicional
 
Conectivos logicos
Conectivos logicosConectivos logicos
Conectivos logicos
 
LOGICA PROPOSICIONAL II
LOGICA PROPOSICIONAL IILOGICA PROPOSICIONAL II
LOGICA PROPOSICIONAL II
 
Conectores logicos
Conectores logicosConectores logicos
Conectores logicos
 
Proposiciones y su clasificación
Proposiciones y su clasificaciónProposiciones y su clasificación
Proposiciones y su clasificación
 
Estructura discreta Proposiciones
Estructura discreta ProposicionesEstructura discreta Proposiciones
Estructura discreta Proposiciones
 
D05 Tablasde Verdadde Proposiciones Compuestas
D05 Tablasde Verdadde Proposiciones CompuestasD05 Tablasde Verdadde Proposiciones Compuestas
D05 Tablasde Verdadde Proposiciones Compuestas
 
Lógica 2º
Lógica 2ºLógica 2º
Lógica 2º
 
Proposiciones.
Proposiciones.Proposiciones.
Proposiciones.
 
LÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONALLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL
 
Trabajo de logica matematica 3 bgu
Trabajo de logica matematica 3 bguTrabajo de logica matematica 3 bgu
Trabajo de logica matematica 3 bgu
 
Estructura efrain palma
Estructura efrain palmaEstructura efrain palma
Estructura efrain palma
 
OPERACIONES LÓGICAS: Práctica
OPERACIONES LÓGICAS: PrácticaOPERACIONES LÓGICAS: Práctica
OPERACIONES LÓGICAS: Práctica
 
Logica Matemática Introducción A La Logica
Logica Matemática Introducción A La  LogicaLogica Matemática Introducción A La  Logica
Logica Matemática Introducción A La Logica
 
Valores de verdad
Valores de verdadValores de verdad
Valores de verdad
 
Lógica- tablas de verdad-veracidad
Lógica- tablas de verdad-veracidadLógica- tablas de verdad-veracidad
Lógica- tablas de verdad-veracidad
 

Similar a Logica proposicional

Repaso Algebra Proposicional
Repaso Algebra ProposicionalRepaso Algebra Proposicional
Repaso Algebra ProposicionalMariexis Cova
 
LOGICA_PROPOSICIONAL 2023 I.pptx
LOGICA_PROPOSICIONAL 2023 I.pptxLOGICA_PROPOSICIONAL 2023 I.pptx
LOGICA_PROPOSICIONAL 2023 I.pptxOmarEnrique13
 
Estructura discreta limbert
Estructura discreta limbertEstructura discreta limbert
Estructura discreta limbertASIGNACIONUFT
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicionalSael0001
 
Proposiciones SAIA, UFT.
Proposiciones SAIA, UFT.Proposiciones SAIA, UFT.
Proposiciones SAIA, UFT.Frank Perez
 
Proposiciones SAIA, UFT
Proposiciones SAIA, UFTProposiciones SAIA, UFT
Proposiciones SAIA, UFTFrank Perez
 
Proposiciones alvimar vargas
Proposiciones alvimar vargasProposiciones alvimar vargas
Proposiciones alvimar vargasAlvi Vargas
 
Carloshernandez
CarloshernandezCarloshernandez
Carloshernandezcarlosahd
 
Universidad fermin toro esctructura discreta
Universidad fermin toro esctructura discretaUniversidad fermin toro esctructura discreta
Universidad fermin toro esctructura discretaIvan Bernal
 
T logica
T logicaT logica
T logicaDaniel
 
Proposiciones - ESD
Proposiciones  - ESDProposiciones  - ESD
Proposiciones - ESDradilfs
 
1.clase introduccion-logica
1.clase introduccion-logica1.clase introduccion-logica
1.clase introduccion-logicalupitamartel
 
Estructuras discretas (Proposiciones)
Estructuras discretas (Proposiciones)Estructuras discretas (Proposiciones)
Estructuras discretas (Proposiciones)pedrobombace
 

Similar a Logica proposicional (20)

Repaso Algebra Proposicional
Repaso Algebra ProposicionalRepaso Algebra Proposicional
Repaso Algebra Proposicional
 
LOGICA_PROPOSICIONAL 2023 I.pptx
LOGICA_PROPOSICIONAL 2023 I.pptxLOGICA_PROPOSICIONAL 2023 I.pptx
LOGICA_PROPOSICIONAL 2023 I.pptx
 
Estructura
EstructuraEstructura
Estructura
 
Estructura wilfredy perez
Estructura wilfredy perezEstructura wilfredy perez
Estructura wilfredy perez
 
Estructura discreta limbert
Estructura discreta limbertEstructura discreta limbert
Estructura discreta limbert
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Proposiciones SAIA, UFT.
Proposiciones SAIA, UFT.Proposiciones SAIA, UFT.
Proposiciones SAIA, UFT.
 
Proposiciones SAIA, UFT
Proposiciones SAIA, UFTProposiciones SAIA, UFT
Proposiciones SAIA, UFT
 
Proposiciones alvimar vargas
Proposiciones alvimar vargasProposiciones alvimar vargas
Proposiciones alvimar vargas
 
Carloshernandez
CarloshernandezCarloshernandez
Carloshernandez
 
Logica y conjuntos
Logica y conjuntosLogica y conjuntos
Logica y conjuntos
 
Universidad fermin toro esctructura discreta
Universidad fermin toro esctructura discretaUniversidad fermin toro esctructura discreta
Universidad fermin toro esctructura discreta
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Trabajo de lógica matemática
Trabajo de lógica matemáticaTrabajo de lógica matemática
Trabajo de lógica matemática
 
T logica
T logicaT logica
T logica
 
FMMA010_apunte_s7.pdf
FMMA010_apunte_s7.pdfFMMA010_apunte_s7.pdf
FMMA010_apunte_s7.pdf
 
Proposiciones - ESD
Proposiciones  - ESDProposiciones  - ESD
Proposiciones - ESD
 
1.clase introduccion-logica
1.clase introduccion-logica1.clase introduccion-logica
1.clase introduccion-logica
 
Estructuras discretas (Proposiciones)
Estructuras discretas (Proposiciones)Estructuras discretas (Proposiciones)
Estructuras discretas (Proposiciones)
 
Leyes algebra
Leyes algebraLeyes algebra
Leyes algebra
 

Último

30-de-abril-plebiscito-1902_240420_104511.pdf
30-de-abril-plebiscito-1902_240420_104511.pdf30-de-abril-plebiscito-1902_240420_104511.pdf
30-de-abril-plebiscito-1902_240420_104511.pdfgimenanahuel
 
La triple Naturaleza del Hombre estudio.
La triple Naturaleza del Hombre estudio.La triple Naturaleza del Hombre estudio.
La triple Naturaleza del Hombre estudio.amayarogel
 
Manual - ABAS II completo 263 hojas .pdf
Manual - ABAS II completo 263 hojas .pdfManual - ABAS II completo 263 hojas .pdf
Manual - ABAS II completo 263 hojas .pdfMaryRotonda1
 
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIA
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIARAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIA
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIACarlos Campaña Montenegro
 
Informatica Generalidades - Conceptos Básicos
Informatica Generalidades - Conceptos BásicosInformatica Generalidades - Conceptos Básicos
Informatica Generalidades - Conceptos BásicosCesarFernandez937857
 
codigos HTML para blogs y paginas web Karina
codigos HTML para blogs y paginas web Karinacodigos HTML para blogs y paginas web Karina
codigos HTML para blogs y paginas web Karinavergarakarina022
 
EXPECTATIVAS vs PERSPECTIVA en la vida.
EXPECTATIVAS vs PERSPECTIVA  en la vida.EXPECTATIVAS vs PERSPECTIVA  en la vida.
EXPECTATIVAS vs PERSPECTIVA en la vida.DaluiMonasterio
 
ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...
ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...
ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...JAVIER SOLIS NOYOLA
 
MAYO 1 PROYECTO día de la madre el amor más grande
MAYO 1 PROYECTO día de la madre el amor más grandeMAYO 1 PROYECTO día de la madre el amor más grande
MAYO 1 PROYECTO día de la madre el amor más grandeMarjorie Burga
 
RETO MES DE ABRIL .............................docx
RETO MES DE ABRIL .............................docxRETO MES DE ABRIL .............................docx
RETO MES DE ABRIL .............................docxAna Fernandez
 
el CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyz
el CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyzel CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyz
el CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyzprofefilete
 
La Función tecnológica del tutor.pptx
La  Función  tecnológica  del tutor.pptxLa  Función  tecnológica  del tutor.pptx
La Función tecnológica del tutor.pptxJunkotantik
 
Lecciones 04 Esc. Sabática. Defendamos la verdad
Lecciones 04 Esc. Sabática. Defendamos la verdadLecciones 04 Esc. Sabática. Defendamos la verdad
Lecciones 04 Esc. Sabática. Defendamos la verdadAlejandrino Halire Ccahuana
 
Identificación de componentes Hardware del PC
Identificación de componentes Hardware del PCIdentificación de componentes Hardware del PC
Identificación de componentes Hardware del PCCesarFernandez937857
 
Caja de herramientas de inteligencia artificial para la academia y la investi...
Caja de herramientas de inteligencia artificial para la academia y la investi...Caja de herramientas de inteligencia artificial para la academia y la investi...
Caja de herramientas de inteligencia artificial para la academia y la investi...Lourdes Feria
 
texto argumentativo, ejemplos y ejercicios prácticos
texto argumentativo, ejemplos y ejercicios prácticostexto argumentativo, ejemplos y ejercicios prácticos
texto argumentativo, ejemplos y ejercicios prácticosisabeltrejoros
 
cortes de luz abril 2024 en la provincia de tungurahua
cortes de luz abril 2024 en la provincia de tungurahuacortes de luz abril 2024 en la provincia de tungurahua
cortes de luz abril 2024 en la provincia de tungurahuaDANNYISAACCARVAJALGA
 

Último (20)

30-de-abril-plebiscito-1902_240420_104511.pdf
30-de-abril-plebiscito-1902_240420_104511.pdf30-de-abril-plebiscito-1902_240420_104511.pdf
30-de-abril-plebiscito-1902_240420_104511.pdf
 
La triple Naturaleza del Hombre estudio.
La triple Naturaleza del Hombre estudio.La triple Naturaleza del Hombre estudio.
La triple Naturaleza del Hombre estudio.
 
Manual - ABAS II completo 263 hojas .pdf
Manual - ABAS II completo 263 hojas .pdfManual - ABAS II completo 263 hojas .pdf
Manual - ABAS II completo 263 hojas .pdf
 
La Trampa De La Felicidad. Russ-Harris.pdf
La Trampa De La Felicidad. Russ-Harris.pdfLa Trampa De La Felicidad. Russ-Harris.pdf
La Trampa De La Felicidad. Russ-Harris.pdf
 
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIA
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIARAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIA
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIA
 
Informatica Generalidades - Conceptos Básicos
Informatica Generalidades - Conceptos BásicosInformatica Generalidades - Conceptos Básicos
Informatica Generalidades - Conceptos Básicos
 
codigos HTML para blogs y paginas web Karina
codigos HTML para blogs y paginas web Karinacodigos HTML para blogs y paginas web Karina
codigos HTML para blogs y paginas web Karina
 
Defendamos la verdad. La defensa es importante.
Defendamos la verdad. La defensa es importante.Defendamos la verdad. La defensa es importante.
Defendamos la verdad. La defensa es importante.
 
EXPECTATIVAS vs PERSPECTIVA en la vida.
EXPECTATIVAS vs PERSPECTIVA  en la vida.EXPECTATIVAS vs PERSPECTIVA  en la vida.
EXPECTATIVAS vs PERSPECTIVA en la vida.
 
ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...
ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...
ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...
 
Presentacion Metodología de Enseñanza Multigrado
Presentacion Metodología de Enseñanza MultigradoPresentacion Metodología de Enseñanza Multigrado
Presentacion Metodología de Enseñanza Multigrado
 
MAYO 1 PROYECTO día de la madre el amor más grande
MAYO 1 PROYECTO día de la madre el amor más grandeMAYO 1 PROYECTO día de la madre el amor más grande
MAYO 1 PROYECTO día de la madre el amor más grande
 
RETO MES DE ABRIL .............................docx
RETO MES DE ABRIL .............................docxRETO MES DE ABRIL .............................docx
RETO MES DE ABRIL .............................docx
 
el CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyz
el CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyzel CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyz
el CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyz
 
La Función tecnológica del tutor.pptx
La  Función  tecnológica  del tutor.pptxLa  Función  tecnológica  del tutor.pptx
La Función tecnológica del tutor.pptx
 
Lecciones 04 Esc. Sabática. Defendamos la verdad
Lecciones 04 Esc. Sabática. Defendamos la verdadLecciones 04 Esc. Sabática. Defendamos la verdad
Lecciones 04 Esc. Sabática. Defendamos la verdad
 
Identificación de componentes Hardware del PC
Identificación de componentes Hardware del PCIdentificación de componentes Hardware del PC
Identificación de componentes Hardware del PC
 
Caja de herramientas de inteligencia artificial para la academia y la investi...
Caja de herramientas de inteligencia artificial para la academia y la investi...Caja de herramientas de inteligencia artificial para la academia y la investi...
Caja de herramientas de inteligencia artificial para la academia y la investi...
 
texto argumentativo, ejemplos y ejercicios prácticos
texto argumentativo, ejemplos y ejercicios prácticostexto argumentativo, ejemplos y ejercicios prácticos
texto argumentativo, ejemplos y ejercicios prácticos
 
cortes de luz abril 2024 en la provincia de tungurahua
cortes de luz abril 2024 en la provincia de tungurahuacortes de luz abril 2024 en la provincia de tungurahua
cortes de luz abril 2024 en la provincia de tungurahua
 

Logica proposicional

  • 1. Lógica Proposicional Adaptado por la Ing. Zamantha González Asesora Área de Sistemas UNA Cojedes
  • 2. Tarea de la lógica  Determinar la falsedad o verdad de una premisa es tarea de la ciencia en general  El lógico no está interesado en la verdad o falsedad de las proposiciones sino en las relaciones lógicas entre ellas, es decir, la validez de los argumentos en que pueden aparecer.  La lógica nos da los elementos para afirmar sobre la validez de un argumento
  • 3. Proposición  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 número primo  Las arañas son mamíferos
  • 4. Proposiciones compuestas Conectivos  Conocido el valor de verdad de ciertas proposiciones, la lógica establece el valor de verdad de otras relacionadas con éstas.  A éstas últimas se les conoce como proposiciones compuestas
  • 5. Lógica proposicional  Cada proposición es representada por una letra, tradicionalmente p, q, r, …  Tenemos conectores lógicos:  y (), o (), no (), implicación ()  Definidos a través de una tabla de verdad  p  q
  • 6. Negación  Si p es una proposición, entonces “no p” es la negación de p y se denota por: ~ p Ejemplo: P: Hoy es martes ~ p: Hoy no es martes  Si “p” es una proposición verdadera, cómo es ~ p ?
  • 7. Negación  Como sinónimos de no, se utilizan las siguientes expresiones:  No es cierto que ……..  No es el caso que………….  Es falso que…………  No sucede que…………….
  • 8. Negación  Podemos representar la negación de una proposición cualquiera “p” en forma “compacta”, utilizando una tabla.  A esta tabla se le llama “tabla de certeza o tabla de verdad de la negación” p ~ p V F F V Posibilidades para la proposición p
  • 9. Conjunción…”y” La conjunción de dos proposiciones se forma insertando la palabra “y” entre ellas.  “Hoy es día de fiesta y amaneció lloviendo”  “Me llamo Rosmary y soy Psicopedagoga”  “ Te llamas Carmen y eres técnico en Artes de Fuego”
  • 10. Conjunción…”y”  Si p y q son proposiciones, se llama conjunción de p y q a la proposición compuesta “p y q “ y se denota por: p  q  Ejemplos: p: Hoy es martes q: La luna es cuadrada r: mañana es miércoles p  q :Hoy es martes y la luna es cuadrada p  r :Hoy es martes y mañana es miércoles
  • 11. Conjunción  Para construir la tabla de p  q, debemos considerar las diferentes alternativas de valores de verdad para p y para q:  ¿Cuáles son ?  Ambas verdaderas  una V y la otra F  ambas falsas p q p  q V V V V F F F V F F F F
  • 12. Conjunción….”y”  Se toman como “sinónimos” de la conjunción:  Además  Pero  Sin embargo  Aunque  También  Aún  A la vez  No obstante
  • 13. Conjunción: p  q  Luis estudia ,además de trabajar  Luis estudió pero no aprobó  Luis canta, sin embargo no baila  Luis jugó futbol aunque estaba lesionado  Luis juega futbol , también José  Luis salió, aún no llega  Luis cocina a la vez que canta  Luis viajará no obstante esté sin visa  Luis canta, no baila.
  • 14. Conjunción: p  q  No siempre “y” denota una conjunción  …………………… Ejemplo: Silvia y Nelly son hermanas  Esta es una proposición (simple), en donde el “y” permite establecer la relación entre los sujetos.
  • 15. Disyunción….”o”  La disyunción de dos proposiciones se forma insertando la palabra “o” entre ellas.  “Hoy es día de fiesta o amaneció lloviendo”  “Me llamo Rosmary o soy Psicopedagoga”  “ Te llamas Carmen o eres técnico en Artes de Fuego”
  • 16. Disyunción  Si p y q son proposiciones, se llama disyunción de p y q a la proposición compuesta “p o q” y se denota por: p  q p q p  q V V V V F V F V V F F F
  • 17. Disyunción  Seré cantante o futbolista  p: Seré cantante  q: Seré futbolista Simbolización: p  q p q p  q V V V V F V F V V F F F
  • 18. Condicional  Si p y q son proposiciones, se llama condicional de p y q a la proposición compuesta “si p, entonces q” y se denota por: p  q  Ejemplos:  Si no llueve (entonces) iremos a la playa  Si me gano la lotería (entonces) me voy de viaje  Si no estudio (entonces) no aprobaré Lógica
  • 19. Condicional  Veamos la tabla del condicional: p  q  Conviene pensar en una “promesa” ..... Si no llueve (entonces) iremos a la playa p q p  q V V V V F F F V V F F V
  • 20. Condicional  Algunas expresiones del lenguaje que indican la presencia de un condicional (p  q), son las siguientes:  p es condición suficiente para q  Si p, q  q si p  Que p supone que q  Cuando p, q  q es condición necesaria para p  En caso de que p entonces q  p sólo si q
  • 21. Condicional  El condicional es falso, sólo cuando el antecedente es verdadero y el consecuente es falso; es decir, cuando la “promesa” no se cumple. p q p  q V V V V F F F V V F F V
  • 22. Tablas de verdad  Recordemos que el valor de certeza de una proposición compuesta depende de los valores de certeza de las proposiciones simples que la componen  Para analizar los valores de certeza de una proposición compuesta, representamos todas las posibilidades de valores de verdad de las proposiciones simples, en un arreglo de tabla.
  • 23. Ejemplo con 1 proposición simple  Construyamos la tabla de verdad para la siguiente proposición :  p(~pp)  2 filas de posibilidades: p verdadero y p falso. p ~p V F F V ~pp p(~pp) V V F V
  • 24. Ejemplo con 2 proposiciones simples  Construyamos la tabla de verdad para la siguiente proposición :(pq)(p~q)  4 filas de posibilidades p q V V V F F V F F pq p~q V F F V F V F V ~q F V F V (pq)(p~q) F F F F
  • 25. Ejemplo con 2 proposiciones simples  Otra manera para (pq)(p~q) p q V V V F F V F F (p  q)  (p  ~ q) V F F F 1 F V F V 2 F V V V 3 F F F F 4
  • 26. Ejemplo con 3 proposiciones simples  ¿Cuántas posibilidades tendremos? p q r V V V V V F V F V V F F F V V F V F F F V F F F
  • 27. Ejemplo con 3 proposiciones simples p q r V V V V V F V F V V F F F V V F V F F F V F F F rp qp ~(qp) V V F V V F V V F V V F V V F F V F V F V F F V (r  p)  ~(qp) F F F F F F V F Hacer la tabla de certeza para: (rp)  ~(qp)
  • 28. En resumen  Una tabla de verdad para proposiciones compuestas que contienen:  1 proposición simple… tendrá 2 filas  2 proposiciones simples  3 proposiciones simples  4 proposiciones simples  ……razonando inductivamente……..  n proposiciones simples 4 = 22 filas 8 = 23 filas 16= 24 filas 2n filas
  • 29. Formas de expresar un condicional…….  Si es caraqueño, es venezolano (p q)  Es venezolano, siempre que sea caraqueño  Es venezolano si es caraqueño  Es suficiente que sea caraqueño para que sea venezolano  Siempre y cuando sea caraqueño, será venezolano.  Es necesario que sea venezolano para ser caraqueño TODAS ESTAS EXPRESIONES SE SIMBOLIZAN COMO: p q
  • 30. Partes de un condicional p q antecedente Condición suficiente consecuente Condición necesaria