Elemntary logic Resnik Michael.

La logica usamos para convencer, para esclarificar, para dar con una desici�n. Para
razonar. Para comprender.

Si un chico quiere abandonar la escuela podemos convencerlo asi

Tu dices que quieres abandonar la escuela, pero deseas un trabajo digno. Para tener
un trabajo digno es necesario terminar la escuela, por lo tanto debes seguir
estudiando.

Para decidir si vas a la playa o vas al cine.

Tienes poco dinero para comer y no sabes si ir al cine o a la playa. Si vas al cine
gastaras el dinero y no podras comer, pero si vas a la playa puedes divertirte y
luego ir a comer, entonces ve a la playa.

El cientifico hace deduciones de su teoria y hace experimentos para observar si su

predicci�n es verdadera. Si lo es, su inferencia sera confirmada, sino ver� que
tiene errores en su teoria. Lo mismo en un juicio.

Si el acusado estuvo en roma en julio de 11, el no pudo haber cometido el

asesinato. El esta registrado en el hotel

Matematicos usan la logica para teorewmas, filosofos para construir argumentos

filosoficos. Teologos y demas para probar que dios existe.

ESTO MUESTRA QUE LA LOGICA CONcierne el corazon de nuestra pragmaticas y teoricas

actividades.

En tiempos recientes la logica ha sido sometida a un tratamiento matematico. Como

resultado, los logicos modernos han generado importantes logros para la estructura
y fundamentaci�n de las matematicas. Hizo importantes avances a la electronica
computacional.

los Logicos no se interesa en corazonadas o intuisiones que usemos para construir

argumentos. Estudian argumentos. No se interesan en las causas psicologicas de una
conclusion sino mas bien en la razonamiento de esas conclusiones. El logico no es
un lector de mentes ni un psicologo. El se concierne a argumentos e intenta
juzgarlos.

Argumento es ligeramente diferente al uso vulgar.

Es una secuencia de dos o mas declaraciones, en la cual una es ofrecida en soporte

(como evidencia) de otra.

Argumento contiene una declaraci�n la cual el argumento intenta establecer, y un o

mas declaraciones que soportan esta conclusi�n.

No toda secuencia de declaraciones son un argumento. Incluso siguiendo una prosa.

No hay argumento sin conclusi�n y el soporte de esto.

Argumentos no siempre se presentan tan en limpio.

Una conclusi�n puede ser enterrada en el cuerpo de un argumento. Extra�as

declaraciones pueden obscurecer la conclusi�n y la evidencia de esto. La secuencia
de la declaraci�n puede presentarse como una sola y gran declaraci�n. Tambien el
autor puede escribir un argumento complicado o poco claro prosa.

Por fortuna el lnguaje contiene palabras que ayudan a saber mas facil si se trata
de un argumento:
Inference words such as "hence, therefore, asi, whence, so, because, whether, if"
Son pistas importantisimas.

La declaraci�n ofrecida en soporte de la conclusi�n se llama premisa.

Las premisas debe brindar suficiente razones que fundamente la conclusi�n.

Hay 2 ramas de la logica.

Logica inductiva y deductiva.

Deductiva concierne la construcci�n de argumentos cuya conclusi�n se sigue

necesariamente de sus premisas, mientras que las inductivas concierne a la
construcci�n de argumentos cuya conclusion es solo probable relativamente por sus
premisas.

Ambas son importantes y tienen sus propias funciones.

D.L se aplica mucho en matematicas, sus pruebas consisten en argumentos deductivos.

En temas menos abstractos, I.L es un metodo esencial de rasonamiento. Ambos metodos

pueden ser combinados.

D.L "Queremos probar que Marcelo es un banquero y por lo tanto es rico. Para ello
suponemos que sabemos que todos los banqueros son ricos, asi pasamos a argumento
deductivamente:
Mr marcelo es banquero.
todos los banqueros son ricos
Por lo tanto, mARCE es rico.
De lo general a lo particular

La conclusi�n de un buen argumento deductivo no puede ser falso si todas sus

premisas son verdaderas. Pero si puede serlo igual porque esta puede estar en
desconexi�n.

Ahora. I.L no sabemos si todos los banqueros son ricos pero si sabemos que todos
los banqueros que conocimos son ricos, por ende argumentamos inductivamente, de lo
particular a lo general.

Marce es banquero. Todos los banqueros que conocemos son ricos. Entonces marce es
rico.

Marce no necesariamente puede ser rico. Puede ser el primer banquero pobre.
A pesar de que 1 y 2 dan gran probabilidad sobre 3, no se sigue necesariamente de
estas 2. Ambas 2 pueden ser verdaderas mientras que la conclusi�n puede ser falsa.

En general la conclusi�n de un Inductivo argum. es solo relativamente probable con

relaci�n a sus premisas.

I.argum son mas debiles que los deductivos. Pero no es equivocado usar argumentos
inductivos, en muchos casos se los usan.

La logica genera una genuina ciencia.

p7

Las mismas palabras dichas por una persona pueden cambiar de significado
constantemente.

Sentencia es una cadena de palabras en la cual expresa un pensamiento completo. El

termino setencia no refiere a pensamientos completos en s� mismos (porque la
oraci�n los expresa) sino a formas de palabras

La misma sentencia puede ser utilizada para referir cosas distintas.

Debido a las dificultades que presenta la fallacia de equivocacion, muchos logicos

han instado a diferenciar declaraci�n "statements" de sentencia "sentences".

Statements ser�a el sentido de la sentencia en el momento de ser delcarada.

"sTATEMENTS ARE THEN TAKEN AS THE MEANINGS sentences have at their times of
utterancep 8
Cuando alguien usa la misma sentencia en diferente tiempo-lugar, hace declaraciones
diferentes.

La statement tiene la ventaja de no cambiar la verdad o falsedad valores.

No cambia, le hace frente a las falacias de ambiguedad.

Quand il pleut, il neige

Il pleut
Donc il neige

Misma statement que

when it rains it snows

it rains
hence it snows
Misma statement pero no, la misma setencia.

Las statements es complejo y controvertido porque, como definir lo que es; como
decir "esto es as� y no as�"." el quiere decir esto precisamente"

Validez: termino importante.

Se usa para caracterizar arg D. cuyas premisas necessitate their conclusions

No se usa con inductivos argumentos.
El mejor Induc. arg no es valido en sentido tecnico.

A valid argument is one whose conclusion follow logically from its premisses. p9

Necesita ser mejor explicado.

Una conclusi�n verdadera lo es solo si sus premisas son verdaderas.
Una conclusi�n falsa no puede serlo si sus premisas son todas verdaderas.

Un argumento invalido es uno cuya todas premisas son verdaderas y su conclusi�n es

falsa.

El concepto de invalido provee un metodo que permite mostrar que hay un limitado
numero de argumentos no validos. One merely points out that each of the premises is
true and that the conclusion is false por ejemplo

Ninguna mujer fue presidente de USA

Ninguna mujer es padre
Por lo tanto ningun presidente de usa es padre.

Statements are true or false. Arguments en otro polo son validos o invalidos pero
no son ni falsos ni verdaderos.

Argumentos deductivos pueden tener una o mas premisas falsas y conclusiones

verdaderas o falsas y seguir siendo valida.
Aso estamos viendo un acercamiento entre validez y verdad.

El logico esta indirectamente interesado en la verdad y los hechos.

Esto se debe a que el l�gico no pregunta qu� es verdad, sino que, dado que esto y
aquello es cierto, qu� m�s debe ser cierto. A partir de una verdad construye mas
verdades.

No es extra�o que falsas premisas o conclusiones esten en un argumento valido.

El unico caso que no puede serlo es en el invalido. Donde todas las premisas son
verdaderas pero la conclusi�n es falsa.

Premisa conclusi�n argumento

All true true valid or invalid
all true false invalid
some true some F true invalid or valid
some true some f false I or V
all false true V o I
all false false v o I.

Es facil construir ejemplos.

Statements todas verdaderas pero no relacionadas.

1 +1 = 2
El sol nunca brilla en roma
Por lo tanto el hombre es mortal.

Premisas verdaderas y falsas, y una conclusi�n verdadera. Arg invalido.

Por ahora decimos intuitivamente que no hay coneci�n logica entre 1 2 y 3.

Argumento deductivo valido

V V V = ARG V
Socrates es un hombre
Todos los hombres son mortales
Por lo tanto todos Socrates es mortal.

Verdadera y falsa premisa, verdadera conclusi�n

2 y 3 son numero pares F
si x es un numero par, entonces es x+2 verdaero.
2+2=4
Por lo tanto 4 es un numero par. verdadero

V F F
2 y 3 son pares f
si x es un par, x+2 v
3+2= 5 v.
Por lo tanto 5 es un numero par Falso.

F F V

2 y 3 son pares. F
Por lo tanto 2 es un numero par. V

F F F.
Si la plata fuese oro, entonces cada uno podr�a ser rico. F
La plata es oro.
Entonces todos pueden ser ricos.

Argumento defecutosos es cuando las conclusiones no sguen logicamente las premisas

o cuando una o mas prmisas son falsas.

Es mejor ofrecer buen argumento inductivo con verdaderas premisas que un valido
aargumento deductivo con falsas premisas
Sound = solido.

Otros errores:

Cancer is a virus.
Los virus se contagian.
El cancer es contagioso.

Los numeros pares positivos son todos sumas de 2

2 es un numero par y positivo
por lo tanto 2 es la suma de 2 numeros pares positivos.
Estos son argumentos defectuosos pero son validos.

Las cuestiones de verdad y falsedad no suelen ser s�lo cuestiones de l�gica, sino
cuestiones que pertenecen a las ciencias m�s especializadas. Por esta raz�n los
l�gicos ponen mucho menos empahis en la solidez que en la validez.
Pero no olvidar la solidez en la aplicaci�n logica.

La logica estudia matematicas y ciencias y otras cosas, todas de igual manera

porque no concierne al subject matter of an argument, sino el razonamiento.

El mismo principio es aplicado en cualquier campo

La verdad o falsedad de un statements juega un rol menor en logica.

Ahora tambien el subject matter, tema en cuesti�n.
Que le concierne a la logica? La estructura de un argumento.p12

Todos los libros de logica son aburridos

este es un libro de logica
este libro es aburrido.

Estrurcutra:

All -A--- are -B---

--C-- is a --B----
Hence--A-- is a --C-----

Todos los argumentos asi ser�an validos.

Si el diablo existe, la maldad tambien

El diablo existe
por lo tanto la maldad tambien

Esta es otra estructura

Si..A....entonces---B----
----A------------
Por lo tanto B

La validez de un argumento depende solo de su forma. Para determinar que argumentos

es valido solo tenemos que analizar su forma.

Con esto podemos caracterizar las clases de argumentos delimitando las formas de
argumentaci�n validas.

El problema de la forma de un argumento se reduce al problema de la statement

forms. Este problema es manejado con el devices called schemata, schema. El cual es
usado para diaramar la forma logica de la declaraci�n.

Un esquema esta relacionado con la proposici�n en la forma en que un plano lo es

con un edificio.

El awrquitecto hace el plano.

El schema esta compuestode simbolos en vez de palabras. Por esto, la logica de hoy
se la conoce como Logica simbolica.

Encontrar el esquema para diagramar las premisas y la conclusi�n.

Al usarlas obtenemos la forma del argumento
Realizar operaciones para determinar si el argumento tiene una forma v�lida

Premisas implicitas y parafraseo.

Las proposiciones deben ser esclarecidas, explicitadas para as� pasar a un esquema.

Tabby es un gato
Entonces tabby bebe leche.

Esto es erroneo porque no hay soporte, es preciso explicitar en este argumento una
premisa mas:
Todos los gatos beben leche.

Por mas que se entienda esta debe ser explicitada.

En la practica cotidiana no hace falta pero aca si.

No necesariamente el autor del argumento se equivoca sino que no explicita algo que
debe ser explicitado quizas para el abordaje.

Todos los marxistas son comunistas

Por lo tanto todos los socialistas son comunistas
Erorr. Falta cadena de soporte
Todos los socialistas son marxista.
A = B =C -> a=c

lA mayoria de los argumentos son expresados en lenguaje ordinario, el cual es

ambiguo vago y flexible, e incompleto. Asi antes de pasar a un esquema hay que
parafrasear. El problema es encontrar el verdadero parafraseo, onda Que quizo decir
concretamente. hAY QUE PEDIR QUE ACLAREN MEJOR.

Una proposici�n que contiene 1 o mas proposiciones como partes, es llamada

proposici�n compuesta

Las proposiciones que forman parte de la P. Compuesta, se llaman proposici�n

componente.
Una simple proposici�n, por otro lado, es simplemente una propoisici�n pero no
compuesta, es simple.

La diferencia entre ambas:

Simples
Todos los gatos son carnivoros
El gran perro marron persigue al conejo.
2+2 =7*4-6*4
John is married to edith
There is no king of the USA.

Compuestas.
Si esta lloviendo, entonces esta nublado. (hay 2 aca)
Pienso que Marcos entiende de logica.
La clase se cancelo porque estaba prendido fuego el lugar.
Si todos los numeros son pares, entonces y solo entonces 3 es par.
A menos que Jones te llame, el debe reunirse conmigo en casa.

Letras.
Si marcos paga la cuenta el banco le da el auto
Marcos pago la cuenta
El banco le d�o el auto.

Esta forma puede ser reemplazado por las letras p y q

If p then q
p
so q

Si p, entonces q
p
entonces q

Estudiaremos la teoria de la funcion de verdad.

Las proposiciones compuestas estan hechas con conexion de expresiones.

Estas expresiones conectoras llamemoslas Proposiciones conectivas.

Una proposicion conectiva es un patron de palabras con 1 o mas espacios en blanco,

De tal manera que las declaraciones se producen a partir de llenar todos los
espacios en blanco con declaraciones.

Ejemplo:
-------- porque ------
Si ------ entonces ------
------ y---------
Pienso que ------
Es falso que --------

Los espacios en blanco de las proposiciones conectivas pueden ser llenas por
cualquier proposici�n simple o compuesta. y la misma proposicion puede ser usada
para llenar dos o m�s espacios en blanco

Yo dije eso porque yo creia eso

Si yo dije eso, entonces dije eso.

Aca hay que introducir el termino de truht-value valor de verdad.

Es usado para referenciar la verdad o falsedad de una proposici�n de modo que una
proposici�n verdadera tiene el truth.value true. mientras que una falsa tiene el
truth-value false.
Asi toda proposici�n tiene uno y solo un solo valor de verdad.
Incluso cuando no sabes si una proposici�n es verdadera o falsa podemos todavia
hablar de su valor de verdad y asi evitar "locuciones mas largas"

por ejemplo en lugar de decir:

Estas proposiciones son ambas verdaderas o ambas falsa.

podemos simplificar diciendo:

Estas proposiciones tienen el mismo truth-value.

De este modo cortamos 2 palabras menos.

Se usa T para el valor truth.value true y F para el false.

Negaci�n:
La proposici�n conectiva es:

Es falso que ------

No es el caso de ------
No:------

Son usadas para formar proposiciones compuestas que tienen valores de verdad
opuestos de sus componentes
Dado que estos compuestos niegan o niegan sus componentes, se denominan negaciones
de estos componentes.

Si en el lenguaje vulgar se niega algo asi:

Juan es basquetbolista
Juan no es basquevolista

Todos los hombres les gusta la gira

No todos/ningun los hombres les gusta la gira (aca hay un problemita, No todos no
implica ninguno).

En logica es asi:

Es falso que Juan es basquebolista

Es falso que todos los hombres aman lagira

Aunque la palabra no se usa en 3 y 4 para formar negaciones de 1 y 2, el simple uso

de esta palabra no siempre es suficiente para negar una declaraci�n.

Por ejemplo:
Algunos hombres son calvos
Para negar esto no es suficiete anteponer el "no son"
Algunos hombres no son calvos.

Porque las dos proposiciones no necesita tener valores de verdad opuestos. De

hecho, ambos son ciertos.

Una es E y la otra es I.

La manera de negar es: No hay hombre calvo.

Valores opuestos de verdad.

1 es T la otra es F. En cambio en E e I, ambas son T.

Contradicci�n:

Dos proposiciones son contradictorias si y solo si ellas tienen valores opuestos de

verdad. Oposite truth values.

Resultar� que solo una de las contradicciones de un enunciado ser� su negaci�n.

Si empezamos con
Juan es un hombre
y negarlo para conseguir
Juan no es un hombre
y luego niega esta obtenci�n
No es el caso de que John no sea un hombre

Llegamos a un enunciado que debe tener los mismos valores de verdad que (juan es un
hombre. De ah� su negaci�n

Es falso que no se d� el caso de que Juan no sea un hombre.

debe tener un valor de verdad opuesto al de. As� que 11 y 14 son contradictorias.
No llamaremos al 14 la negaci�n del 11, sino la triple negaci�n del 11.

En logica estos problemas son abordados introduciendo un simbolo especial, la barra

"-" dash para negaci�n.
Esta estipula que escribir - en frente de una propocici�n produce una nueva la cual
es la negaci�n de la primera.

Si S es una proposici�n, -S es la negaci�n de S.

En efecto "-____" es una proposici�n conectiva la cual produce una proposici�n con
truth-value opuesto a la del que llena su espacio en blanco.

Se lee entonces "-____" como "no: ___-"

Una proposici�n dada S tiene 1 de 2 valores de verdad T oF

Si S es T entonces -S es falso, mientras que si S es falso, entonces -S es
verdadero. Esto se resume en la tabla
Tabla de verdad para negaci�n

S -S
T F
F T

La nueva proposici�n conectiva puede ser usada para formar proposiciones negativas.

John cow needs milking

The sun shone brightly
1+1=2

De manera simple
-(John cow need milking)
-(the sun shone brightly
-(1+1=2)

La parentesis es aqui para mas claridad

p26 hasta ahora.

-q -r -p
Conjunci�n.
Alguien que quiera afirmar 2 declaraciones dice

La monta�a dorada no existe.

Los toros son mas peligrosos que los gatos.

Se puede afirmar separadamente o se puede conjurlas y afirmar una sola proposici�n

con el mismo efecto.

La proposici�n conectiva "____ and____" es comunmente usada para formar

conjunciones.

Ejemplo entonces

La monta�a dorada no existe y los toros son mas peligrosos que los gatos.

Desde la afirmaci�n de una conjuncion de 2 proposiciones tiene el mismo efecto que

una afirmaci�n separada.
Una conjuncion es verdadera si y solo s� ambos componentes son verdaderos.

En consecuencia, una conjuncion es falsa si uno o ambos componentes son falsos.

En logica un simbolo especial el punto en el medio, es usado para conjunciones pero

(hoy se usa mucho ? aporte mio)
Se la escribe entre 2 proposiciones

"_____ ? (u el puntito � )_______" es igual a "______ AND _____"

Si S y W son 2 proposiciones, entonces S � W y W� S son tambien conjunciones.

Onda es conmutable.

Mas aun, una conjuncion es verdadera solo en caso que todos sus componentes sean
verdaderos.

Esta ser�a la tabla de verdad PARA CONJUNCION

S W S� W
T T T
T F F
F T F
F F F.

(Acordaos la bivalencia).

Hay aqui 4 posibilidades, cuando en la negaci�n solo 2. Solo en caso que ambas sean
T es T.
W� S = S� W es importante aclararlo. p 27
siempre tendr�n el mismo valor de verdad.

S y W son CONJUNTOS de la conjunci�n.

El orden de los conjuntos es indiferente para los valores de verdad aca

Una manera mas matematica de expresar esto es con lo que se llama conmutaci�n.
Aca un buen ejemplo para pensar conjunci�n y negaci�n.

a) (1+1=2) . (6 + 2=8) == T
b) -(" ")F . (" ")V= F
c) (" ") v. -("")f = F
d) - (1+1=2)F * -(6+2=8)F == F ACA TENGO QUE REVISAR CHE QUE ONDAS. porque en que
caso ambas ser�an F? Bueno ser�a de tal manera porque yo niego que 1+1=2; o que 6+2
= 8 no las estoy igualando, sino juntando, conjuntando. haciendo un conjunto de
ambas cosas.

Para la conjunci�n debo tener el valor previo de verdad AS� NO SE HACE ALGO
ARBITRARIO, porque sino yo puedo decir en donde quiera que es verdad y que es
falso, esto hay que hacerlo antes. Pero tambien los ejemplos normalmente dados son
para mostrar todas las posibilidades que se puedan dar. Pero solo se dar� una sola
posibilidad, una sola proposici�n compuesta.

Es decir yo digo 1 proposici�n compuesta, se la examina y se dice si es verdadera o

falsa la conjunci�n en virtud de la V o F de sus conjuntos.

cADA PROPOSICION TIENE UN VALOR INDEPENDIENTE DE VERDAd al relacionarlas tenemos

diferentes resultados.

Esta lloviendo V. es martes V V

Esta lloviendo V. no es martes F f
No esta lloviendo F. Es martes V f
No esta llovendo F. no es martes F f

En espa�ol hablamos de Conectiva l�gica ok?!

Disyunci�n

A veces somos
reacio a comprometerse con cualquiera de las dos proposiciones, aunque estamos
seguros de que al menos una de ellas es verdadera, no sabemos cual pero 1 es
verdadera.

Despues de examinar un paciente, el fisico concluye que el sintoma indica severo

virus intestinal o una apendicitis, por lotanto no se sabe claramente cual pero hay
que decidir entre una de esas dos.

Podr�a comprometerse ocn una de las 2

1) El paciente tiene una apendicitis
2) el paciente tiene un virus

Entonces, en cambio, podr�a disociar las dos declaraciones y afirmar su disyunci�n

El paciente tiene un virus o una apendicitis.

Esta proposici�n es verdadera si AL MENOS 1 de (1) o (2) es verdadera.

Cuando 2 proposiciones son compuestas por proposiciones conectivas "_____ or _____"

se forma la disyunci�n de las 2 proposiciones
Las proposiciones que la componen se llaman disjunciones de la disjunci�n.

Hay 2 tipos de disyunci�n.

Cuando se afirma una disyunci�n que excluye la posibilidad que ambos disjuntos sean
verdaderos, entopnces se habla de Disjunci�n exclusiva.

Esto puede traducirse en lenguaje vulgar natural como "either___or___but no both"

UNA U OTRA PERO NO AMBAS.
postre o cafe pero no ambsa.

Tambien esta la forma inclusiva. la cual la "o" tambien puede ser tipo "y"

Una___ o____ y posiblemente ambas

Una___o____o ambas.

La exclusiva es verdadera si y solo si exactamente 1 de sus conjunciones es

verdadera.
Mientras que la inclusiva es verdadera si y solo si one o ambas disjunciones son
verdaderas.

Se usa el simbolo "v" para disjunci�n inclusiva

Se usa ? , v con un circulo; ? o una <-/-> para la disjunci�n exclusiva.

____v___ = ___ o ____ (o ambas)

____?___ = ___ o exclusivamente _____

2 TABLAS DE VERDAD PARA CADA TIPO.

TABLA INCLUSIVA

S W S v W
t T T
T F T
F T T
F F F

EXCLUSIVA
S W S v W
T T F (sino no es disyunci�n, es una falsa disyunci�n)
T F T
F T T
F F F (una de 2 debe ser, sino no es una disyunci�n)

Ambas tablas difieren solamente en lo primero en el caso de V y V.

Es comun pensar que cuando 1 de las 2 disyunciones no puede ser verdadera, tipo
"postre o cafe" "ganar o perder" (si gano, no puedo perder; si pierdo no puedo
ganar)
Entonces la conjunci�n debe ser exclusiva.

La unica diferencia esta en que ambas sean V. ahi esta el chirimbole.

La disyunci�n no exclusiva es tambien la primaria disjunci�n de matematicas.

Adicionalmente Exclusivas disjunciones pueden siempre ser RE EXPRESADAS en terminos

de negacion, conjuncion e inclusi�n disjuntiva.

Para S ? W tiene el mismo valor v como (S V W) � - (S�W) que es S or W y no ambas.

Donde, S V W = S o W pero �-(S�W) dice "no ambas) y ah� termina la formula para
expresar una exclusi�n disyuntiva.

De ahora en adelante En este libro la p�labra disjuncion puede significar inclusiva

disjuncion y la palabra "OR" debe ser interpretada de manera inclusiva a no ser que
se explicite que se trata de otra cosa.

ejemplo

(1 +1 = 2 T) V (2 + 3 = 6 F) No obstante es T porque al menos 1 es verdadera.

4 +2 = 1 F V (2 + 3 = 6 F) por tanto es F porque ninguna de las 2 es tru

-(2+3=6) V The sun is a star = T porque ambas son verdaderas, tanto la negaci�n de
2+3=6 y QUE EL SOL ES UNA ESTRELLA
7+2= 10 V -2+3=6 ES TRUE porque al menos 1 es T

The conditional
Condicionales son if-then proposiciones
Proposiciones Si- entonces.

Si john jode mucho, entonces el no la va a poner.

Si hacia calor ayer, entonces los helados se habr�n descongelado.
Si Rosa estuvo con juan, ella puede decirnos algo.

La clausula "si" es llamada antecedente de la condicional, mientras que "entonces"

es consecuente.

La composici�n de 2 clausulas es la condicional entre el antecedente y consecuente.

Podemos usar uno de estos ssimbolos "?", "?", "?" para expresar la truth funtional
conditional "funcion de verdad condicional

Se lee
____?____ = "if____ then____"
Hay otros tipos de condicionales las cuales vermemos luego.

Si una condicional tiene como verdad su antecedente y falso su consecuente entonces

esta es falsa.
Una condicional establece que si una cosa es v�lida, entonces tambi�n lo es otra

Pero en el caso que nos ocupa, lo primero es v�lido mientras que el otro no. M�s
concretamente, si james ama a mary pero mary no ama a james, entonces es
condicional es falso.

Porque no necesariamente Maria tiene que amar a john porque este le ame.

As� la condicional s ? w es falsa si S es verdad y W es falsa.

Cuando s ? w es verdadera?
Si se sabe que el antecedente del condicional es falso, entonces el condicional
completo a menudo pierde su sentido y la cuesti�n de su valor de verdad cae.

En lenguaje natural normalmente se hacen mas apuestas con estas

"Si esta lloviendo, entonces apuesto a que tu hermana esta cogiendo".

Si la condicional de la apuesta no se satisfase, la apuesta cae.

pag 30

A diferencia del Espa�ol coloquial donde expresiones "si...., entonces..." implican

causa y efecto, el condicional material {\displaystyle A\to B}{\displaystyle A\to
B} no establece convencionalmente una relaci�n de causalidad entre sus
proposiciones. Es simplemente una expresi�n que asume un valor-verdad falso cuando,
simult�neamente, {\displaystyle A}A es verdadero y {\displaystyle B}B es falso.

https://es.wikipedia.org/wiki/Condicional_material

El valor de verdad de cualquier compuesto formado llenando sus espacios en blanco

con declaraciones debe ser determinado por el valor de verdad de sus componentes.

Acorde a esto, estipulamos que el valor de verdad de una condicional con

antecedente falso es verdadero. As� S -> W es verdad si S es falsa no importa cual
sea el valor de W. Esto es una salida del lenguaje ordinario pero guia a una logica
teoria mas simple.

El caso en que antecedente y consecuente son verdaderos, la proposici�n es

verdadera.

Tabla
S W S->W
T T T
T F F (no genera una conexi�n)
F T T
F F T