Lógica Proposicional - Dúvida sobre o conectivo Condicional.

[Henrique10]

Bom dia!

Eu tenho dois livros que abordam o básico da lógica proposicional, e um deles diz que a frase "p somente se q" pode ser escrito deste modo :\(p\rightarrow q\)

Mas no outro livro, diz que essa frase deve ser escrita \(q \rightarrow p\), pois se trata de uma proposição em que o consequente vem antes do antecedente.

Então, na proposição "entrarás no cinema somente se pagar", para \(p\)= entrarás e \(q\) = pagar, deverá ser escrito \(q\rightarrow p\)

Qual dessas notações é a correta?

Muito obrigado pela ajuda!

[mpereira]

Pensa no se e só se, que como sabes é uma das expressões que os matemáticos usam para referir a equivalência. Se uma equivalência são as duas implicações ao mesmo tempo, p somente se q será como dizer p só se q, e só se será a implicação no sentido contrário do se. Muito confuso?