Tt1 lógica
Enviado por denver max • 9 de Septiembre de 2023 • Trabajos • 2.360 Palabras (10 Páginas) • 22 Visitas
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 |
...