ClubEnsayos.com - Ensayos de Calidad, Tareas y Monografias
Buscar

Tt1 lógica


Enviado por   •  9 de Septiembre de 2023  •  Trabajo  •  2.360 Palabras (10 Páginas)  •  41 Visitas

Página 1 de 10

Lógica 2023.2                Horarios 0207/0208

[pic 1]ESTUDIOS

GENERALES

LETRAS

Tarea teórica 1

Indicaciones

Resuelvan en grupo las tres partes de la tarea. El o la encargada de grupo debe cargar el archivo en TT1-Entregas en la sección Unidad 4 en PAIDEIA. Se debe adjuntar, al final del mismo archivo, la Declaración de trabajo grupal llenada correctamente. Deadline: domingo 10.9 a las 23:59. El nombre del archivo debe seguir este formato: TT1 – Nombre del grupo.

Parte I                                                                                [8 puntos]        

Consideren las siguientes reglas extra para los conectores diádicos  y  que se añaden a la LC:[pic 2][pic 3]

Reglas de formación extra

rf5. Si  y  son fbf’s, entonces  es una fbf.[pic 4][pic 5][pic 6]

rf6. Si  y  son fbf’s, entonces  es una fbf.[pic 7][pic 8][pic 9]

Reglas de interpretación extra

ri7.  sii  o [pic 10][pic 11][pic 12]

ri8.  sii o bien  y  o bien  y [pic 13][pic 14][pic 15][pic 16][pic 17]

Elaboren cuatro fórmulas distintas (,,  y ). Deben cumplir con las siguientes condiciones: [pic 18][pic 19][pic 20][pic 21]

Condiciones sintácticas

  •  y  utilizan solo las letras oracionales  y . Las tres aparecen en cada fórmula.[pic 22][pic 23][pic 24][pic 25]
  •  y  tienen como mínimo grado 5 de complejidad.[pic 26][pic 27]
  •  utiliza como mínimo los conectores ,  y .[pic 28][pic 29][pic 30][pic 31]
  •  utiliza como mínimo los conectores ,  y .[pic 32][pic 33][pic 34][pic 35]
  •  utiliza como mínimo los conectores , ,  y . [pic 36][pic 37][pic 38][pic 39][pic 40]
  •  utiliza como mínimo los conectores , ,  y . [pic 41][pic 42][pic 43][pic 44][pic 45]
  • Cada símbolo utilizado en  y  puede utilizarse más de una vez.[pic 46][pic 47]

Condiciones semánticas

  •  es insatisfacible.[pic 48]
  •  es tautológica.[pic 49]
  •  equivale a .[pic 50][pic 51]
  •  es válido semánticamente.[pic 52]

El cumplimiento de cada condición semántica debe corroborarse mediante una tabla de verdad

2.   = (((P  P)  (Q Q)  ((Q  Q)  (R  R)))[pic 53][pic 54][pic 55][pic 56][pic 57][pic 58][pic 59][pic 60][pic 61][pic 62][pic 63][pic 64]

P

Q

R

(((P  P)  (Q Q)  ((Q  Q)  (R  R)))[pic 65][pic 66][pic 67][pic 68][pic 69][pic 70][pic 71][pic 72][pic 73][pic 74][pic 75]

V

V

V

                      F  V V    F     F   F  V    V       F   V  V   V      F  F  V

V

V

F

                      F  V V    F     F   F  V    V       F   V  V   V      V  F  F

V

F

V

                      F  V V    F     V   F  F    V       V   V  F   V      F  F  V

V

F

F

                      F  V V    F     V   F  F    V       V   V  F   V      V  F  F

F

V

V

                      V  V F    F     F   F  V    V       F   V  V   V      F  F  V

F

V

F

                      V  V F    F     F   F  V    V       F   V  V   V      V  F  F

F

F

V

                      V  V F    F     V   F  F    V       V   V  F   V      F  F  V

F

F

F

                      V  V F    F     V   F  F    V       V   V  F   V      V  F  F

...

Descargar como (para miembros actualizados) txt (5 Kb) pdf (107 Kb) docx (757 Kb)
Leer 9 páginas más »
Disponible sólo en Clubensayos.com