Condicionais

Condicional (Se, ento) A condicional Se, ento representada pela setinha onde ns podemos ter duas ou mais proposies, das quais so usualmente representadas por p e q. Quando colocamos a condicional entre p e q, temos a proposio Se p, ento q... Dessa forma p uma condio necessria pra q, porm no suficiente, j q suficiente e necessria. No importando como se chama a proposio ab, rs ou pq a primeira vai ser sempre chamada de antecedente e a segunda chamada de consequente.

Exemplos: p: Nove divisvel por trs (9|3) q: Dezesseis divisvel por trs (16|3) pq: Se nove divisvel por trs, ento dezesseis divisvel por trs. (9|316|3) : (V) : (V) : (V)

p: Um dcimo igual 0.1 (1/10 = 0.1) : (V) q: Mil igual dez vezes dez (1000 = 10x10) : (F) pq: Se um dcimo igual 0.1, ento mil igual dez vezes dez. (1/10 = 0.1 1000 = 10x10) : (F)

p: Um menor que zero (1<0) q: Dois maior que um (2>1) pq: Se um menor que zero, ento dois maior que um (1<02>1)

: (F) : (V) : (V)

p: Um par. q: Dois mpar. pq: Se um par, ento dois mpar.

: (F) : (F) : (V)

Assim podemos formar a tabela verdade, usando os exemplos anteriores p V V F F q V F V F pq V F V V Dessa forma podemos perceber que a condicional pq s falsa, quando p verdadeira e q falsa, caso contrrio pq verdadeira. Assim a negao de pq : (p~q), ou (~q~p)

Condicional (Se, somente se)

A condicional Se, somente se representada pela setinha onde ns podemos ter duas ou mais proposies que so representadas usualmente por p e q. Quando colocamos a condicional entre p e q temos a proposio p se, e somente, q. Assim sendo p uma condio necessria e suficiente para q e vice-versa. Exemplos:
p: Nove divisvel por trs (9|3) q: Dezesseis divisvel por trs (16|3) pq: Nove divisvel por trs se, se somente se dezesseis divisvel por trs. : (V) : (V) : (V) (9|316|3)

p: Um dcimo igual 0.1 (1/10 = 0.1) : (V) q: Mil igual dez vezes dez (1000 = 10x10) : (F) pq: Um dcimo igual 0.1 se, somente se mil igual dez vezes dez. (1/10 = 0.1 1000 = 10x10):(F)

p: Um menor que zero (1<0) q: Dois maior que um (2>1) pq: Um menor que zero se, se somente se dois maior que um (1<02>1)

: (F) : (V) : (F)

p: Um par. q: Dois mpar. pq: Um par se, se somente se dois mpar.

: (F) : (F) : (V)

p V V F F

q V F V F

pq Dessa forma podemos perceber que a condicional pq s falsa, quando as proposies p e q tem valores lgicos diferentes: V ~(pq) = (pq) F F V

Alunos: