Representación del conocimiento y razonamientoFaraón Llorens
Sesión 1: Representación del conocimiento y razonamiento
Bloque: Lógica
Asignatura: Matemáticas I
Curso 2015-2016
Grado en Ingeniería Multimedia
Universidad de Alicante
Sesión 4: Deducción Natural (estrategias)
Bloque: Lógica
Asignatura: Matemáticas I
Curso 2015-2016
Grado en Ingeniería Multimedia
Universidad de Alicante
Representación del conocimiento y razonamientoFaraón Llorens
Sesión 1: Representación del conocimiento y razonamiento
Bloque: Lógica
Asignatura: Matemáticas I
Curso 2015-2016
Grado en Ingeniería Multimedia
Universidad de Alicante
Sesión 4: Deducción Natural (estrategias)
Bloque: Lógica
Asignatura: Matemáticas I
Curso 2015-2016
Grado en Ingeniería Multimedia
Universidad de Alicante
Documento sobre las diferentes fuentes que han servido para transmitir la cultura griega, y que supone la primera parte del tema 4 de "Descubriendo nuestras raíces clásicas", optativa de bachillerato en la Comunitat Valenciana.
Examen de Selectividad. Geografía junio 2024 (Convocatoria Ordinaria). UCLMJuan Martín Martín
Examen de Selectividad de la EvAU de Geografía de junio de 2023 en Castilla La Mancha. UCLM . (Convocatoria ordinaria)
Más información en el Blog de Geografía de Juan Martín Martín
http://blogdegeografiadejuan.blogspot.com/
Este documento presenta un examen de geografía para el Acceso a la universidad (EVAU). Consta de cuatro secciones. La primera sección ofrece tres ejercicios prácticos sobre paisajes, mapas o hábitats. La segunda sección contiene preguntas teóricas sobre unidades de relieve, transporte o demografía. La tercera sección pide definir conceptos geográficos. La cuarta sección implica identificar elementos geográficos en un mapa. El examen evalúa conocimientos fundamentales de geografía.
Presentación de la conferencia sobre la basílica de San Pedro en el Vaticano realizada en el Ateneo Cultural y Mercantil de Onda el jueves 2 de mayo de 2024.
Durante el período citado se sucedieron tres presidencias radicales a cargo de Hipólito Yrigoyen (1916-1922),
Marcelo T. de Alvear (1922-1928) y la segunda presidencia de Yrigoyen, a partir de 1928 la cual fue
interrumpida por el golpe de estado de 1930. Entre 1916 y 1922, el primer gobierno radical enfrentó el
desafío que significaba gobernar respetando las reglas del juego democrático e impulsando, al mismo
tiempo, las medidas que aseguraran la concreción de los intereses de los diferentes grupos sociales que
habían apoyado al radicalismo.
2024 State of Marketing Report – by HubspotMarius Sescu
https://www.hubspot.com/state-of-marketing
· Scaling relationships and proving ROI
· Social media is the place for search, sales, and service
· Authentic influencer partnerships fuel brand growth
· The strongest connections happen via call, click, chat, and camera.
· Time saved with AI leads to more creative work
· Seeking: A single source of truth
· TLDR; Get on social, try AI, and align your systems.
· More human marketing, powered by robots
ChatGPT is a revolutionary addition to the world since its introduction in 2022. A big shift in the sector of information gathering and processing happened because of this chatbot. What is the story of ChatGPT? How is the bot responding to prompts and generating contents? Swipe through these slides prepared by Expeed Software, a web development company regarding the development and technical intricacies of ChatGPT!
Documento sobre las diferentes fuentes que han servido para transmitir la cultura griega, y que supone la primera parte del tema 4 de "Descubriendo nuestras raíces clásicas", optativa de bachillerato en la Comunitat Valenciana.
Examen de Selectividad. Geografía junio 2024 (Convocatoria Ordinaria). UCLMJuan Martín Martín
Examen de Selectividad de la EvAU de Geografía de junio de 2023 en Castilla La Mancha. UCLM . (Convocatoria ordinaria)
Más información en el Blog de Geografía de Juan Martín Martín
http://blogdegeografiadejuan.blogspot.com/
Este documento presenta un examen de geografía para el Acceso a la universidad (EVAU). Consta de cuatro secciones. La primera sección ofrece tres ejercicios prácticos sobre paisajes, mapas o hábitats. La segunda sección contiene preguntas teóricas sobre unidades de relieve, transporte o demografía. La tercera sección pide definir conceptos geográficos. La cuarta sección implica identificar elementos geográficos en un mapa. El examen evalúa conocimientos fundamentales de geografía.
Presentación de la conferencia sobre la basílica de San Pedro en el Vaticano realizada en el Ateneo Cultural y Mercantil de Onda el jueves 2 de mayo de 2024.
Durante el período citado se sucedieron tres presidencias radicales a cargo de Hipólito Yrigoyen (1916-1922),
Marcelo T. de Alvear (1922-1928) y la segunda presidencia de Yrigoyen, a partir de 1928 la cual fue
interrumpida por el golpe de estado de 1930. Entre 1916 y 1922, el primer gobierno radical enfrentó el
desafío que significaba gobernar respetando las reglas del juego democrático e impulsando, al mismo
tiempo, las medidas que aseguraran la concreción de los intereses de los diferentes grupos sociales que
habían apoyado al radicalismo.
2024 State of Marketing Report – by HubspotMarius Sescu
https://www.hubspot.com/state-of-marketing
· Scaling relationships and proving ROI
· Social media is the place for search, sales, and service
· Authentic influencer partnerships fuel brand growth
· The strongest connections happen via call, click, chat, and camera.
· Time saved with AI leads to more creative work
· Seeking: A single source of truth
· TLDR; Get on social, try AI, and align your systems.
· More human marketing, powered by robots
ChatGPT is a revolutionary addition to the world since its introduction in 2022. A big shift in the sector of information gathering and processing happened because of this chatbot. What is the story of ChatGPT? How is the bot responding to prompts and generating contents? Swipe through these slides prepared by Expeed Software, a web development company regarding the development and technical intricacies of ChatGPT!
Product Design Trends in 2024 | Teenage EngineeringsPixeldarts
The realm of product design is a constantly changing environment where technology and style intersect. Every year introduces fresh challenges and exciting trends that mold the future of this captivating art form. In this piece, we delve into the significant trends set to influence the look and functionality of product design in the year 2024.
How Race, Age and Gender Shape Attitudes Towards Mental HealthThinkNow
Mental health has been in the news quite a bit lately. Dozens of U.S. states are currently suing Meta for contributing to the youth mental health crisis by inserting addictive features into their products, while the U.S. Surgeon General is touring the nation to bring awareness to the growing epidemic of loneliness and isolation. The country has endured periods of low national morale, such as in the 1970s when high inflation and the energy crisis worsened public sentiment following the Vietnam War. The current mood, however, feels different. Gallup recently reported that national mental health is at an all-time low, with few bright spots to lift spirits.
To better understand how Americans are feeling and their attitudes towards mental health in general, ThinkNow conducted a nationally representative quantitative survey of 1,500 respondents and found some interesting differences among ethnic, age and gender groups.
Technology
For example, 52% agree that technology and social media have a negative impact on mental health, but when broken out by race, 61% of Whites felt technology had a negative effect, and only 48% of Hispanics thought it did.
While technology has helped us keep in touch with friends and family in faraway places, it appears to have degraded our ability to connect in person. Staying connected online is a double-edged sword since the same news feed that brings us pictures of the grandkids and fluffy kittens also feeds us news about the wars in Israel and Ukraine, the dysfunction in Washington, the latest mass shooting and the climate crisis.
Hispanics may have a built-in defense against the isolation technology breeds, owing to their large, multigenerational households, strong social support systems, and tendency to use social media to stay connected with relatives abroad.
Age and Gender
When asked how individuals rate their mental health, men rate it higher than women by 11 percentage points, and Baby Boomers rank it highest at 83%, saying it’s good or excellent vs. 57% of Gen Z saying the same.
Gen Z spends the most amount of time on social media, so the notion that social media negatively affects mental health appears to be correlated. Unfortunately, Gen Z is also the generation that’s least comfortable discussing mental health concerns with healthcare professionals. Only 40% of them state they’re comfortable discussing their issues with a professional compared to 60% of Millennials and 65% of Boomers.
Race Affects Attitudes
As seen in previous research conducted by ThinkNow, Asian Americans lag other groups when it comes to awareness of mental health issues. Twenty-four percent of Asian Americans believe that having a mental health issue is a sign of weakness compared to the 16% average for all groups. Asians are also considerably less likely to be aware of mental health services in their communities (42% vs. 55%) and most likely to seek out information on social media (51% vs. 35%).
AI Trends in Creative Operations 2024 by Artwork Flow.pdfmarketingartwork
This article is all about what AI trends will emerge in the field of creative operations in 2024. All the marketers and brand builders should be aware of these trends for their further use and save themselves some time!
A report by thenetworkone and Kurio.
The contributing experts and agencies are (in an alphabetical order): Sylwia Rytel, Social Media Supervisor, 180heartbeats + JUNG v MATT (PL), Sharlene Jenner, Vice President - Director of Engagement Strategy, Abelson Taylor (USA), Alex Casanovas, Digital Director, Atrevia (ES), Dora Beilin, Senior Social Strategist, Barrett Hoffher (USA), Min Seo, Campaign Director, Brand New Agency (KR), Deshé M. Gully, Associate Strategist, Day One Agency (USA), Francesca Trevisan, Strategist, Different (IT), Trevor Crossman, CX and Digital Transformation Director; Olivia Hussey, Strategic Planner; Simi Srinarula, Social Media Manager, The Hallway (AUS), James Hebbert, Managing Director, Hylink (CN / UK), Mundy Álvarez, Planning Director; Pedro Rojas, Social Media Manager; Pancho González, CCO, Inbrax (CH), Oana Oprea, Head of Digital Planning, Jam Session Agency (RO), Amy Bottrill, Social Account Director, Launch (UK), Gaby Arriaga, Founder, Leonardo1452 (MX), Shantesh S Row, Creative Director, Liwa (UAE), Rajesh Mehta, Chief Strategy Officer; Dhruv Gaur, Digital Planning Lead; Leonie Mergulhao, Account Supervisor - Social Media & PR, Medulla (IN), Aurelija Plioplytė, Head of Digital & Social, Not Perfect (LI), Daiana Khaidargaliyeva, Account Manager, Osaka Labs (UK / USA), Stefanie Söhnchen, Vice President Digital, PIABO Communications (DE), Elisabeth Winiartati, Managing Consultant, Head of Global Integrated Communications; Lydia Aprina, Account Manager, Integrated Marketing and Communications; Nita Prabowo, Account Manager, Integrated Marketing and Communications; Okhi, Web Developer, PNTR Group (ID), Kei Obusan, Insights Director; Daffi Ranandi, Insights Manager, Radarr (SG), Gautam Reghunath, Co-founder & CEO, Talented (IN), Donagh Humphreys, Head of Social and Digital Innovation, THINKHOUSE (IRE), Sarah Yim, Strategy Director, Zulu Alpha Kilo (CA).
Trends In Paid Search: Navigating The Digital Landscape In 2024Search Engine Journal
The search marketing landscape is evolving rapidly with new technologies, and professionals, like you, rely on innovative paid search strategies to meet changing demands.
It’s important that you’re ready to implement new strategies in 2024.
Check this out and learn the top trends in paid search advertising that are expected to gain traction, so you can drive higher ROI more efficiently in 2024.
You’ll learn:
- The latest trends in AI and automation, and what this means for an evolving paid search ecosystem.
- New developments in privacy and data regulation.
- Emerging ad formats that are expected to make an impact next year.
Watch Sreekant Lanka from iQuanti and Irina Klein from OneMain Financial as they dive into the future of paid search and explore the trends, strategies, and technologies that will shape the search marketing landscape.
If you’re looking to assess your paid search strategy and design an industry-aligned plan for 2024, then this webinar is for you.
5 Public speaking tips from TED - Visualized summarySpeakerHub
From their humble beginnings in 1984, TED has grown into the world’s most powerful amplifier for speakers and thought-leaders to share their ideas. They have over 2,400 filmed talks (not including the 30,000+ TEDx videos) freely available online, and have hosted over 17,500 events around the world.
With over one billion views in a year, it’s no wonder that so many speakers are looking to TED for ideas on how to share their message more effectively.
The article “5 Public-Speaking Tips TED Gives Its Speakers”, by Carmine Gallo for Forbes, gives speakers five practical ways to connect with their audience, and effectively share their ideas on stage.
Whether you are gearing up to get on a TED stage yourself, or just want to master the skills that so many of their speakers possess, these tips and quotes from Chris Anderson, the TED Talks Curator, will encourage you to make the most impactful impression on your audience.
See the full article and more summaries like this on SpeakerHub here: https://speakerhub.com/blog/5-presentation-tips-ted-gives-its-speakers
See the original article on Forbes here:
http://www.forbes.com/forbes/welcome/?toURL=http://www.forbes.com/sites/carminegallo/2016/05/06/5-public-speaking-tips-ted-gives-its-speakers/&refURL=&referrer=#5c07a8221d9b
ChatGPT and the Future of Work - Clark Boyd Clark Boyd
Everyone is in agreement that ChatGPT (and other generative AI tools) will shape the future of work. Yet there is little consensus on exactly how, when, and to what extent this technology will change our world.
Businesses that extract maximum value from ChatGPT will use it as a collaborative tool for everything from brainstorming to technical maintenance.
For individuals, now is the time to pinpoint the skills the future professional will need to thrive in the AI age.
Check out this presentation to understand what ChatGPT is, how it will shape the future of work, and how you can prepare to take advantage.
A brief introduction to DataScience with explaining of the concepts, algorithms, machine learning, supervised and unsupervised learning, clustering, statistics, data preprocessing, real-world applications etc.
It's part of a Data Science Corner Campaign where I will be discussing the fundamentals of DataScience, AIML, Statistics etc.
Time Management & Productivity - Best PracticesVit Horky
Here's my presentation on by proven best practices how to manage your work time effectively and how to improve your productivity. It includes practical tips and how to use tools such as Slack, Google Apps, Hubspot, Google Calendar, Gmail and others.
The six step guide to practical project managementMindGenius
The six step guide to practical project management
If you think managing projects is too difficult, think again.
We’ve stripped back project management processes to the
basics – to make it quicker and easier, without sacrificing
the vital ingredients for success.
“If you’re looking for some real-world guidance, then The Six Step Guide to Practical Project Management will help.”
Dr Andrew Makar, Tactical Project Management
Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...
Semantica
1. Faraón Llorens, junio de 2012Faraón Llorens, curso 2015/2016
lógica
semántica
Faraón Llorens Largo
28 septiembre 2015
2. Faraón Llorens, junio de 2012Faraón Llorens, curso 2015/2016
semántica
verdad verdadera
3. Faraón Llorens, junio de 2012Faraón Llorens, curso 2015/2016
semántica
verdades lógicas
“lógica de primer orden”
( lógica clásica o binaria )
dos valores de verdad
verdadero o falso
principio de bivalencia
4. Faraón Llorens, junio de 2012Faraón Llorens, curso 2015/2016
semántica
perogrullada
al año siguiente era un año más viejo y por una curiosa coincidencia, todas
las chicas que conocía también habían envejecido un año
6. Faraón Llorens, junio de 2012Faraón Llorens, curso 2015/2016
semántica
incertidumbre
In the beginning there was only one truth-value, true.
Then the Greeks introduced a second one,
false and used it to make truth more amenable to logical arguments.
In modern times, to better explorer the uncertain borders between truth
and falsity, additional truth-values have been considered.
Journal of Logic, Language and Information
Vol. 9, nº 1, January 2000
Special Issue on Logics of Uncertainty
7. Faraón Llorens, junio de 2012Faraón Llorens, curso 2015/2016
semántica
lógica clásica
Toda la lógica tradicional suele presuponer que se están empleando
símbolos precisos. No es, por tanto, aplicable a esta vida terrenal, sino
sólo a una celestial imaginaria. La ley del tercio excluso [A o no A] es
verdadero si se emplean símbolos precisos, pero no lo es si los símbolos
son vagos [borrosos] tal y como, de hecho, son.
Bertrand Russell
“Vagueness”, Australian Journal of Philosophy
vol. 1, 1913
8. Faraón Llorens, junio de 2012Faraón Llorens, curso 2015/2016
semántica
lógica difusa
La lógica borrosa y las máquinas que la usen nos recordarán que “el gris
vale” y que “todo es cuestión de grado”. Quizá echemos de menos
nuestros días del blanco y negro. Pero se los eche de menos o no, han
pasado.
Bart Kosko
Pensamiento borroso. La nueva ciencia de la lógica borrosa
9. Faraón Llorens, junio de 2012Faraón Llorens, curso 2015/2016
semántica
lógica difusa
La lógica clásica es como quien va a una fiesta vestido con un traje negro,
una camisa blanca almidonada, una corbata negra, zapatos lustrosos,
etcétera. Y la lógica borrosa es un poco como quien va vestido
informalmente, con vaqueros, camiseta y zapatillas. En el pasado esta ropa
informal no habría sido aceptable. Hoy es la otra manera que hay de vestir.
Lofti Zadeh
Communications of the Association for Computing Machinery
vol. 27, 1984
10. Faraón Llorens, junio de 2012Faraón Llorens, curso 2015/2016
semántica
pensamientos difusos, decisiones binarias
Nos gusta que nuestros actos sean blancos o negros, incluso cuando
nuestros pensamientos son grises o borrosos. Con frecuencia lo que
hacemos es pulir nuestros pensamientos borrosos para dar una opinión, o
adoptar una postura, o emitir un voto.
Bart Kosko
El futuro borroso o el cielo en un chip
11. Faraón Llorens, junio de 2012Faraón Llorens, curso 2015/2016
semántica
propiedades de la lógica clásica
- los enunciados están provistos de un valor de verdad apofántica
- dichos valores de verdad son únicamente dos : verdadero o
falso
bivalente
- no existen matizaciones entre estos valores asertórica
- las conexiones entre enunciados dan lugar a enunciados
compuestos cuyo valor de verdad está completamente en
función de los valores de verdad de los enunciados conectados
extensional
12. Faraón Llorens, junio de 2012Faraón Llorens, curso 2015/2016
semántica
lógicas no clásicas …
polivalente
difusa (fuzzy)
probabilística
no monótona
modal
temporal
intuicionista
deóntica
combinatoria
epistémica
...
14. Faraón Llorens, junio de 2012Faraón Llorens, curso 2015/2016
semántica
semántica
L V
15. Faraón Llorens, junio de 2012Faraón Llorens, curso 2015/2016
semántica
elementos semánticos
Definición del conjunto de significados (V )
Definición semántica de los componentes del lenguaje ( L ):
semántica de las fórmulas atómicas
semántica de las conectivas
Conceptos semánticos. Clasificación semántica
16. Faraón Llorens, junio de 2012Faraón Llorens, curso 2015/2016
semántica
conjunto de significados
lógica clásica o bivalente V = {V, F}
verdadero (V o 1) o falso (F o 0)
L V
{fbf}l {V, F}
17. Faraón Llorens, junio de 2012Faraón Llorens, curso 2015/2016
semántica
información empírica
una fórmula atómica es verdadera
cuando lo es conforme a los hechos
18. Faraón Llorens, junio de 2012Faraón Llorens, curso 2015/2016
semántica
axioma semántico
toda proposición es verdadera o falsa,
pero no ambas cosas a la vez
19. Faraón Llorens, junio de 2012Faraón Llorens, curso 2015/2016
semántica
definición semántica de conectivas
A B ¬A A Ù B A Ú B A ® B A « B
F F
V
F F V V
F V F V V F
V F
F
F V F F
V V V V V V
20. Faraón Llorens, junio de 2012Faraón Llorens, curso 2015/2016
semántica
interpretación
una interpretación de una fórmula lógica es una asignación de
significados a sus fórmulas componentes básicas
21. Faraón Llorens, junio de 2012Faraón Llorens, curso 2015/2016
semántica
interpretación
Número de interpretaciones de una fórmula lógica:
si tiene n variables proposicionales
2n interpretaciones
22. Faraón Llorens, junio de 2012Faraón Llorens, curso 2015/2016
semántica
interpretación
Modelo: es una interpretación cuyo significado resultante es
verdadero.
Contramodelo: es una interpretación cuyo significado
resultante es falso.
23. Faraón Llorens, junio de 2012Faraón Llorens, curso 2015/2016
semántica
fórmula lógica
Satisfacible: una fórmula lógica es satisfacible si existe alguna
interpretación que la verifique.
Insatisfacible: una fórmula lógica es insatisfacible si no existe
ninguna interpretación que la verifique.
24. Faraón Llorens, junio de 2012Faraón Llorens, curso 2015/2016
semántica
clasificación de fórmulas
Tautología
Contradicción
Indeterminación o Contingencia
25. Faraón Llorens, junio de 2012Faraón Llorens, curso 2015/2016
semántica
clasificación de fórmulas
Tautología
cuando es verdadera para toda interpretación
Contradicción
Indeterminación o Contingencia
26. Faraón Llorens, junio de 2012Faraón Llorens, curso 2015/2016
semántica
clasificación de fórmulas
Tautología
Contradicción
cuando no es verdadera bajo ninguna interpretación
Indeterminación o Contingencia
27. Faraón Llorens, junio de 2012Faraón Llorens, curso 2015/2016
semántica
clasificación de fórmulas
Tautología
Contradicción
Indeterminación o Contingencia
cuando existe al menos una interpretación que la satisface y otra que no la
satisface
28. Faraón Llorens, junio de 2012Faraón Llorens, curso 2015/2016
semántica
métodos semánticos de valoración
Análisis de fórmulas lógicas:
Estudio de tablas de verdad
Método corto de valoración
Análisis de estructuras lógicas (basado en la definición semántica de
deducción correcta) :
Estudio de tablas de verdad
Método del contraejemplo
29. Faraón Llorens, junio de 2012Faraón Llorens, curso 2015/2016
semántica
tablas de verdad
Construcción de tablas de verdad:
Método acumulativo
Método por pasos
30. Faraón Llorens, junio de 2012Faraón Llorens, curso 2015/2016
semántica
p q ¬q p ¬q
V V F F
V F V V
F V F F
F F V F
p ¬q
1º. Una columna para cada
variable proposicional
2º. Una columna para cada
conectiva según prioridad en la fbf
3º. Aplicar reglas conectivas y obtener filas
Cada fila es una interpretación de la fbf
La columna de la conectiva principal clasifica semánticamente la fbf
CONTINGENCIA
31. Faraón Llorens, junio de 2012Faraón Llorens, curso 2015/2016
semántica
p q ¬q q v ¬q p q v ¬q
1 V V F V V
2 V F V V V
3 F V F V V
4 F F V V V
La fbf es una TAUTOLOGÍA ya que todas sus
interpretaciones son modelo.
p q v ¬q
32. Faraón Llorens, junio de 2012Faraón Llorens, curso 2015/2016
semántica
equivalencias lógicas
A ¬A es F
A ¬A es V
A V es A
A V es V
A F es F
A F es A
33. Faraón Llorens, junio de 2012Faraón Llorens, curso 2015/2016
semántica
método corto de valoración
Consiste en dar el valor F a la fórmula completa, y buscar los valores de
verdad de las variables proposicionales.
Si llegamos a una contradicción, es que no existe ninguna interpretación
que haga falsa la fórmula, y por tanto es TAUTOLOGÍA
Si encontramos una interpretación que haga falsa la fórmula completa,
entonces la fórmula NO es TAUTOLOGÍA
34. Faraón Llorens, junio de 2012Faraón Llorens, curso 2015/2016
semántica
análisis semántico de deducción correcta
de premisas verdaderas debemos obtener conclusión verdadera,
es decir, no podemos aceptar que las premisas sean verdaderas
y la conclusión falsa
premisas conclusiónse deduce
35. Faraón Llorens, junio de 2012Faraón Llorens, curso 2015/2016
semántica
tablas de verdad
36. Faraón Llorens, junio de 2012Faraón Llorens, curso 2015/2016
semántica
método del contraejemplo
para comprobar que una deducción NO es CORRECTA basta con encontrar
una interpretación que haga verdaderas las premisas y falsa la conclusión
37. Faraón Llorens, junio de 2012Faraón Llorens, curso 2015/2016
semántica
elementos semánticos del cálculo de predicados
Definición del conjunto de significados (V )
Definición semántica de los componentes del lenguaje ( L ):
semántica de las fórmulas atómicas (universo del discurso)
semántica de las conectivas
semántica de los cuantificadores
Conceptos semánticos. Clasificación semántica
38. Faraón Llorens, junio de 2012Faraón Llorens, curso 2015/2016
semántica
elementos semánticos del cálculo de predicados
Definición del conjunto de significados (V )
Definición semántica de los componentes del lenguaje ( L ):
semántica de las fórmulas atómicas (universo del discurso)
semántica de las conectivas
semántica de los cuantificadores
Conceptos semánticos. Clasificación semántica
39. Faraón Llorens, junio de 2012Faraón Llorens, curso 2015/2016
semántica
definición de interpretación
Para interpretar una fórmula predicativa es necesario:
Definir un dominio no vacío D
Asignar elementos de D a los términos
Asignar valores de verdad a los predicados
40. Faraón Llorens, junio de 2012Faraón Llorens, curso 2015/2016
semántica
definición semántica de cuantificadores
x P(x) es V si la fórmula P(x) es verdadera para cualquier elemento
del dominio al que pertenece x. Por el contrario, es F si la
fórmula P(x) es falsa para algún elemento del dominio.
x P(x) es V si la fórmula P(x) es verdadera para algún elemento del
dominio al que pertenece x. Por el contrario, es F si la fórmula
P(x) es falsa para todos los elementos del dominio.
41. Faraón Llorens, junio de 2012Faraón Llorens, curso 2015/2016
semántica
interpretación en cálculo de predicados
Número de interpretaciones de una fórmula lógica:
si el dominio D tiene d elementos y
si el predicado P tiene 1 argumento
entonces hay d1=d fórmulas atómicas
2d interpretaciones
42. Faraón Llorens, junio de 2012Faraón Llorens, curso 2015/2016
semántica
interpretación en cálculo de predicados
Número de interpretaciones de una fórmula lógica:
si el dominio D tiene d elementos y
si el predicado P tiene n argumentos
entonces hay dn fórmulas atómicas
interpretaciones
43. Faraón Llorens, junio de 2012Faraón Llorens, curso 2015/2016
semántica
interpretación en cálculo de predicados
Número de interpretaciones de una fórmula lógica:
si el dominio D tiene d elementos y
si el predicado P1 tiene n1 argumentos
…
si el predicado Pk tiene nk argumentos
interpretaciones
44. Faraón Llorens, junio de 2012Faraón Llorens, curso 2015/2016
lógica
semántica
Faraón Llorens Largo
45. Faraón Llorens, junio de 2012Faraón Llorens, curso 2015/2016
lógica
semántica
Faraón Llorens Largo
46. Faraón Llorens, junio de 2012Faraón Llorens, curso 2015/2016
semántica
Faraón Llorens Largo
Faraon.Llorens@ua.es
Dpto. de Ciencia de la Computación e Inteligencia Artificial (www.dccia.ua.es)
Escuela Politécnica Superior (www.eps.ua.es)
Universidad de Alicante (www.ua.es)
¿quién soy?
49. Faraón Llorens, junio de 2012Faraón Llorens, curso 2015/2016
semántica
matemáticas I
http://cv1.cpd.ua.es/ConsPlanesEstudio/cvFichaAsiEEES.asp?wcodasi=21003&wLengua=C
&scaca=2015-16
+info
50. Faraón Llorens, junio de 2012Faraón Llorens, curso 2015/2016
semántica
http://blogs.ua.es/faraonllorens
+info
51. Faraón Llorens, junio de 2012Faraón Llorens, curso 2015/2016
semántica
http://creativecommons.org/licenses/by/3.0
pásalo