SlideShare una empresa de Scribd logo
1 de 14
Descargar para leer sin conexión
Lógica FBMM02  Profesionalización en Servicio Profesor: Ricardo Escalante
Contenidos a trabajar ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Tablas de verdad
De Morgan
Proposiciones Equivalentes ,[object Object],[object Object]
Negación de un condicional p  q F V F F p V V F F q V F V F p  q V F V V  (p  q) F V F F  q F V F V
Tautología Toda tautología se simboliza con V 0 p V V V V F F F F q V V F F V V F F r V F V F V F V F p  q V V V V V V F F (p  q)  r V V V V V V V F p  [ (p  q)  r ] V V V V V V V V
Contradicción Toda Contradicción se simboliza con F 0 p V V V V F F F F q V V F F V V F F r V F V F V F V F  p F F F F V V V V  q F F V V F F V V  r F V F V F V F V p  p V V V V V V V V q  q V V V V V V V V (p  p)  (q  q) V V V V V V V V r  r F F F F F F F F [ (p  p)  (q  q) ]  ( r  r) F F F F F F F F
Proposiciones Equivalentes Proposición Equivalente a Nombre de la equivalencia p ~~p Ley de la doble negación p     V 0 p Ley del neutro para la conjunción p     F 0 p Ley del neutro para la disyunción p    ~p F0 Ley de la contradicción p    ~p V0 Ley de la tautología p    q q    p Ley conmutativa para la conjunción  p    q q    p Ley conmutativa para la disyunción (p    q)    r p    ( q    r) Ley asociativa para la conjunción (p    q)    r p    ( q    r) Ley asociativa para la disyunción p    ( q     r) (p    q)    (p     r) Ley distributiva del    respecto al   p    ( q    r) (p    q)    (p    r) Ley distributiva del    respecto al   ~ (p    q) ~p    ~q Ley de De Morgan (negación de una conjunción) ~ (p    q) ~p    ~q Ley de De Morgan (negación de una disyunción) p    q ~p    q Equivalencia del Condicional ~(p    q) p    ~q Equivalencia de la negación de un condicional p    q ~q    ~p Equivalencia del contra recíproco del Condicional  p    p p Idempotencia para la conjunción p    p p Idempotencia para la disyunción p     F 0 F 0 Contradicción p     V 0 V 0 Tautología p    q (p    q)    (q    p) Equivalencia de la bicondicional
Negaciones  ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Negación de condicionales ,[object Object],[object Object],[object Object],[object Object],[object Object]
Ejemplo 1 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Ejemplo 2 ,[object Object],[object Object]
Ejercicio 3 ,[object Object],[object Object]

Más contenido relacionado

La actualidad más candente

Capitulo iii valores de verdad y lógica
Capitulo iii valores de verdad y lógicaCapitulo iii valores de verdad y lógica
Capitulo iii valores de verdad y lógicaCiuad de Asis
 
Compendio de Reglas de Inferencia - Lógica Simbólica
Compendio de Reglas de Inferencia - Lógica SimbólicaCompendio de Reglas de Inferencia - Lógica Simbólica
Compendio de Reglas de Inferencia - Lógica SimbólicaLogicaUFM2012
 
Leyes lógica matemática y conjuntos
Leyes lógica matemática y conjuntosLeyes lógica matemática y conjuntos
Leyes lógica matemática y conjuntosAlejo Tephros
 
SLIDESHARE PRIMERA UNIDAD ESTRUCTURA DISCRETA
SLIDESHARE PRIMERA UNIDAD ESTRUCTURA DISCRETASLIDESHARE PRIMERA UNIDAD ESTRUCTURA DISCRETA
SLIDESHARE PRIMERA UNIDAD ESTRUCTURA DISCRETAJuan Anza
 
Ejercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdadEjercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdadpaquitogiron
 
Leyes del algebra de proposiciones
Leyes del algebra de proposicionesLeyes del algebra de proposiciones
Leyes del algebra de proposicionesAime Rodriguez
 
Esquema de equivalencias notables anual uni
Esquema de equivalencias notables anual uniEsquema de equivalencias notables anual uni
Esquema de equivalencias notables anual unirafael felix
 
simplificación inferencias gestión
simplificación inferencias gestiónsimplificación inferencias gestión
simplificación inferencias gestiónYanina C.J
 
Lógica : Leyes lógicas
Lógica : Leyes lógicasLógica : Leyes lógicas
Lógica : Leyes lógicasjuanchojuancho
 
Principales leyes logicas o tautologicas
Principales leyes logicas o tautologicasPrincipales leyes logicas o tautologicas
Principales leyes logicas o tautologicascepecole
 
Propiedades de lo Operadores Logico
Propiedades de lo Operadores LogicoPropiedades de lo Operadores Logico
Propiedades de lo Operadores Logicojowellalvarezmera
 
Leyes de la logica e inferencias
Leyes de la  logica  e inferenciasLeyes de la  logica  e inferencias
Leyes de la logica e inferenciasMaria Gaitan
 

La actualidad más candente (20)

Capitulo iii valores de verdad y lógica
Capitulo iii valores de verdad y lógicaCapitulo iii valores de verdad y lógica
Capitulo iii valores de verdad y lógica
 
Compendio de Reglas de Inferencia - Lógica Simbólica
Compendio de Reglas de Inferencia - Lógica SimbólicaCompendio de Reglas de Inferencia - Lógica Simbólica
Compendio de Reglas de Inferencia - Lógica Simbólica
 
Leyes lógica matemática y conjuntos
Leyes lógica matemática y conjuntosLeyes lógica matemática y conjuntos
Leyes lógica matemática y conjuntos
 
SLIDESHARE PRIMERA UNIDAD ESTRUCTURA DISCRETA
SLIDESHARE PRIMERA UNIDAD ESTRUCTURA DISCRETASLIDESHARE PRIMERA UNIDAD ESTRUCTURA DISCRETA
SLIDESHARE PRIMERA UNIDAD ESTRUCTURA DISCRETA
 
TAUTOLOGÍA .
TAUTOLOGÍA .TAUTOLOGÍA .
TAUTOLOGÍA .
 
Tautologías
TautologíasTautologías
Tautologías
 
Logica
LogicaLogica
Logica
 
Ejercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdadEjercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdad
 
Circuitos lógicos y leyes lógicas
Circuitos lógicos y leyes lógicasCircuitos lógicos y leyes lógicas
Circuitos lógicos y leyes lógicas
 
Leyes del algebra de proposiciones
Leyes del algebra de proposicionesLeyes del algebra de proposiciones
Leyes del algebra de proposiciones
 
Esquema de equivalencias notables anual uni
Esquema de equivalencias notables anual uniEsquema de equivalencias notables anual uni
Esquema de equivalencias notables anual uni
 
simplificación inferencias gestión
simplificación inferencias gestiónsimplificación inferencias gestión
simplificación inferencias gestión
 
Qué Es Un Dilema
Qué Es Un DilemaQué Es Un Dilema
Qué Es Un Dilema
 
Lógica : Leyes lógicas
Lógica : Leyes lógicasLógica : Leyes lógicas
Lógica : Leyes lógicas
 
Ayuda 1.2 leyes logicas gregorio
Ayuda 1.2 leyes logicas gregorioAyuda 1.2 leyes logicas gregorio
Ayuda 1.2 leyes logicas gregorio
 
Principales leyes logicas o tautologicas
Principales leyes logicas o tautologicasPrincipales leyes logicas o tautologicas
Principales leyes logicas o tautologicas
 
Algunos temas de Lógica
Algunos temas de LógicaAlgunos temas de Lógica
Algunos temas de Lógica
 
1° encuentro ejercicios de lógica
1° encuentro   ejercicios de lógica1° encuentro   ejercicios de lógica
1° encuentro ejercicios de lógica
 
Propiedades de lo Operadores Logico
Propiedades de lo Operadores LogicoPropiedades de lo Operadores Logico
Propiedades de lo Operadores Logico
 
Leyes de la logica e inferencias
Leyes de la  logica  e inferenciasLeyes de la  logica  e inferencias
Leyes de la logica e inferencias
 

Similar a LóGica SesióN N°3

Similar a LóGica SesióN N°3 (20)

Estructura
EstructuraEstructura
Estructura
 
Calculo Proposicional
Calculo ProposicionalCalculo Proposicional
Calculo Proposicional
 
Unidad i. . cálculo proposicional
Unidad i. . cálculo proposicionalUnidad i. . cálculo proposicional
Unidad i. . cálculo proposicional
 
Proposiciones - ESD
Proposiciones  - ESDProposiciones  - ESD
Proposiciones - ESD
 
LogPro.pptx de logica proposional -analisis.
LogPro.pptx de logica proposional -analisis.LogPro.pptx de logica proposional -analisis.
LogPro.pptx de logica proposional -analisis.
 
Algebra proposicional
Algebra proposicionalAlgebra proposicional
Algebra proposicional
 
Proposicionesuft 121103193805-phpapp01
Proposicionesuft 121103193805-phpapp01Proposicionesuft 121103193805-phpapp01
Proposicionesuft 121103193805-phpapp01
 
Estructuras discretas (Proposiciones)
Estructuras discretas (Proposiciones)Estructuras discretas (Proposiciones)
Estructuras discretas (Proposiciones)
 
Gregory cordero est. disc. unidad i
Gregory cordero est. disc. unidad iGregory cordero est. disc. unidad i
Gregory cordero est. disc. unidad i
 
Unidad1 discreta
Unidad1 discretaUnidad1 discreta
Unidad1 discreta
 
Introducción a la lógica
Introducción a la lógicaIntroducción a la lógica
Introducción a la lógica
 
Unidad 1 discreta
Unidad 1 discretaUnidad 1 discreta
Unidad 1 discreta
 
Unid1 ED Juan Abreu
Unid1 ED Juan AbreuUnid1 ED Juan Abreu
Unid1 ED Juan Abreu
 
Unid1 ed juan_abreu
Unid1 ed juan_abreuUnid1 ed juan_abreu
Unid1 ed juan_abreu
 
Unid1 ed juan abreu
Unid1 ed juan abreuUnid1 ed juan abreu
Unid1 ed juan abreu
 
Estructura discreta
Estructura discretaEstructura discreta
Estructura discreta
 
LÓGICA.pdf
LÓGICA.pdfLÓGICA.pdf
LÓGICA.pdf
 
logica.pdf
logica.pdflogica.pdf
logica.pdf
 
Logica Matematica
Logica MatematicaLogica Matematica
Logica Matematica
 
Razonamiento logico
Razonamiento logicoRazonamiento logico
Razonamiento logico
 

Más de rescalante

Más de rescalante (6)

SesióN 14
SesióN 14SesióN 14
SesióN 14
 
SesióN 15
SesióN 15SesióN 15
SesióN 15
 
SesióN 13
SesióN 13SesióN 13
SesióN 13
 
SesióN 16
SesióN 16SesióN 16
SesióN 16
 
LóGica SesióN N°1
LóGica SesióN N°1LóGica SesióN N°1
LóGica SesióN N°1
 
LóGica SesióN N°1
LóGica SesióN N°1LóGica SesióN N°1
LóGica SesióN N°1
 

Último

La Electricidad y La Electrónica.pdf....
La Electricidad y La Electrónica.pdf....La Electricidad y La Electrónica.pdf....
La Electricidad y La Electrónica.pdf....Aaron Betancourt
 
Actividad 14: Diseño de Algoritmos Paralelos Actividad 14: Diseño de Algoritm...
Actividad 14: Diseño de Algoritmos Paralelos Actividad 14: Diseño de Algoritm...Actividad 14: Diseño de Algoritmos Paralelos Actividad 14: Diseño de Algoritm...
Actividad 14: Diseño de Algoritmos Paralelos Actividad 14: Diseño de Algoritm...RaymondCode
 
Presentación - Diseño de Algoritmos Paralelos - Grupo 2.pdf
Presentación - Diseño de Algoritmos Paralelos - Grupo 2.pdfPresentación - Diseño de Algoritmos Paralelos - Grupo 2.pdf
Presentación - Diseño de Algoritmos Paralelos - Grupo 2.pdfymiranda2
 
Análisis de artefactos tecnologicos .pdf
Análisis de artefactos tecnologicos .pdfAnálisis de artefactos tecnologicos .pdf
Análisis de artefactos tecnologicos .pdfcastrodanna185
 
La tablet trabajo en grupo del grado 9-2
La tablet trabajo en grupo del grado 9-2La tablet trabajo en grupo del grado 9-2
La tablet trabajo en grupo del grado 9-2montoyagabriela340
 
Actividad 14_ Diseño de Algoritmos Paralelos.pdf
Actividad 14_ Diseño de Algoritmos Paralelos.pdfActividad 14_ Diseño de Algoritmos Paralelos.pdf
Actividad 14_ Diseño de Algoritmos Paralelos.pdfalejandrogomezescoto
 
Inteligencia artificial dentro de la contabilidad
Inteligencia artificial dentro de la contabilidadInteligencia artificial dentro de la contabilidad
Inteligencia artificial dentro de la contabilidaddanik1023m
 
Inmersión global en ciberseguridad e IA en la conferencia RSA.pdf
Inmersión global en ciberseguridad e IA en la conferencia RSA.pdfInmersión global en ciberseguridad e IA en la conferencia RSA.pdf
Inmersión global en ciberseguridad e IA en la conferencia RSA.pdfOBr.global
 
Matriz de integración de tecnologías- Paola Carvajal.docx
Matriz de integración de tecnologías- Paola Carvajal.docxMatriz de integración de tecnologías- Paola Carvajal.docx
Matriz de integración de tecnologías- Paola Carvajal.docxPaolaCarolinaCarvaja
 
El diseño de Algoritmos Paralelos.pdf - analisis de algortimos
El diseño de Algoritmos Paralelos.pdf - analisis de algortimosEl diseño de Algoritmos Paralelos.pdf - analisis de algortimos
El diseño de Algoritmos Paralelos.pdf - analisis de algortimosLCristinaForchue
 
PRESENTACION DEL TEMA LOS MEJORES SIMULADORES DE CIRCUITOS ELCTRONICOS
PRESENTACION DEL TEMA LOS MEJORES SIMULADORES DE CIRCUITOS ELCTRONICOSPRESENTACION DEL TEMA LOS MEJORES SIMULADORES DE CIRCUITOS ELCTRONICOS
PRESENTACION DEL TEMA LOS MEJORES SIMULADORES DE CIRCUITOS ELCTRONICOSLincangoKevin
 
VIDEOS DE APOYO.docx E
VIDEOS DE APOYO.docx                                  EVIDEOS DE APOYO.docx                                  E
VIDEOS DE APOYO.docx Emialexsolar
 
Los mejores simuladores de circuitos electrónicos.pdf
Los mejores simuladores de circuitos electrónicos.pdfLos mejores simuladores de circuitos electrónicos.pdf
Los mejores simuladores de circuitos electrónicos.pdfodalistar77
 
Carta de Premio y Excel angeline 11-2pdf
Carta de Premio y Excel angeline 11-2pdfCarta de Premio y Excel angeline 11-2pdf
Carta de Premio y Excel angeline 11-2pdfangelinebocanegra1
 
De Código a Ejecución: El Papel Fundamental del MSIL en .NET
De Código a Ejecución: El Papel Fundamental del MSIL en .NETDe Código a Ejecución: El Papel Fundamental del MSIL en .NET
De Código a Ejecución: El Papel Fundamental del MSIL en .NETGermán Küber
 
Actividad 1-PRESENTACIÓN ANIMADA.pptxPreservación y conservación de los docum...
Actividad 1-PRESENTACIÓN ANIMADA.pptxPreservación y conservación de los docum...Actividad 1-PRESENTACIÓN ANIMADA.pptxPreservación y conservación de los docum...
Actividad 1-PRESENTACIÓN ANIMADA.pptxPreservación y conservación de los docum...OLGAMILENAMONTAEZNIO
 
Tecnológia 2024.docx.Tecnológia 2024.docx.
Tecnológia 2024.docx.Tecnológia 2024.docx.Tecnológia 2024.docx.Tecnológia 2024.docx.
Tecnológia 2024.docx.Tecnológia 2024.docx.marianarodriguezc797
 
TENDENCIAS DE IA Explorando el futuro de la tecnologia.pdf
TENDENCIAS DE IA Explorando el futuro de la tecnologia.pdfTENDENCIAS DE IA Explorando el futuro de la tecnologia.pdf
TENDENCIAS DE IA Explorando el futuro de la tecnologia.pdfJoseAlejandroPerezBa
 

Último (20)

La Electricidad y La Electrónica.pdf....
La Electricidad y La Electrónica.pdf....La Electricidad y La Electrónica.pdf....
La Electricidad y La Electrónica.pdf....
 
Actividad 14: Diseño de Algoritmos Paralelos Actividad 14: Diseño de Algoritm...
Actividad 14: Diseño de Algoritmos Paralelos Actividad 14: Diseño de Algoritm...Actividad 14: Diseño de Algoritmos Paralelos Actividad 14: Diseño de Algoritm...
Actividad 14: Diseño de Algoritmos Paralelos Actividad 14: Diseño de Algoritm...
 
Presentación - Diseño de Algoritmos Paralelos - Grupo 2.pdf
Presentación - Diseño de Algoritmos Paralelos - Grupo 2.pdfPresentación - Diseño de Algoritmos Paralelos - Grupo 2.pdf
Presentación - Diseño de Algoritmos Paralelos - Grupo 2.pdf
 
Análisis de artefactos tecnologicos .pdf
Análisis de artefactos tecnologicos .pdfAnálisis de artefactos tecnologicos .pdf
Análisis de artefactos tecnologicos .pdf
 
La tablet trabajo en grupo del grado 9-2
La tablet trabajo en grupo del grado 9-2La tablet trabajo en grupo del grado 9-2
La tablet trabajo en grupo del grado 9-2
 
Actividad 14_ Diseño de Algoritmos Paralelos.pdf
Actividad 14_ Diseño de Algoritmos Paralelos.pdfActividad 14_ Diseño de Algoritmos Paralelos.pdf
Actividad 14_ Diseño de Algoritmos Paralelos.pdf
 
Inteligencia artificial dentro de la contabilidad
Inteligencia artificial dentro de la contabilidadInteligencia artificial dentro de la contabilidad
Inteligencia artificial dentro de la contabilidad
 
Inmersión global en ciberseguridad e IA en la conferencia RSA.pdf
Inmersión global en ciberseguridad e IA en la conferencia RSA.pdfInmersión global en ciberseguridad e IA en la conferencia RSA.pdf
Inmersión global en ciberseguridad e IA en la conferencia RSA.pdf
 
Matriz de integración de tecnologías- Paola Carvajal.docx
Matriz de integración de tecnologías- Paola Carvajal.docxMatriz de integración de tecnologías- Paola Carvajal.docx
Matriz de integración de tecnologías- Paola Carvajal.docx
 
El diseño de Algoritmos Paralelos.pdf - analisis de algortimos
El diseño de Algoritmos Paralelos.pdf - analisis de algortimosEl diseño de Algoritmos Paralelos.pdf - analisis de algortimos
El diseño de Algoritmos Paralelos.pdf - analisis de algortimos
 
PRESENTACION DEL TEMA LOS MEJORES SIMULADORES DE CIRCUITOS ELCTRONICOS
PRESENTACION DEL TEMA LOS MEJORES SIMULADORES DE CIRCUITOS ELCTRONICOSPRESENTACION DEL TEMA LOS MEJORES SIMULADORES DE CIRCUITOS ELCTRONICOS
PRESENTACION DEL TEMA LOS MEJORES SIMULADORES DE CIRCUITOS ELCTRONICOS
 
VIDEOS DE APOYO.docx E
VIDEOS DE APOYO.docx                                  EVIDEOS DE APOYO.docx                                  E
VIDEOS DE APOYO.docx E
 
Los mejores simuladores de circuitos electrónicos.pdf
Los mejores simuladores de circuitos electrónicos.pdfLos mejores simuladores de circuitos electrónicos.pdf
Los mejores simuladores de circuitos electrónicos.pdf
 
Carta de Premio y Excel angeline 11-2pdf
Carta de Premio y Excel angeline 11-2pdfCarta de Premio y Excel angeline 11-2pdf
Carta de Premio y Excel angeline 11-2pdf
 
De Código a Ejecución: El Papel Fundamental del MSIL en .NET
De Código a Ejecución: El Papel Fundamental del MSIL en .NETDe Código a Ejecución: El Papel Fundamental del MSIL en .NET
De Código a Ejecución: El Papel Fundamental del MSIL en .NET
 
BEDEC Sostenibilidad, novedades 2024 - Laura Silva
BEDEC Sostenibilidad, novedades 2024 - Laura SilvaBEDEC Sostenibilidad, novedades 2024 - Laura Silva
BEDEC Sostenibilidad, novedades 2024 - Laura Silva
 
Actividad 1-PRESENTACIÓN ANIMADA.pptxPreservación y conservación de los docum...
Actividad 1-PRESENTACIÓN ANIMADA.pptxPreservación y conservación de los docum...Actividad 1-PRESENTACIÓN ANIMADA.pptxPreservación y conservación de los docum...
Actividad 1-PRESENTACIÓN ANIMADA.pptxPreservación y conservación de los docum...
 
Tecnológia 2024.docx.Tecnológia 2024.docx.
Tecnológia 2024.docx.Tecnológia 2024.docx.Tecnológia 2024.docx.Tecnológia 2024.docx.
Tecnológia 2024.docx.Tecnológia 2024.docx.
 
TENDENCIAS DE IA Explorando el futuro de la tecnologia.pdf
TENDENCIAS DE IA Explorando el futuro de la tecnologia.pdfTENDENCIAS DE IA Explorando el futuro de la tecnologia.pdf
TENDENCIAS DE IA Explorando el futuro de la tecnologia.pdf
 
BEDEC Proyecto y obra , novedades 2024 - Xavier Folch
BEDEC Proyecto y obra , novedades 2024 - Xavier FolchBEDEC Proyecto y obra , novedades 2024 - Xavier Folch
BEDEC Proyecto y obra , novedades 2024 - Xavier Folch
 

LóGica SesióN N°3

  • 1. Lógica FBMM02 Profesionalización en Servicio Profesor: Ricardo Escalante
  • 2.
  • 5.
  • 6. Negación de un condicional p  q F V F F p V V F F q V F V F p  q V F V V  (p  q) F V F F  q F V F V
  • 7. Tautología Toda tautología se simboliza con V 0 p V V V V F F F F q V V F F V V F F r V F V F V F V F p  q V V V V V V F F (p  q)  r V V V V V V V F p  [ (p  q)  r ] V V V V V V V V
  • 8. Contradicción Toda Contradicción se simboliza con F 0 p V V V V F F F F q V V F F V V F F r V F V F V F V F  p F F F F V V V V  q F F V V F F V V  r F V F V F V F V p  p V V V V V V V V q  q V V V V V V V V (p  p)  (q  q) V V V V V V V V r  r F F F F F F F F [ (p  p)  (q  q) ]  ( r  r) F F F F F F F F
  • 9. Proposiciones Equivalentes Proposición Equivalente a Nombre de la equivalencia p ~~p Ley de la doble negación p  V 0 p Ley del neutro para la conjunción p  F 0 p Ley del neutro para la disyunción p  ~p F0 Ley de la contradicción p  ~p V0 Ley de la tautología p  q q  p Ley conmutativa para la conjunción p  q q  p Ley conmutativa para la disyunción (p  q)  r p  ( q  r) Ley asociativa para la conjunción (p  q)  r p  ( q  r) Ley asociativa para la disyunción p  ( q  r) (p  q)  (p  r) Ley distributiva del  respecto al  p  ( q  r) (p  q)  (p  r) Ley distributiva del  respecto al  ~ (p  q) ~p  ~q Ley de De Morgan (negación de una conjunción) ~ (p  q) ~p  ~q Ley de De Morgan (negación de una disyunción) p  q ~p  q Equivalencia del Condicional ~(p  q) p  ~q Equivalencia de la negación de un condicional p  q ~q  ~p Equivalencia del contra recíproco del Condicional p  p p Idempotencia para la conjunción p  p p Idempotencia para la disyunción p  F 0 F 0 Contradicción p  V 0 V 0 Tautología p  q (p  q)  (q  p) Equivalencia de la bicondicional
  • 10.
  • 11.
  • 12.
  • 13.
  • 14.