Está en la página 1de 6

D

Cccckkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkk
kkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkk
kkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkk
kkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkklkmklkkpoi
opipoiouiyutyyucccccccccccccccccccccccsvfgfgfvvvvvvvvvvvvvvvvv
vvs
yuyuyrufggghhhhhhhhhhghhgfhhhhhhhhhhhhhhhh
fgfgfgfgfgfgfgfffffffffffffffffffffff
asdgasdggllllllllllllll
Dgsgggggggggggghhhhhhhhhhhhhhhhhhhhrrrrrrrrrrrrrrrrrrrrrrrrrrr
rrrrrrrrrrrrrrrrrrrrrr
Dgdgd
Sddg
G
Sdgg
g dgd
Gs
Dg
dgdgdgsdgsdgsdgsdgsdgsdgsdgsdgsdgS
dg
sdg
s
dg
dgsdgsdgsdgsdgsdgDf
Sd
F
Sdf
S
Df
Sdf
S
Dfs

zFSDFSDFSDdddddddxcvddddddddddddddddddd

Fsdfsdfddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddd
dddd

sdf
Sf

Fsvasd{fvc,mSKLDCJKOasc klacxm XZ

Dcksduciasufqiwd

sckaucxizyc Fadf

Jhgjghj.ghjghjgh

JkhkuyuhjgsdCV XCV GVBDgvsf

jkhuyuitgyujhbmnSDFGSDGFS

kljjlkjkljADFAD

jkjlkjklj

kjiuyutryersdadxcbvbnmn

kjoiyhjgbnmn

 Simulador Lógica UNAD:

FADFA

DFA
Ejercicio 3: ProblemaDFs de aplicación

 Expresión formal o simbólica (dada en el planteamiento del


ejercicio):
[(𝑝⟶𝑞)∧(∼𝑝⟶𝑟)]⟶(∼r⟶p)
 Definición de las proposiciones simples: (se define cada
proposición simple del argumento, siempre en afirmativo y con letras
en minúscula).

p: participo en los CIPAS

q: participo en los B-learning

r: obtengo buenas calificaciones

 Lenguaje natural de la expresión formal: (A partir de las


proposiciones simples anteriores y el lenguaje simbólico dado en el
ejercicio, se construye la expresión en lenguaje formal o natural)

Si participo en los CIPAS entonces participo en los B-learning. Si no


participo en los CIPAS entonces obtengo buenas calificaciones. Por lo
tanto, si no obtengo buenas calificaciones entonces participo en los
CIPAS
 Generar la tabla de verdad manualmente: recuerde que
aparte de las columnas de las proposiciones simples, debe haber
tantas columnas como operadores lógicos hay en el lenguaje
simbólico (incluye negaciones y demás operadores lógicos, en el
caso del ejemplo que estamos trabajando, hay 3 proposiciones
simples, hay 2 negaciones y 5 operadores lógicos), por lo tanto, la
tabla de verdad está compuesta por 3 columnas de proposiciones
simples, 2 de negaciones y 5 columnas de operadores lógicos.

 Resultado de la tabla de verdad: TAUTOLOGÍA


 Generar la tabla de verdad con el simulador Lógica UNAD

También podría gustarte

  • Aass
    Aass
    Documento13 páginas
    Aass
    geovani lozano
    Aún no hay calificaciones
  • Tyrthrth
    Tyrthrth
    Documento27 páginas
    Tyrthrth
    geovani lozano
    Aún no hay calificaciones
  • Tyrthrth
    Tyrthrth
    Documento27 páginas
    Tyrthrth
    geovani lozano
    Aún no hay calificaciones
  • Rterf
    Rterf
    Documento26 páginas
    Rterf
    geovani lozano
    Aún no hay calificaciones
  • Erere
    Erere
    Documento13 páginas
    Erere
    geovani lozano
    Aún no hay calificaciones
  • MMMK
    MMMK
    Documento6 páginas
    MMMK
    geovani lozano
    Aún no hay calificaciones
  • Tyufd
    Tyufd
    Documento24 páginas
    Tyufd
    geovani lozano
    Aún no hay calificaciones
  • FGFG
    FGFG
    Documento13 páginas
    FGFG
    geovani lozano
    Aún no hay calificaciones
  • Rterf
    Rterf
    Documento26 páginas
    Rterf
    geovani lozano
    Aún no hay calificaciones
  • Erwerwer
    Erwerwer
    Documento22 páginas
    Erwerwer
    geovani lozano
    Aún no hay calificaciones
  • FGFG
    FGFG
    Documento13 páginas
    FGFG
    geovani lozano
    Aún no hay calificaciones
  • Erwerwer
    Erwerwer
    Documento23 páginas
    Erwerwer
    geovani lozano
    Aún no hay calificaciones
  • ¿Qué4r Hace El Siguiente Programa?: Zsdasdrs
    ¿Qué4r Hace El Siguiente Programa?: Zsdasdrs
    Documento13 páginas
    ¿Qué4r Hace El Siguiente Programa?: Zsdasdrs
    geovani lozano
    Aún no hay calificaciones
  • Weregdfgj
    Weregdfgj
    Documento13 páginas
    Weregdfgj
    geovani lozano
    Aún no hay calificaciones
  • Dasczxfwf
    Dasczxfwf
    Documento5 páginas
    Dasczxfwf
    geovani lozano
    Aún no hay calificaciones
  • Ksjdfhskjdfhs 4
    Ksjdfhskjdfhs 4
    Documento7 páginas
    Ksjdfhskjdfhs 4
    geovani lozano
    Aún no hay calificaciones
  • LLL
    LLL
    Documento6 páginas
    LLL
    geovani lozano
    Aún no hay calificaciones
  • MMNN (
    MMNN (
    Documento7 páginas
    MMNN (
    geovani lozano
    Aún no hay calificaciones
  • ,C
    ,C
    Documento6 páginas
    ,C
    geovani lozano
    Aún no hay calificaciones
  • Uioyuityurtu
    Uioyuityurtu
    Documento6 páginas
    Uioyuityurtu
    geovani lozano
    Aún no hay calificaciones
  • Uioyuityurtu
    Uioyuityurtu
    Documento6 páginas
    Uioyuityurtu
    geovani lozano
    Aún no hay calificaciones
  • Erer
    Erer
    Documento6 páginas
    Erer
    geovani lozano
    Aún no hay calificaciones
  • DDCC
    DDCC
    Documento5 páginas
    DDCC
    geovani lozano
    Aún no hay calificaciones
  • Dasczxfwf
    Dasczxfwf
    Documento5 páginas
    Dasczxfwf
    geovani lozano
    Aún no hay calificaciones
  • FGFG
    FGFG
    Documento6 páginas
    FGFG
    geovani lozano
    Aún no hay calificaciones
  • Erer
    Erer
    Documento5 páginas
    Erer
    geovani lozano
    Aún no hay calificaciones
  • QEFD
    QEFD
    Documento4 páginas
    QEFD
    geovani lozano
    Aún no hay calificaciones
  • PPPOKJKN
    PPPOKJKN
    Documento4 páginas
    PPPOKJKN
    geovani lozano
    Aún no hay calificaciones
  • PPPOKJKN
    PPPOKJKN
    Documento4 páginas
    PPPOKJKN
    geovani lozano
    Aún no hay calificaciones
  • Logica Proposicional
    Logica Proposicional
    Documento47 páginas
    Logica Proposicional
    gaut02
    Aún no hay calificaciones
  • 2013-I PPT Logica Proposicional-Unidad I (0143)
    2013-I PPT Logica Proposicional-Unidad I (0143)
    Documento23 páginas
    2013-I PPT Logica Proposicional-Unidad I (0143)
    Card Petter
    Aún no hay calificaciones
  • Logica Inferencial
    Logica Inferencial
    Documento34 páginas
    Logica Inferencial
    Willy Barboza Estela
    88% (8)
  • Sem-1-Logica-proposicional 424 0
    Sem-1-Logica-proposicional 424 0
    Documento6 páginas
    Sem-1-Logica-proposicional 424 0
    Darcy Rimas Salazar
    Aún no hay calificaciones
  • Lógica Proposicional
    Lógica Proposicional
    Documento15 páginas
    Lógica Proposicional
    Mery Cuadros
    100% (1)
  • Formulario R Logico
    Formulario R Logico
    Documento21 páginas
    Formulario R Logico
    Pedro Enrique Cruz Ramirez
    100% (1)
  • Unidad Ii
    Unidad Ii
    Documento14 páginas
    Unidad Ii
    Alexandra Ochoa
    Aún no hay calificaciones
  • Guia Ejercicios Unidad III-reglas de Inferencia Imagen Completo
    Guia Ejercicios Unidad III-reglas de Inferencia Imagen Completo
    Documento5 páginas
    Guia Ejercicios Unidad III-reglas de Inferencia Imagen Completo
    Ayala Roberto
    80% (5)
  • Fast Test Semana 02MJ - Solucionario
    Fast Test Semana 02MJ - Solucionario
    Documento3 páginas
    Fast Test Semana 02MJ - Solucionario
    MARIA ISABEL MATOS BALBIN
    Aún no hay calificaciones
  • Cuaderno Matematicas Discretas
    Cuaderno Matematicas Discretas
    Documento56 páginas
    Cuaderno Matematicas Discretas
    Eduardo Mosquera
    Aún no hay calificaciones
  • NLNLK
    NLNLK
    Documento3 páginas
    NLNLK
    nicolas ortiz galindo
    Aún no hay calificaciones
  • Estructura Discreta - 01
    Estructura Discreta - 01
    Documento20 páginas
    Estructura Discreta - 01
    Andres Villarroel
    100% (1)
  • Logica Proposicional
    Logica Proposicional
    Documento8 páginas
    Logica Proposicional
    Carlos Sandoval
    Aún no hay calificaciones
  • 1er Material Algebra Pre 2022-1
    1er Material Algebra Pre 2022-1
    Documento47 páginas
    1er Material Algebra Pre 2022-1
    victor leonardo urrutia alarcon
    100% (1)
  • Ejercicios Tablas de Verdad para Resolver en Clase 2 de Febrero - 1
    Ejercicios Tablas de Verdad para Resolver en Clase 2 de Febrero - 1
    Documento7 páginas
    Ejercicios Tablas de Verdad para Resolver en Clase 2 de Febrero - 1
    Gisselle Ocampo
    Aún no hay calificaciones
  • La Bicondicional
    La Bicondicional
    Documento21 páginas
    La Bicondicional
    Mauricio
    Aún no hay calificaciones
  • Proyecto Tautologia
    Proyecto Tautologia
    Documento5 páginas
    Proyecto Tautologia
    Brayan Stiven Baron Velasco
    Aún no hay calificaciones
  • Matemàtica Lògica
    Matemàtica Lògica
    Documento21 páginas
    Matemàtica Lògica
    Johany Zadel
    Aún no hay calificaciones
  • Taller Reglas de Inferencia
    Taller Reglas de Inferencia
    Documento2 páginas
    Taller Reglas de Inferencia
    Daniela
    Aún no hay calificaciones
  • Portafolio Matematica
    Portafolio Matematica
    Documento64 páginas
    Portafolio Matematica
    Carolina Cepeda
    Aún no hay calificaciones
  • Taller de Circuitos Lógicos1
    Taller de Circuitos Lógicos1
    Documento15 páginas
    Taller de Circuitos Lógicos1
    Yeny Ticona Llanos
    100% (1)
  • Lógica y Conjuntos I XAna
    Lógica y Conjuntos I XAna
    Documento67 páginas
    Lógica y Conjuntos I XAna
    Abue Xana
    Aún no hay calificaciones
  • UNIDAD II Elementos de Lógica y Teoría de Conjuntos
    UNIDAD II Elementos de Lógica y Teoría de Conjuntos
    Documento26 páginas
    UNIDAD II Elementos de Lógica y Teoría de Conjuntos
    Juan Antoniio
    Aún no hay calificaciones
  • Cap Iii - Lógica Clásica de Enunciados
    Cap Iii - Lógica Clásica de Enunciados
    Documento3 páginas
    Cap Iii - Lógica Clásica de Enunciados
    Andres Fernández
    Aún no hay calificaciones
  • 156 Tarea 1 Danilo Urbano
    156 Tarea 1 Danilo Urbano
    Documento13 páginas
    156 Tarea 1 Danilo Urbano
    Jose Ricardo Araujo Perez
    Aún no hay calificaciones
  • Practica Calificada 1
    Practica Calificada 1
    Documento2 páginas
    Practica Calificada 1
    JUAN
    Aún no hay calificaciones
  • 1.4. - El Proceso Del Razonamiento Segun La Lógica
    1.4. - El Proceso Del Razonamiento Segun La Lógica
    Documento10 páginas
    1.4. - El Proceso Del Razonamiento Segun La Lógica
    Wendy Carranza
    Aún no hay calificaciones
  • A 5ºaño S2 Logica Proposicional II
    A 5ºaño S2 Logica Proposicional II
    Documento3 páginas
    A 5ºaño S2 Logica Proposicional II
    Juan Roberto Puma Apaza
    0% (1)
  • Cuadro Resumen Reglas de Inferencia
    Cuadro Resumen Reglas de Inferencia
    Documento8 páginas
    Cuadro Resumen Reglas de Inferencia
    Antonio Enique Torrejon
    Aún no hay calificaciones