[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[obm-l] RES: [obm-l] lógica: condional e bicondicional
O
simbolo -> signfica implicacao. Assim, se A e B sao afirmacoes, A -> B
signfica quem toda vez que A ocorre, B tambem ocorre. Ou seja, A e uma
condicao suficiente para B. O que signfica que B eh necessaria para A (se B nao
ocorrer, A nao pode ocorrer). Mas note que, saber simplesmente que A ->
B, nada informa sobre a validade ou nao da implicacao reciproca B ->
A.
Exemplos:
Se
Pedro nasceu em Santos, entao Pedro nasceu no estado de Sao Paulo ( a reciproca
nao eh verdadeira, pode-se ter nascido no estado de Sao Paulo sem se ter
nascido em Santos). Nascer em Santos eh uma condicao suficiente para se ter
nascido em Sao Paulo. Mas nao eh condicao necessaria.
Se n
eh inteiro e eh divisivel por 4, entao n eh divisivel por 2 (reciproca
falsa)
Simbolicamente, podemos escrever: Pedro nasceu em Santos ->
Pedro nasceu no est. de Sao Paulo. n eh inteiro divisivel pr 4 -> n eh
divisivel por 2.
o
simbolo A < --> B significa que A implica B e B implica A. Uma afirmacao e
sua reciproca sao ambas verdadeiras, uma acarreta a outra. Uma eh
necessaria e suficiente para a outra, ou seja A e B sao logicamente
equivalentes. Eh o famos se, e somente se.
Exemplos:
Pedro
eh paulista da capital se, e somente se, Pedro nasceu na cidade de Sao
Paulo Simbolicamente, Pedro eh paulista da Capital < --> Pedro
nasceu na cidade de Sao Paulo.
Suponhamos x real. Temos x^2 = 0 se, e somente se x = 0.
Simbolicamente, x^2 =0 <--> x=0.
Artur
alguem pode me ajudar a entender
o uso do condicional ( -> ) e do
bicondicional ( <-> ) eu não entendo
como usar eles e a lógica em suas tabelas verdades.