Элементы математической логики A, B и C Дали показания:

A- Если я не виновен, то и C не виновен
B- A и C либо оба виновны, либо оба невиновны
C - Если я не виновен, то виновен A

Составьте таблицу истинности высказываний и определите по ней (если это возможно по условию варианта)
1) кто виновен, если все говорят правду
2) кто лжет, если все невиновны
3) кто лжет, если все виновны
4) кто виновен, если все лгут
5) кто виновен, если виновные лгут, а невиновные говорят правду

1.Чтобы доказать первое утверждение составим числовое выражение согласно условиям утверждения:

В этом выражении деление на  повторяется, поэтому вынесем это действие за скобку. Получим такое числовое выражение:

И решим его:
 В ответе у нас получилось целое число. Значит можно считать утверждение "если каждое из двух чисел делится на , то и их сумма делится на .

2.Для доказательства второго утверждения составим числовое выражение соответствующее условиям утверждения:

Вынесем общий делитель за скобку:

Решим получившееся выражение:

Так как число в ответе целое можно считать утверждение "если одно из двух чисел делится на ,то их произведение делится на " доказанным.

Уравнение касательной к графику функции y=f(x) в точке с абсциссой x0: y = f'(x0)·(x-x0) + f(x0)

а) f(x) = x²+6·x-7, x0= -2:

f'(x) = (x²+6·x-7)'=2·x + 6,

f'(x0) = f'(-2) = 2·(-2)+6= -4+6= 2

f (x0) = f'(-2) = (-2)²+6·(-2)-7 = 4 - 12 - 7 = - 15.

Тогда

y = 2·(x-(-2)) -15 = 2·x +4 - 15 = 2·x - 11

и уравнение касательной имеет вид:

y = 2·x - 11.

б) f(x)=log₃x, x0=1:

f'(x) = (log₃x)' = 1/(x·ln3),

f'(x0) = f'(1) = 1/(1·ln3) =1/ln3 = log₃e,

f(x0) = f'(1) = log₃1 = 0.

Тогда

y = log₃e·(x-1) + 0 = log₃e·x - log₃e

и уравнение касательной имеет вид:

y = log₃e·x - log₃e.

в) f(x) = еˣ, x0=2:

f'(x) = (еˣ)' = еˣ,

f'(x0) = f'(2) = е²,

f(x0) = f(2) = e².

Тогда

y = e²·(x-2) + e² = e²·x-2·e² + e² = e²·x-e²

и уравнение касательной имеет вид:

y = e²·x-e². Поставь лайк