Реферат: Логіка як наука і її значення 2

6) логічні зв’язки:

Λ – кон’юнкція (“і”)

v – диз’юнкція (“або”)

→ - імплікація (“якщо... , то... )

≡ - еквіваленція, чи подвійна імплікація (“якщо і тільки якщо... , то...”);

┐ - заперечення (“невірно, що... “).

Технічні знаки (;)

Допустимі вирази в логіці називають правильно побудованими формулами – ППФ. Поняття ППФ вводяться слідуючим визначенням:

1. Всяка пропозиційна змінна – p, q, r … є ППФ.

2. Всяка предикатна змінна, взята з послідовністю констант, число яких відповідає їх місцевості, є ППФ: А¹ (х), А² (х, у), А³ (х, у, z), Aⁿ (x, y, …n), де А¹ , А² , А³ , … Аⁿ знаки метамови для предикаторів.

3. Для будь-якої формули з предметними змінними, в якій люба з змінних зв’язується квантором, вирази хА(х) і хА(х), також будуть ППФ.

4. Якщо А і В формули, то вирази

┐А, ┐В

А Λ В

А v В

А → В

А ≡ В

також є формулами. Всі інші вирази не є ППФ.