Diferencia entre revisiones de «Bicondicional»
Contenido eliminado Contenido añadido
Sin resumen de edición |
m Revertidos los cambios de 190.166.68.84 a la última edición de Tirithel |
||
| Línea 2: | Línea 2: | ||
== Sinónimos == |
== Sinónimos == |
||
En [[matemáticas]] y [[lógica]], una ''implicación doble'', también conocida como ''bicondicional'' o ''equivalencia'' es una proposición de la forma '''P si y sólo si Q''', en la cual, tanto P como Q son ambas ciertas o ambas falsas. También se dice que Q es una '''[[condición necesaria]] y [[condición suficiente|suficiente]]''' para |
En [[matemáticas]] y [[lógica]], una ''implicación doble'', también conocida como ''bicondicional'' o ''equivalencia'' es una proposición de la forma '''P si y sólo si Q''', en la cual, tanto P como Q son ambas ciertas o ambas falsas. También se dice que Q es una '''[[condición necesaria]] y [[condición suficiente|suficiente]]''' para P. |
||
Una bicondicional es una propocion en la cual su |
|||
valro de verdad es verdadero sienpre y cuando ambas seerdaderas sean |
|||
verdaderas o ambas sean falsas de lo contrario esta sera falsa |
|||
| ⚫ | |||
ejemplo: |
|||
p-->q |
|||
f f=v |
|||
v v=v |
|||
v f=f |
|||
f v=f |
|||
espero k les sirva |
|||
| ⚫ | |||
El valor de verdad de una bicondicional «''p'' si y sólo si ''q''» es verdadero cuando ambas proposiciones (p y q) tienen el mismo valor de verdad, de lo contrario es falsa. Si ''p'' entonces ''q'' y si ''q'' entonces ''p''. Escrito con símbolos lógicos: (''p''⇒''q'') ∧ (''q''⇒''p''). |
El valor de verdad de una bicondicional «''p'' si y sólo si ''q''» es verdadero cuando ambas proposiciones (p y q) tienen el mismo valor de verdad, de lo contrario es falsa. Si ''p'' entonces ''q'' y si ''q'' entonces ''p''. Escrito con símbolos lógicos: (''p''⇒''q'') ∧ (''q''⇒''p''). |
||
Revisión del 00:34 26 ago 2009
Sinónimos
En matemáticas y lógica, una implicación doble, también conocida como bicondicional o equivalencia es una proposición de la forma P si y sólo si Q, en la cual, tanto P como Q son ambas ciertas o ambas falsas. También se dice que Q es una condición necesaria y suficiente para P.
Definición semántica
El valor de verdad de una bicondicional «p si y sólo si q» es verdadero cuando ambas proposiciones (p y q) tienen el mismo valor de verdad, de lo contrario es falsa. Si p entonces q y si q entonces p. Escrito con símbolos lógicos: (p⇒q) ∧ (q⇒p).
Símbolos
Normalmente se usa el símbolo o ↔ para denotar esta complicación, quedando así: . En inglés se abrevia iff. Así, la proposición anterior queda “p iff q”. En español se usa a veces la abreviatura si o sii o sssi.
