Które spójniki dwuargumentowe "mocniej wiążą" zdaniowe symbole elementarne? Woj__tek04: Które spójniki "mocniej wiążą"? Jeżeli mam np taki zapis: (p→q)⋀p→q i gdybym chciał sprawdzić czy dana formuła jest tautologią to powinienem rozpatrzyć to jako: [(p→q)⋀p]→q czy to (p→q)⋀(p→q) ? I co w przypadku gdyby zamiast "⋀" byłby symbol "⋁" ? Albo taki przypadek: p⋀q⋁r Czy dobrze rozumiem, że powinienem to rozpatrywać jako (p⋀q)⋁r ?

Saizou : Przyjmuje się, ze alternatywa i koniunkcja wiążą mocniej niż implikaca i rownowaznosc. W związku z tym, zapisz pierwszy jest poprawny. W ostatnim przykładzie brakuje nawiasu, ponieważ nie wiem co wiąże mocniej. Ja bym rozpatrzył to jako spojniki tej samej ważności i interoretowal tak jak w działaniach, czyli od lewej do prawej

Eta2: Spójnik to pojęcie względne. Ω = β + sin(α) c =