SlideShare una empresa de Scribd logo
1 de 1
CICLO ANUAL INTEGRAL



        Lenguaje Simbólico                          Peano – Russell                 2. Condicional “Si p entonces q”
                                                                                    (p→q) (p⊃q)
3. De ningún modo se puede decir que       3. El seno de 30 es un medio (p) pero    -Indicador “si”: porque, puesto que,
los hombres son libres (p) si no existe    no de 15 (~q) esto debido a que son      ya que cada vez que, dado que,
justicia (~q)                              relaciones diferentes (r)                cuando, esto se debe a que, pues. “p”
Forma Lógica: Es falso que si no           F L: Si el seno de 30 y el seno de 15    siempre va primero. (Antecedente)
existe justicia entonces los hombres       son relaciones diferentes entonces el
son libres                                 seno de 30 es un medio pero el seno      -Indicador “entonces”:(Consecuente)
Simbolización:       ~ (~q →p)             de 15 no es un medio                     por consiguiente, de modo que, en
Peano - Russell:     ~ (~q ⊃ p)            S:      r → ( p ∧ ~q )                   consecuencia, por lo tanto, luego, por
                                           P R: r ⊃ (p . ~q)                        ende, por ello, de ahí que, en
5. Sale el Sol (p) si es de día (q),                                                conclusión, por tanto, implica, y (por
luego, es falso que si no sale sol (~p)    6. Las rosas son flores (p) mientras     contexto, Ej: Disparó y lo mató. p→q)
es porque no es de día (~q)                que los pinos son árboles (q) cuando y
F L: Si es de día, entonces sale el sol;   solo cuando ambos sean vegetales         3. Bicondicional “p si y solo si q”:
en consecuencia, es falso que si no es     (r∧s) más no minerales (~t∧~u).          cuando y solo cuando, siempre y
de día entonces no sale el sol             F L: Las rosas son flores y los pinos    cuando, es condición suficiente y
S:      (q→p)→~(~q→∼p)                     son árboles si y solo si las rosas son   necesaria, significa, entonces y solo
P R: (q⊃p) ⊃ ~(~q⊃~p)                      vegetales y los pinos son vegetales      entonces, si y solamente si. (p↔q)
                                           y las rosas no son minerales y los       (p≡q)
6. Dado que la materia así como la         pinos no son minerales.
energía, no se crea (~p∧~q) ni se          S:     (p∧q)↔[(r∧s)∧(~t∧~u)]             4. Signos de Puntuación:
destruye (~r∧~s); es obvio que ambas       P R:    p.q .≡. (r.s) . (~t.~u)          * La interpretación de los signos de
sufren transformación (t∧v)                                                         puntuación (, ; .) depende del contexto.
F L: Si la materia no se crea y la         Sinónimos de Conectores:                 Ej 1: Si corro, me canso. En este caso
energía no se crea y la materia no se                                               la coma significa “entonces”. p→q
destruye y la energía no se destruye,      1. Conjunción “p y q”: (p∧q) (p.q)       Ej 2: Compro papaz, arroz y tomates.
entonces       la     materia      sufre   mas, pero, además, incluso, aunque, a    p∧q∧r. Aquí la coma significa “y”.
transformación y la energía sufre          pesar de, sin embargo, también, no       * También la coma indica la jerarquía:
transformación.                            obstante, así como, tanto como. No       Ej 1: Es falso que, no seas abogado si
S:      [ (~p∧~q) ∧ (~r∧~s)] → (t∧v)       confundir con Prop. Simple Relacional.   no eres juez. ~(~q→~p)
                                           Ej: Luis y Roy son socios = p.           Ej 2: Es falso que no seas abogado si
P R: (~p.~q) . (~r.~s) .⊃. (t.v)
                                                                                    no eres juez. ~q→~(~p)

Más contenido relacionado

La actualidad más candente

Lógica proposicional tablas de verdad
Lógica proposicional tablas de verdadLógica proposicional tablas de verdad
Lógica proposicional tablas de verdad
Videoconferencias UTPL
 
Unid1 ed juan abreu
Unid1 ed juan abreuUnid1 ed juan abreu
Unid1 ed juan abreu
juanabreuri
 
Esquema de equivalencias notables anual uni
Esquema de equivalencias notables anual uniEsquema de equivalencias notables anual uni
Esquema de equivalencias notables anual uni
rafael felix
 
lógica :Método de las Derivaciones
lógica :Método de las Derivacioneslógica :Método de las Derivaciones
lógica :Método de las Derivaciones
Juan F.Guevara
 
Unidad temática iv
Unidad temática ivUnidad temática iv
Unidad temática iv
JackieHee27
 

La actualidad más candente (16)

Proposiciones
ProposicionesProposiciones
Proposiciones
 
Algebra proposicional
Algebra proposicionalAlgebra proposicional
Algebra proposicional
 
Principales leyes logicas o tautologicas
Principales leyes logicas o tautologicasPrincipales leyes logicas o tautologicas
Principales leyes logicas o tautologicas
 
Lógica proposicional tablas de verdad
Lógica proposicional tablas de verdadLógica proposicional tablas de verdad
Lógica proposicional tablas de verdad
 
Unid1 ed juan abreu
Unid1 ed juan abreuUnid1 ed juan abreu
Unid1 ed juan abreu
 
Qué Es Un Dilema
Qué Es Un DilemaQué Es Un Dilema
Qué Es Un Dilema
 
Leyes del algebra proposicional
Leyes del algebra proposicionalLeyes del algebra proposicional
Leyes del algebra proposicional
 
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓNEQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
 
Implicaciones Notables
Implicaciones NotablesImplicaciones Notables
Implicaciones Notables
 
Esquema de equivalencias notables anual uni
Esquema de equivalencias notables anual uniEsquema de equivalencias notables anual uni
Esquema de equivalencias notables anual uni
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
simplificación inferencias gestión
simplificación inferencias gestiónsimplificación inferencias gestión
simplificación inferencias gestión
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Funciones De Verdad
Funciones De VerdadFunciones De Verdad
Funciones De Verdad
 
lógica :Método de las Derivaciones
lógica :Método de las Derivacioneslógica :Método de las Derivaciones
lógica :Método de las Derivaciones
 
Unidad temática iv
Unidad temática ivUnidad temática iv
Unidad temática iv
 

Destacado

indice de traumas craneoencefalico
indice de traumas craneoencefalicoindice de traumas craneoencefalico
indice de traumas craneoencefalico
Luisedu Chavez
 
Traumatismo craneoencefálico (largo)
Traumatismo craneoencefálico (largo)Traumatismo craneoencefálico (largo)
Traumatismo craneoencefálico (largo)
Varcosk
 
Traumatismo craneoencefálico
Traumatismo craneoencefálicoTraumatismo craneoencefálico
Traumatismo craneoencefálico
Gloria Fuentes
 
traumatismo craneo encefalico
traumatismo craneo encefalicotraumatismo craneo encefalico
traumatismo craneo encefalico
delavida
 
Tec - Traumatismo Encefalo Craneano
Tec - Traumatismo Encefalo CraneanoTec - Traumatismo Encefalo Craneano
Tec - Traumatismo Encefalo Craneano
Eric Jover
 
Infarto Al Miocardio
Infarto Al MiocardioInfarto Al Miocardio
Infarto Al Miocardio
cardiologia
 
Intercambio de gases en los alvéolos
Intercambio de gases en los alvéolosIntercambio de gases en los alvéolos
Intercambio de gases en los alvéolos
sebastianpink
 
Infarto agudo do miocárdio
Infarto agudo do miocárdioInfarto agudo do miocárdio
Infarto agudo do miocárdio
jaquerpereira
 
Sistema piramidal y extrapiramidal
Sistema piramidal y extrapiramidalSistema piramidal y extrapiramidal
Sistema piramidal y extrapiramidal
Merce De-Alba
 
Fisiopatologia del infarto agudo del miocardio final
Fisiopatologia del infarto agudo del miocardio finalFisiopatologia del infarto agudo del miocardio final
Fisiopatologia del infarto agudo del miocardio final
evidenciaterapeutica.com
 

Destacado (20)

Infarto femenino
Infarto femeninoInfarto femenino
Infarto femenino
 
El valioso tiempo de los maduros
El valioso tiempo de los madurosEl valioso tiempo de los maduros
El valioso tiempo de los maduros
 
3. edema
3. edema3. edema
3. edema
 
Plexo braquial
Plexo braquialPlexo braquial
Plexo braquial
 
indice de traumas craneoencefalico
indice de traumas craneoencefalicoindice de traumas craneoencefalico
indice de traumas craneoencefalico
 
Traumatismo craneoencefálico (largo)
Traumatismo craneoencefálico (largo)Traumatismo craneoencefálico (largo)
Traumatismo craneoencefálico (largo)
 
Primeros casos del manejo agudo con trombolisis endovenosa del accidente cere...
Primeros casos del manejo agudo con trombolisis endovenosa del accidente cere...Primeros casos del manejo agudo con trombolisis endovenosa del accidente cere...
Primeros casos del manejo agudo con trombolisis endovenosa del accidente cere...
 
Traumatismo craneoencefálico
Traumatismo craneoencefálicoTraumatismo craneoencefálico
Traumatismo craneoencefálico
 
traumatismo craneo encefalico
traumatismo craneo encefalicotraumatismo craneo encefalico
traumatismo craneo encefalico
 
Tec - Traumatismo Encefalo Craneano
Tec - Traumatismo Encefalo CraneanoTec - Traumatismo Encefalo Craneano
Tec - Traumatismo Encefalo Craneano
 
Lógico mat. c 3 equivalencia lógica.
Lógico mat. c 3 equivalencia lógica.Lógico mat. c 3 equivalencia lógica.
Lógico mat. c 3 equivalencia lógica.
 
Trauma laringeo
Trauma laringeoTrauma laringeo
Trauma laringeo
 
Infarto Al Miocardio
Infarto Al MiocardioInfarto Al Miocardio
Infarto Al Miocardio
 
Sesion traumatismo craneoencefalico
Sesion traumatismo craneoencefalicoSesion traumatismo craneoencefalico
Sesion traumatismo craneoencefalico
 
Via piramidal
Via piramidalVia piramidal
Via piramidal
 
Intercambio de gases en los alvéolos
Intercambio de gases en los alvéolosIntercambio de gases en los alvéolos
Intercambio de gases en los alvéolos
 
Edema agudo pulmonar
Edema agudo pulmonarEdema agudo pulmonar
Edema agudo pulmonar
 
Infarto agudo do miocárdio
Infarto agudo do miocárdioInfarto agudo do miocárdio
Infarto agudo do miocárdio
 
Sistema piramidal y extrapiramidal
Sistema piramidal y extrapiramidalSistema piramidal y extrapiramidal
Sistema piramidal y extrapiramidal
 
Fisiopatologia del infarto agudo del miocardio final
Fisiopatologia del infarto agudo del miocardio finalFisiopatologia del infarto agudo del miocardio final
Fisiopatologia del infarto agudo del miocardio final
 

Similar a Simbolizacion Y Semantica

Lógica proposicional
Lógica proposicional Lógica proposicional
Lógica proposicional
Yuly Oyanguren
 
Estructura efrain palma
Estructura efrain palmaEstructura efrain palma
Estructura efrain palma
ASIGNACIONUFT
 
LOGICA PROPOSICIONAL II
LOGICA PROPOSICIONAL IILOGICA PROPOSICIONAL II
LOGICA PROPOSICIONAL II
valefrey1
 
Estructura discreta limbert
Estructura discreta limbertEstructura discreta limbert
Estructura discreta limbert
ASIGNACIONUFT
 

Similar a Simbolizacion Y Semantica (20)

Taller2 Logica Proposicional
Taller2 Logica ProposicionalTaller2 Logica Proposicional
Taller2 Logica Proposicional
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Ejemplos de logica proposicional
Ejemplos de logica proposicionalEjemplos de logica proposicional
Ejemplos de logica proposicional
 
Lógica- tablas de verdad-veracidad
Lógica- tablas de verdad-veracidadLógica- tablas de verdad-veracidad
Lógica- tablas de verdad-veracidad
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Lógica proposicional
Lógica proposicional Lógica proposicional
Lógica proposicional
 
Logica Matemática Introducción A La Logica
Logica Matemática Introducción A La  LogicaLogica Matemática Introducción A La  Logica
Logica Matemática Introducción A La Logica
 
Proposiciones alvimar vargas
Proposiciones alvimar vargasProposiciones alvimar vargas
Proposiciones alvimar vargas
 
LÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONALLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL
 
Unidad1 Estructura
Unidad1 EstructuraUnidad1 Estructura
Unidad1 Estructura
 
Estructura efrain palma
Estructura efrain palmaEstructura efrain palma
Estructura efrain palma
 
Estructura
EstructuraEstructura
Estructura
 
LOGICA PROPOSICIONAL II
LOGICA PROPOSICIONAL IILOGICA PROPOSICIONAL II
LOGICA PROPOSICIONAL II
 
Conectivos
ConectivosConectivos
Conectivos
 
Conectivos
ConectivosConectivos
Conectivos
 
LóGica SesióN N°2
LóGica SesióN N°2LóGica SesióN N°2
LóGica SesióN N°2
 
Sesión N°2 Lógica PPS Unimet
Sesión N°2 Lógica PPS UnimetSesión N°2 Lógica PPS Unimet
Sesión N°2 Lógica PPS Unimet
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
1.clase introduccion-logica
1.clase introduccion-logica1.clase introduccion-logica
1.clase introduccion-logica
 
Estructura discreta limbert
Estructura discreta limbertEstructura discreta limbert
Estructura discreta limbert
 

Más de rafael felix

Palabras para decirle a alguien en el momento de la pérdida de un ser querido
Palabras para decirle a alguien en el momento de la pérdida de un ser queridoPalabras para decirle a alguien en el momento de la pérdida de un ser querido
Palabras para decirle a alguien en el momento de la pérdida de un ser querido
rafael felix
 

Más de rafael felix (20)

Filosofia del derecho, Filosofia del derecho
Filosofia del derecho, Filosofia del derechoFilosofia del derecho, Filosofia del derecho
Filosofia del derecho, Filosofia del derecho
 
La tecnología como un problema transdisciplinario.pptx
La tecnología como un problema transdisciplinario.pptxLa tecnología como un problema transdisciplinario.pptx
La tecnología como un problema transdisciplinario.pptx
 
Felicidad. entre la estupidez y la inteligencia
Felicidad. entre la estupidez y la inteligenciaFelicidad. entre la estupidez y la inteligencia
Felicidad. entre la estupidez y la inteligencia
 
El amor, según Marco Aurelio Denegri
El amor, según Marco Aurelio DenegriEl amor, según Marco Aurelio Denegri
El amor, según Marco Aurelio Denegri
 
Feminismo y la filosofía política de judith butler
Feminismo y la filosofía política de judith butlerFeminismo y la filosofía política de judith butler
Feminismo y la filosofía política de judith butler
 
Acosador
AcosadorAcosador
Acosador
 
La manipulación cultural y estrategias para superarla: el caso peruano
La manipulación cultural y estrategias para superarla: el caso peruanoLa manipulación cultural y estrategias para superarla: el caso peruano
La manipulación cultural y estrategias para superarla: el caso peruano
 
Investigación en UNMSM
Investigación en UNMSMInvestigación en UNMSM
Investigación en UNMSM
 
Lógica de la conversación
Lógica de la conversaciónLógica de la conversación
Lógica de la conversación
 
ÉTICA CONCEPTOS BÁSICOS
ÉTICA CONCEPTOS BÁSICOSÉTICA CONCEPTOS BÁSICOS
ÉTICA CONCEPTOS BÁSICOS
 
Palabras para decirle a alguien en el momento de la pérdida de un ser querido
Palabras para decirle a alguien en el momento de la pérdida de un ser queridoPalabras para decirle a alguien en el momento de la pérdida de un ser querido
Palabras para decirle a alguien en el momento de la pérdida de un ser querido
 
Ética de la investigación científica
Ética de la investigación científicaÉtica de la investigación científica
Ética de la investigación científica
 
Acosador
AcosadorAcosador
Acosador
 
Logica unfv internacional
Logica unfv internacionalLogica unfv internacional
Logica unfv internacional
 
9 Nietzsche y Heidegger.
9 Nietzsche y Heidegger.9 Nietzsche y Heidegger.
9 Nietzsche y Heidegger.
 
14 Gnoseologia
14 Gnoseologia14 Gnoseologia
14 Gnoseologia
 
4 aristoteles y helenisticos
4 aristoteles y helenisticos4 aristoteles y helenisticos
4 aristoteles y helenisticos
 
13 semana politica
13 semana politica13 semana politica
13 semana politica
 
6 ilustracion
6 ilustracion6 ilustracion
6 ilustracion
 
3 filosofia 3
3 filosofia 33 filosofia 3
3 filosofia 3
 

Último

Lineamientos de la Escuela de la Confianza SJA Ccesa.pptx
Lineamientos de la Escuela de la Confianza  SJA  Ccesa.pptxLineamientos de la Escuela de la Confianza  SJA  Ccesa.pptx
Lineamientos de la Escuela de la Confianza SJA Ccesa.pptx
Demetrio Ccesa Rayme
 
HISTORIA DE ARQUITECTURA PERUANA HORIZONTE
HISTORIA DE ARQUITECTURA PERUANA HORIZONTEHISTORIA DE ARQUITECTURA PERUANA HORIZONTE
HISTORIA DE ARQUITECTURA PERUANA HORIZONTE
alidkbeast
 
Filo Descartes para selectividad de andalucía
Filo Descartes para selectividad de andalucíaFilo Descartes para selectividad de andalucía
Filo Descartes para selectividad de andalucía
JoaquinMaisanaba
 
informe-de-laboratorio-metodos-de-separacion-de-mezclas.pdf
informe-de-laboratorio-metodos-de-separacion-de-mezclas.pdfinforme-de-laboratorio-metodos-de-separacion-de-mezclas.pdf
informe-de-laboratorio-metodos-de-separacion-de-mezclas.pdf
AndreaTurell
 
Diseño Universal de Aprendizaje en Nuevos Escenarios JS2 Ccesa007.pdf
Diseño Universal de Aprendizaje en Nuevos Escenarios  JS2  Ccesa007.pdfDiseño Universal de Aprendizaje en Nuevos Escenarios  JS2  Ccesa007.pdf
Diseño Universal de Aprendizaje en Nuevos Escenarios JS2 Ccesa007.pdf
Demetrio Ccesa Rayme
 

Último (20)

AEC2. Egipto Antiguo. Adivina, Adivinanza.pptx
AEC2. Egipto Antiguo. Adivina, Adivinanza.pptxAEC2. Egipto Antiguo. Adivina, Adivinanza.pptx
AEC2. Egipto Antiguo. Adivina, Adivinanza.pptx
 
Santa Criz de Eslava, la más monumental de las ciudades romanas de Navarra
Santa Criz de Eslava, la más monumental de las ciudades romanas de NavarraSanta Criz de Eslava, la más monumental de las ciudades romanas de Navarra
Santa Criz de Eslava, la más monumental de las ciudades romanas de Navarra
 
Lineamientos de la Escuela de la Confianza SJA Ccesa.pptx
Lineamientos de la Escuela de la Confianza  SJA  Ccesa.pptxLineamientos de la Escuela de la Confianza  SJA  Ccesa.pptx
Lineamientos de la Escuela de la Confianza SJA Ccesa.pptx
 
HISTORIA DE ARQUITECTURA PERUANA HORIZONTE
HISTORIA DE ARQUITECTURA PERUANA HORIZONTEHISTORIA DE ARQUITECTURA PERUANA HORIZONTE
HISTORIA DE ARQUITECTURA PERUANA HORIZONTE
 
REGLAMENTO FINAL DE EVALUACIÓN 2024 pdf.pdf
REGLAMENTO  FINAL DE EVALUACIÓN 2024 pdf.pdfREGLAMENTO  FINAL DE EVALUACIÓN 2024 pdf.pdf
REGLAMENTO FINAL DE EVALUACIÓN 2024 pdf.pdf
 
flujo de materia y energía ecosistemas.
flujo de materia y  energía ecosistemas.flujo de materia y  energía ecosistemas.
flujo de materia y energía ecosistemas.
 
PLAN ANUAL DE TUTORIA PARA SEGUNDO AÑO DE SECUNDARIA
PLAN ANUAL DE TUTORIA PARA  SEGUNDO AÑO DE SECUNDARIAPLAN ANUAL DE TUTORIA PARA  SEGUNDO AÑO DE SECUNDARIA
PLAN ANUAL DE TUTORIA PARA SEGUNDO AÑO DE SECUNDARIA
 
Filo Descartes para selectividad de andalucía
Filo Descartes para selectividad de andalucíaFilo Descartes para selectividad de andalucía
Filo Descartes para selectividad de andalucía
 
animalesdelaproincia de beunos aires.pdf
animalesdelaproincia de beunos aires.pdfanimalesdelaproincia de beunos aires.pdf
animalesdelaproincia de beunos aires.pdf
 
Planeacion para 1er Grado - (2023-2024)-1.docx
Planeacion para 1er Grado - (2023-2024)-1.docxPlaneacion para 1er Grado - (2023-2024)-1.docx
Planeacion para 1er Grado - (2023-2024)-1.docx
 
La Evaluacion Formativa SM6 Ccesa007.pdf
La Evaluacion Formativa SM6  Ccesa007.pdfLa Evaluacion Formativa SM6  Ccesa007.pdf
La Evaluacion Formativa SM6 Ccesa007.pdf
 
Presentación NORMA TECNICA 2024. minedu peru
Presentación NORMA  TECNICA 2024. minedu peruPresentación NORMA  TECNICA 2024. minedu peru
Presentación NORMA TECNICA 2024. minedu peru
 
Libros del Ministerio de Educación (2023-2024).pdf
Libros del Ministerio de Educación (2023-2024).pdfLibros del Ministerio de Educación (2023-2024).pdf
Libros del Ministerio de Educación (2023-2024).pdf
 
informe-de-laboratorio-metodos-de-separacion-de-mezclas.pdf
informe-de-laboratorio-metodos-de-separacion-de-mezclas.pdfinforme-de-laboratorio-metodos-de-separacion-de-mezclas.pdf
informe-de-laboratorio-metodos-de-separacion-de-mezclas.pdf
 
Power Point E. S.: Los dos testigos.pptx
Power Point E. S.: Los dos testigos.pptxPower Point E. S.: Los dos testigos.pptx
Power Point E. S.: Los dos testigos.pptx
 
AEC 2. Aventura en el Antiguo Egipto.pptx
AEC 2. Aventura en el Antiguo Egipto.pptxAEC 2. Aventura en el Antiguo Egipto.pptx
AEC 2. Aventura en el Antiguo Egipto.pptx
 
La Sostenibilidad Corporativa. Administración Ambiental
La Sostenibilidad Corporativa. Administración AmbientalLa Sostenibilidad Corporativa. Administración Ambiental
La Sostenibilidad Corporativa. Administración Ambiental
 
Diseño Universal de Aprendizaje en Nuevos Escenarios JS2 Ccesa007.pdf
Diseño Universal de Aprendizaje en Nuevos Escenarios  JS2  Ccesa007.pdfDiseño Universal de Aprendizaje en Nuevos Escenarios  JS2  Ccesa007.pdf
Diseño Universal de Aprendizaje en Nuevos Escenarios JS2 Ccesa007.pdf
 
Realitat o fake news? – Què causa el canvi climàtic? - La desertització
Realitat o fake news? – Què causa el canvi climàtic? - La desertitzacióRealitat o fake news? – Què causa el canvi climàtic? - La desertització
Realitat o fake news? – Què causa el canvi climàtic? - La desertització
 
Los dos testigos. Testifican de la Verdad
Los dos testigos. Testifican de la VerdadLos dos testigos. Testifican de la Verdad
Los dos testigos. Testifican de la Verdad
 

Simbolizacion Y Semantica

  • 1. CICLO ANUAL INTEGRAL Lenguaje Simbólico Peano – Russell 2. Condicional “Si p entonces q” (p→q) (p⊃q) 3. De ningún modo se puede decir que 3. El seno de 30 es un medio (p) pero -Indicador “si”: porque, puesto que, los hombres son libres (p) si no existe no de 15 (~q) esto debido a que son ya que cada vez que, dado que, justicia (~q) relaciones diferentes (r) cuando, esto se debe a que, pues. “p” Forma Lógica: Es falso que si no F L: Si el seno de 30 y el seno de 15 siempre va primero. (Antecedente) existe justicia entonces los hombres son relaciones diferentes entonces el son libres seno de 30 es un medio pero el seno -Indicador “entonces”:(Consecuente) Simbolización: ~ (~q →p) de 15 no es un medio por consiguiente, de modo que, en Peano - Russell: ~ (~q ⊃ p) S: r → ( p ∧ ~q ) consecuencia, por lo tanto, luego, por P R: r ⊃ (p . ~q) ende, por ello, de ahí que, en 5. Sale el Sol (p) si es de día (q), conclusión, por tanto, implica, y (por luego, es falso que si no sale sol (~p) 6. Las rosas son flores (p) mientras contexto, Ej: Disparó y lo mató. p→q) es porque no es de día (~q) que los pinos son árboles (q) cuando y F L: Si es de día, entonces sale el sol; solo cuando ambos sean vegetales 3. Bicondicional “p si y solo si q”: en consecuencia, es falso que si no es (r∧s) más no minerales (~t∧~u). cuando y solo cuando, siempre y de día entonces no sale el sol F L: Las rosas son flores y los pinos cuando, es condición suficiente y S: (q→p)→~(~q→∼p) son árboles si y solo si las rosas son necesaria, significa, entonces y solo P R: (q⊃p) ⊃ ~(~q⊃~p) vegetales y los pinos son vegetales entonces, si y solamente si. (p↔q) y las rosas no son minerales y los (p≡q) 6. Dado que la materia así como la pinos no son minerales. energía, no se crea (~p∧~q) ni se S: (p∧q)↔[(r∧s)∧(~t∧~u)] 4. Signos de Puntuación: destruye (~r∧~s); es obvio que ambas P R: p.q .≡. (r.s) . (~t.~u) * La interpretación de los signos de sufren transformación (t∧v) puntuación (, ; .) depende del contexto. F L: Si la materia no se crea y la Sinónimos de Conectores: Ej 1: Si corro, me canso. En este caso energía no se crea y la materia no se la coma significa “entonces”. p→q destruye y la energía no se destruye, 1. Conjunción “p y q”: (p∧q) (p.q) Ej 2: Compro papaz, arroz y tomates. entonces la materia sufre mas, pero, además, incluso, aunque, a p∧q∧r. Aquí la coma significa “y”. transformación y la energía sufre pesar de, sin embargo, también, no * También la coma indica la jerarquía: transformación. obstante, así como, tanto como. No Ej 1: Es falso que, no seas abogado si S: [ (~p∧~q) ∧ (~r∧~s)] → (t∧v) confundir con Prop. Simple Relacional. no eres juez. ~(~q→~p) Ej: Luis y Roy son socios = p. Ej 2: Es falso que no seas abogado si P R: (~p.~q) . (~r.~s) .⊃. (t.v) no eres juez. ~q→~(~p)