Lógica da Matematica

por **Jaison Werner** » Qua Abr 27, 2011 12:19

Sejam as proposições p: Paulo é ciclista e q: Saulo é corredor. Traduz apara a Linguagem corrente as Proposições:
a) p ^ q =
b) p $\rightarrow$ q =
c) p _^q =
d ) p $\leftrightarrow$ q =
e) ~(p^q)=
g) ~p^q=
h)~(p v q)=
i) ~~p =
j) ~(~pv~q)
L) p v q =

me ajudem a responder por favor!!!!

por **Fabricio dalla** » Qua Abr 27, 2011 19:31

pow,isso ta muito longe para os meus conhecimentos de ensino medio kkkkkk

por **MarceloFantini** » Qua Abr 27, 2011 20:00

Você sabe o que $\vee$ , $\neg$ , $\wedge$ , $\Rightarrow$ e $\iff$ querem dizer?

por **Fabricio dalla** » Qua Abr 27, 2011 20:05

isso se aprende em ensino medio ? se for explica ai num sei n *-)

por **MarceloFantini** » Qua Abr 27, 2011 20:16

A pergunta era direcionada ao Jaison, mas em todo caso:

$\vee$ quer dizer "ou".

$\wedge$ quer dizer "e".

$\Rightarrow$ quer dizer "implica".

$\iff$ quer dizer "se, e somente se".

$\neg$ quer dizer a negação da afirmação.

Sabendo isso, é possível resolver.

por **Fabricio dalla** » Qua Abr 27, 2011 21:05

pow da um exemplo ai usando o sinal de "implica"?!?!
e msm coisa que equivalente?

legal n sabia disso
(vo usar pra responder minhas discursivas pra tirar onda kkkkk, zoera!)

por **MarceloFantini** » Qua Abr 27, 2011 21:31

A implica B significa que quando A ocorre você pode afirmar que B também ocorre, e não é o mesmo que equivalente. Dentre estes símbolos, o que significa equivalente é o de "se, e somente se", que é uma implicação dupla: ele diz que se A ocorre então B ocorre, e mais ainda, se B ocorre, então A ocorre. Essa "volta", digamos (de B ocorrer implicar A ocorrer), NÃO é verdadeira em todos os casos.